Adolf lindenbaum

Adolf lindenbaum Obrázek v Infoboxu. Životopis
Narození 12. června 1904
Varšava
Smrt Září 1941 nebo 1942
Paneriai
Státní příslušnost Druhá polská republika
Výcvik Varšavská univerzita
Činnosti Matematik , filozof
Jiná informace
Pracoval pro Varšavská univerzita
Pole Teorie množin
Dozorce Wacław Sierpiński

Adolf Lindenbaum , narozen dne12. června 1904ve Varšavě a zavražděný Němci v roce 1941 v Paneriai , je polský logik a matematik napojený na lvovsko-varšavskou školu .

Adolf Lidenbaum, žák Wacława Sierpińského, kde působil jako asistent na varšavské univerzitě , se věnoval základům matematiky a zejména renovaci matematické logiky v návaznosti na nedostatečnost výrokové logiky (vyplývající z aristotelovské filozofie), se kterou se setkal v porod a využití z Georga Cantorově teorie množin .

On je známý pro jeho teorém říká Lindenbaum, většinou volal lemma Lindenbaum  (in) nebo lemma rozšíření Lindenbaum. V klasické logice se uvádí Lindenbaumova věta: jakákoli konzistentní teorie má maximální konzistentní rozšíření.

Lidenbaum je také autorem konstrukce algebry Lindenbaum - Tarski . V roce 1935 zahájili oba matematici myšlenku teorie typů tím, že z ní vytáhli kritérium definovatelnosti. Stanovili, že lze formálně prokázat, že jakýkoli vztah mezi objekty různých typů, který je vyjádřen čistě logickým v klasickém smyslu , je neměnná jakoukoli permutací domény jednotlivců. Dedukují, že dva oddíly ve dvou třídách, jejichž počet prvků tvoří předepsaný pár, jsou těmito čistě logickými prostředky nerozeznatelné.

Lindenbaum židovské víry nemohl uniknout zneužívání nacistů během invaze do Polska . V obavě ze zatčení opustil Varšavu se svou ženou Janinou Hosiassonovou dál6. září 1939a šel do Vilniusu . Poté odešel do Białystoku , města napadeného a již obsazeného Rusy. Tam získal místo docenta a lektora na nově založeném Sovětském pedagogickém institutu. V září 1941 byl zatčen gestapem a převezen do Vilniusu . Zahynul se svou ženou při masových popravách známých jako Poneriai Massacre .

Podívejte se také

Poznámky a odkazy

  1. Jean-Yves Béziau, „  Skutečný rozsah věty Lidenbaum-Asser  “, Logic & Analysis ,1999, str.  341–359
  2. Marcel Guillaume, „  Matematická logika ve Francii mezi dvěma světovými válkami: Některá měřítka  “, Revue d'histoire des sciences , sv.  62,ledna 2009, str.  177 až 219

externí odkazy