Lindenbaum, Adolf

Logico e matematico polacco (n. Varsavia 1904 - m. in un campo di concentramento nazista dopo il 1941). Si è occupato soprattutto, in collaborazione con A. Tarski, della struttura algebrica dei sistemi formali (algebre di L.). Il suo nome è legato anche a un teorema relativo al completamento di sistemi formali incompleti. Un altro suo notevole risultato, ottenuto nel 1938 in collaborazione con A. Mostowski, è la dimostrazione, sotto certe determinate condizioni, dell'indipendenza dell'assioma della scelta. Tra i suoi lavori: Über die Beschränktheit des Ausdrucksmittel deduktiver Theorien (1935, in collab. con Tarski), Über die Unabhängigkeit des Auswahlaxioms und einiger seiner Folgerungen (1938, con Mostowski).