Adolf Lindenbaum

Adolf Lindenbaum Obraz w Infoboksie. Biografia
Narodziny 12 czerwca 1904
Warszawa
Śmierć wrzesień 1941 lub 1942
Paneriai
Narodowość II RP
Trening Uniwersytet Warszawski
Zajęcia Matematyk , filozofphil
Inne informacje
Pracował dla Uniwersytet Warszawski
Pole Teoria mnogości
Kierownik Wacław Sierpiński

Adolf Lindenbaum , ur.12 czerwca 1904w Warszawie i zamordowany przez Niemców w 1941 r. w Paneriach , polski logik i matematyk związany ze Szkołą Lwowsko-Warszawską .

Uczeń Wacława Sierpińskiego, gdzie był asystentem na Uniwersytecie Warszawskim , Adolf Lidenbaum poświęcił się podstawom matematyki, a w szczególności renowacji logiki matematycznej w ślad za niedoskonałościami logiki zdań (wynikającymi z filozofii Arystotelesa) napotkanymi narodziny i korzystanie z Georga Cantora teorii mnogości .

Znany jest ze swojego twierdzenia Lindenbaum, najczęściej nazywanego lematem Lindenbaum  (w) lub rozszerzeniem lematu Lindenbaum. W logice klasycznej stwierdza się twierdzenie Lindenbauma: każda niesprzeczna teoria ma maksymalne spójne rozszerzenie.

Lidenbaum jest także autorem konstrukcji algebry Lindenbauma - Tarskiego . W 1935 r. obaj matematycy przedstawili ideę teorii typów , czerpiąc z niej kryterium definiowalności. Ustalili, że można formalnie wykazać, iż każdy związek między obiektami różnych typów, który wyraża się przez czysto logiczny w klasycznym sensie , jest niezmienna przez każdą permutację domeny jednostek. Wywnioskują, że dwa podziały na dwie klasy, których liczba elementów tworzy określoną parę, są nie do odróżnienia za pomocą tych czysto logicznych środków.

Lindenbaum, wyznania mojżeszowego, nie mógł uniknąć nazistowskich nadużyć podczas inwazji na Polskę . W obawie przed aresztowaniem, wyjechał do Warszawy z żoną Janina Hosiasson na6 września 1939i pojechał do Wilna . Następnie wyjechał do Białegostoku , miasta zajętego i już zajętego przez Rosjan. Tam objął stanowisko profesora nadzwyczajnego i wykładowcy w nowo utworzonym Sowieckim Instytucie Pedagogicznym. We wrześniu 1941 został aresztowany przez gestapo i wywieziony do Wilna . Zginął wraz z żoną w masowych egzekucjach znanych jako masakra w Poneriai .

Zobacz również

Uwagi i referencje

  1. Jean-Yves Béziau, „  Prawdziwy zakres twierdzenia Lidenbauma-Assera  ”, Logika i analiza ,1999, s.  341–359
  2. Marcel Guillaume, „  Logika matematyczna we Francji między dwiema wojnami światowymi: kilka punktów odniesienia  ”, Revue d'histoire des sciences , tom.  62,styczeń 2009, s.  177 do 219

Linki zewnętrzne