| Property |
Value |
| 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. (fr)
- 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. (fr)
|
| dbo:almaMater
| |
| dbo:birthPlace
| |
| dbo:citizenship
| |
| dbo:deathPlace
| |
| dbo:discipline
| |
| dbo:doctoralAdvisor
| |
| dbo:employer
| |
| dbo:ethnicity
| |
| dbo:occupation
| |
| dbo:party
| |
| dbo:spouse
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 3507 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:fr
|
- lemme de Lindenbaum (fr)
- lemme de Lindenbaum (fr)
|
| prop-fr:langue
| |
| prop-fr:trad
|
- Lindenbaum's lemma (fr)
- Lindenbaum's lemma (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdf:type
| |
| 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. (fr)
- 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. (fr)
|
| rdfs:label
|
- Adolf Lindenbaum (ca)
- Adolf Lindenbaum (de)
- Adolf Lindenbaum (fr)
- Линденбаум, Адольф (ru)
- Adolf Lindenbaum (ca)
- Adolf Lindenbaum (de)
- Adolf Lindenbaum (fr)
- Линденбаум, Адольф (ru)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:doctoralStudent
of | |
| is dbo:spouse
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
