Lindenbaum

Lindenbaum

Lindenbaum Adolf (Varsavia 1904 - Ponary, Lituania, 1941) logico e matematico polacco. Allievo di W. Sierpiński, si occupò della teoria degli insiemi e della sua sistemazione logica. Professore all’università di Varsavia, fu ucciso dai nazisti nella strage di Ponary, vicino Vilnius, in cui furono trucidate circa 100.000 persone, la maggior parte di origine ebraica. Collaborò con il connazionale A. Tarski, con cui pubblicò, nel 1935, Über die Beschränktheit des Ausdrucksmittel deduktiver Theorien (Sui limiti dei procedimenti delle teorie deduttive). Con Tarski si è occupato della struttura algebrica dei sistemi formali (algebra di Lindenbaum). Il suo nome è legato anche a un teorema relativo al completamento di sistemi formali incompleti, e alla dimostrazione (1938, in collaborazione con A. Mostowski), sotto determinate condizioni, dell’indipendenza dell’assioma della scelta.