. . . . "Adolf Lindenbaum"@ca . . . . . . . "Lindenbaum's lemma"@fr . "3507"^^ . . . . "Adolf Lindenbaum, n\u00E9 le 12 juin 1904 \u00E0 Varsovie et mort assassin\u00E9 par les Allemands en 1941 \u00E0 Paneriai, est un logicien et math\u00E9maticien polonais li\u00E9 \u00E0 l'\u00C9cole de Lvov-Varsovie. El\u00E8ve de Wac\u0142aw Sierpi\u0144ski dont il fut assistant \u00E0 l'universit\u00E9 de Varsovie, Adolf Lidenbaum se consacra aux fondements des math\u00E9matiques et tout particuli\u00E8rement \u00E0 la r\u00E9novation de la logique math\u00E9matique \u00E0 la suite des insuffisances de la logique propositionnelle (issue de la philosophie aristot\u00E9licienne) rencontr\u00E9es avec la naissance et l'usage de la th\u00E9orie des ensembles de Georg Cantor."@fr . . . . . . . . . . . . . . "\u041B\u0438\u043D\u0434\u0435\u043D\u0431\u0430\u0443\u043C, \u0410\u0434\u043E\u043B\u044C\u0444"@ru . . . . . . . . . . . . . . "Adolf Lindenbaum"@de . "lemme de Lindenbaum"@fr . . . . . . "en"@fr . . . . "187232137"^^ . . . . . . . . . . . . . . . . . . . "5483784"^^ . . . . . . . "Adolf Lindenbaum"@fr . . . . . . . . . . . . . . . . . . . . . . . "Adolf Lindenbaum, n\u00E9 le 12 juin 1904 \u00E0 Varsovie et mort assassin\u00E9 par les Allemands en 1941 \u00E0 Paneriai, est un logicien et math\u00E9maticien polonais li\u00E9 \u00E0 l'\u00C9cole de Lvov-Varsovie. El\u00E8ve de Wac\u0142aw Sierpi\u0144ski dont il fut assistant \u00E0 l'universit\u00E9 de Varsovie, Adolf Lidenbaum se consacra aux fondements des math\u00E9matiques et tout particuli\u00E8rement \u00E0 la r\u00E9novation de la logique math\u00E9matique \u00E0 la suite des insuffisances de la logique propositionnelle (issue de la philosophie aristot\u00E9licienne) rencontr\u00E9es avec la naissance et l'usage de la th\u00E9orie des ensembles de Georg Cantor. Il est connu pour son th\u00E9or\u00E8me dit de Lindenbaum, plus souvent appel\u00E9 (en) ou encore lemme d\u2019extension de Lindenbaum. En logique classique, le th\u00E9or\u00E8me de Lindenbaum s\u2019\u00E9nonce: toute th\u00E9orie consistante a une extension maximale consistante. Lidenbaum est \u00E9galement l'auteur de la construction de l'alg\u00E8bre de Lindenbaum-Tarski. En 1935, les deux math\u00E9maticiens avaient lanc\u00E9 l\u2019id\u00E9e pour la th\u00E9orie des types en en tirant un crit\u00E8re de d\u00E9finissabilit\u00E9 ils \u00E9tablissent que l\u2019on peut d\u00E9montrer formellement que toute relation entre des objets de types divers et qui s\u2019exprime par des moyens purement logiques au sens classique, est invariante par toute permutation du domaine des individus. Ils en d\u00E9duisent que deux partitions en deux classes dont les nombres d\u2019\u00E9l\u00E9ments forment un couple prescrit sont indiscernables par ces moyens purement logiques. De confession juive, Lindenbaum ne put \u00E9chapper aux exactions nazies lors de l'invasion de la Pologne. Craignant d'\u00EAtre arr\u00EAt\u00E9, il quitta Varsovie avec sa femme Janina Hosiasson le 6 septembre 1939 et se rendit \u00E0 Vilnius. Il partit ensuite pour Bia\u0142ystok, la vile envahie et occup\u00E9e d\u00E9j\u00E0 par les Russes. Il y obtint le poste de professeur associ\u00E9 et conf\u00E9rencier \u00E0 l'Institut p\u00E9dagogique nouvellement \u00E9tabli par les sovi\u00E9tiques. En septembre 1941, il fut arr\u00EAt\u00E9 par la Gestapo et emmen\u00E9 \u00E0 Vilnius. Il p\u00E9rit avec son \u00E9pouse dans les ex\u00E9cutions de masse connues sous le nom de massacre de Poneriai."@fr . .