This HTML5 document contains 106 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
dbpedia-pmshttp://pms.dbpedia.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-cahttp://ca.dbpedia.org/resource/
n5http://commons.dbpedia.org/resource/Category:
n26http://g.co/kg/m/
schemahttp://schema.org/
dbpedia-ruhttp://ru.dbpedia.org/resource/
n17http://arz.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n22http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
n16http://isni.org/isni/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-plhttp://pl.dbpedia.org/resource/
n19https://zbmath.org/authors/?q=ai:
n30http://genealogy.math.ndsu.nodak.edu/
n8http://fr.dbpedia.org/resource/Modèle:
dbpedia-fihttp://fi.dbpedia.org/resource/
n15http://viaf.org/viaf/
wikipedia-frhttp://fr.wikipedia.org/wiki/
n18http://fr.dbpedia.org/resource/Modèle:Traduction/
n23http://www-gap.dcs.st-and.ac.uk/~history/Biographies/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n32https://www.sejm-wielki.pl/b/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/

Statements

Subject Item
dbpedia-fr:Adolf_Lindenbaum
rdf:type
wikidata:Q19088 wikidata:Q215627 wikidata:Q729 owl:Thing wikidata:Q5 n22:NaturalPerson dbo:Animal schema:Person dbo:Eukaryote dbo:Species foaf:Person dbo:Person
rdfs:label
Adolf Lindenbaum Линденбаум, Адольф Adolf Lindenbaum Adolf Lindenbaum
rdfs:comment
Adolf Lindenbaum, né le 12 juin 1904 à Varsovie et mort assassiné par les Allemands en 1941 à Paneriai, est un logicien et mathématicien polonais lié à l'École de Lvov-Varsovie. Elève de Wacław Sierpiński dont il fut assistant à l'université de Varsovie, Adolf Lidenbaum se consacra aux fondements des mathématiques et tout particulièrement à la rénovation de la logique mathématique à la suite des insuffisances de la logique propositionnelle (issue de la philosophie aristotélicienne) rencontrées avec la naissance et l'usage de la théorie des ensembles de Georg Cantor.
rdfs:seeAlso
n16:0000_0004_2765_256X n19:lindenbaum.adolf n23:Lindenbaum.html n30:id.php?id=208387
owl:sameAs
n5:Adolf_Lindenbaum dbpedia-pms:Adolf_Lindenbaum wikidata:Q363167 n15:216871252 n17:ادولف_ليندنباوم dbpedia-ru:Линденбаум,_Адольф dbpedia-de:Adolf_Lindenbaum dbpedia-pl:Adolf_Lindenbaum dbpedia-ca:Adolf_Lindenbaum n26:03_pz6 dbpedia-fi:Adolf_Lindenbaum dbr:Adolf_Lindenbaum n32:psb.15346.1
dbo:deathPlace
dbpedia-fr:Białystok
dbo:birthPlace
dbpedia-fr:Varsovie
dbo:wikiPageID
5483784
dbo:wikiPageRevisionID
187232137
dbo:wikiPageWikiLink
dbpedia-fr:Campagne_de_Pologne_(1939) dbpedia-fr:Vilnius category-fr:Mathématicien_polonais dbpedia-fr:Varsovie category-fr:Décès_en_septembre_1941 dbpedia-fr:Georg_Cantor dbpedia-fr:Poneriai dbpedia-fr:École_mathématique_de_Varsovie dbpedia-fr:Théorie_des_ensembles dbpedia-fr:École_mathématique_de_Cracovie dbpedia-fr:École_mathématique_de_Lwów category-fr:Personnalité_exécutée_par_le_Troisième_Reich dbpedia-fr:Théorie_des_types category-fr:Victime_de_la_Shoah dbpedia-fr:Wacław_Sierpiński category-fr:Naissance_en_juin_1904 dbpedia-fr:Mathématicien dbpedia-fr:Logique_mathématique dbpedia-fr:École_polonaise_de_mathématiques category-fr:Décès_à_37_ans dbpedia-fr:Université_de_Varsovie dbpedia-fr:Białystok dbpedia-fr:Massacre_de_Poneriai category-fr:Mathématicien_du_XXe_siècle category-fr:Logicien_polonais dbpedia-fr:École_de_Lvov-Varsovie dbpedia-fr:Janina_Hosiasson-Lindenbaum category-fr:Personnalité_en_théorie_des_ensembles dbpedia-fr:Alfred_Tarski dbpedia-fr:Algèbre_de_Lindenbaum dbpedia-fr:Gestapo
dbo:wikiPageLength
3507
dct:subject
category-fr:Victime_de_la_Shoah category-fr:Décès_en_septembre_1941 category-fr:Mathématicien_du_XXe_siècle category-fr:Décès_à_37_ans category-fr:Personnalité_en_théorie_des_ensembles category-fr:Naissance_en_juin_1904 category-fr:Logicien_polonais category-fr:Personnalité_exécutée_par_le_Troisième_Reich category-fr:Mathématicien_polonais
prop-fr:wikiPageUsesTemplate
n8:Ébauche n8:Lien n8:Voir_homonymes n8:Autorité n18:Référence n8:Infobox_Biographie2 n8:Portail n8:Date n8:Date-
prov:wasDerivedFrom
wikipedia-fr:Adolf_Lindenbaum?oldid=187232137&ns=0
prop-fr:fr
lemme de Lindenbaum
prop-fr:langue
en
prop-fr:trad
Lindenbaum's lemma
foaf:isPrimaryTopicOf
wikipedia-fr:Adolf_Lindenbaum
dbo:employer
dbpedia-fr:Université_de_Varsovie
dbo:abstract
Adolf Lindenbaum, né le 12 juin 1904 à Varsovie et mort assassiné par les Allemands en 1941 à Paneriai, est un logicien et mathématicien polonais lié à l'École de Lvov-Varsovie. Elève de Wacław Sierpiński dont il fut assistant à l'université de Varsovie, Adolf Lidenbaum se consacra aux fondements des mathématiques et tout particulièrement à la rénovation de la logique mathématique à la suite des insuffisances de la logique propositionnelle (issue de la philosophie aristotélicienne) rencontrées avec la naissance et l'usage de la théorie des ensembles de Georg Cantor. Il est connu pour son théorème dit de Lindenbaum, plus souvent appelé (en) ou encore lemme d’extension de Lindenbaum. En logique classique, le théorème de Lindenbaum s’énonce: toute théorie consistante a une extension maximale consistante. Lidenbaum est également l'auteur de la construction de l'algèbre de Lindenbaum-Tarski. En 1935, les deux mathématiciens avaient lancé l’idée pour la théorie des types en en tirant un critère de définissabilité ils établissent que l’on peut démontrer formellement que toute relation entre des objets de types divers et qui s’exprime par des moyens purement logiques au sens classique, est invariante par toute permutation du domaine des individus. Ils en déduisent que deux partitions en deux classes dont les nombres d’éléments forment un couple prescrit sont indiscernables par ces moyens purement logiques. De confession juive, Lindenbaum ne put échapper aux exactions nazies lors de l'invasion de la Pologne. Craignant d'être arrêté, il quitta Varsovie avec sa femme Janina Hosiasson le 6 septembre 1939 et se rendit à Vilnius. Il partit ensuite pour Białystok, la vile envahie et occupée déjà par les Russes. Il y obtint le poste de professeur associé et conférencier à l'Institut pédagogique nouvellement établi par les soviétiques. En septembre 1941, il fut arrêté par la Gestapo et emmené à Vilnius. Il périt avec son épouse dans les exécutions de masse connues sous le nom de massacre de Poneriai.
dbo:citizenship
dbpedia-fr:Deuxième_République_(Pologne)
dbo:occupation
dbpedia-fr:Mathématicien dbpedia-fr:Philosophe
dbo:party
dbpedia-fr:Parti_communiste_de_Pologne_(1918-1938)
dbo:spouse
dbpedia-fr:Janina_Hosiasson-Lindenbaum
dbo:discipline
dbpedia-fr:Théorie_des_ensembles dbpedia-fr:Logique
dbo:almaMater
dbpedia-fr:Université_de_Varsovie wikidata:Q16549474
dbo:doctoralAdvisor
dbpedia-fr:Wacław_Sierpiński
dbo:ethnicity
dbpedia-fr:Juifs