Adolf lindenbaum

Adolf lindenbaum Kuva Infoboxissa. Elämäkerta
Syntymä 12. kesäkuuta 1904
Varsova
Kuolema Syyskuu 1941 tai 1942
Paneriai
Kansalaisuus Puolan toinen tasavalta
Koulutus Varsovan yliopisto
Toiminta Matemaatikko , filosofi
Muita tietoja
Työskenteli Varsovan yliopisto
Ala Joukko-teoria
Valvoja Wacław Sierpiński

Adolf Lindenbaum , syntynyt12. kesäkuuta 1904in Varsova ja murhasivat saksalaiset vuonna 1941 Paneriain , on puolalainen logician ja matemaatikko liittyvät Lvov-Varsovan School .

Wacław Sierpińskin oppilas , missä hän oli Varsovan yliopiston assistentti , Adolf Lidenbaum omistautui matematiikan perusteisiin ja erityisesti matemaattisen logiikan kunnostamiseen johtuen (Aristotelian filosofiasta johtuvan) logiikan logiikan puutteista. syntymän ja käyttö sekä Georg Cantor n joukko-oppi .

Hänet tunnetaan lauseestaan, jonka mukaan Lindenbaum, jota kutsutaan enimmäkseen lemma Lindenbaum  (in) tai lemma-jatke Lindenbaum. Klassisessa logiikassa Lindenbaumin lause on esitetty: kaikilla johdonmukaisilla teoreilla on maksimaalinen johdonmukainen laajennus.

Lidenbaum on myös kirjoittanut Lindenbaum - Tarski -algebran rakentamisen . Vuonna 1935 nämä kaksi matemaatikkoa olivat käynnistäneet ajatuksen tyyppiteoriasta vetämällä siitä määritettävyyskriteerin. He toteavat, että voidaan muodollisesti osoittaa, että mikä tahansa suhde erityyppisten esineiden välillä ja joka ilmaistaan ​​puhtaasti loogisesti klassisessa mielessä , on muuttumaton kaikilla yksilöiden verkkotunnuksen permutaatioilla. He päättelevät, että kaksi osiota kahdessa luokassa, joiden elementtien lukumäärä muodostaa määrätyn parin, eivät ole erotettavissa näillä puhtaasti loogisilla keinoilla.

Juutalaisen uskon mukaan Lindenbaum ei voinut paeta natsien väärinkäytöksiä Puolan hyökkäyksen aikana . Pidätystä pelätessään hän lähti Varsovasta vaimonsa Janina Hosiassonin kanssa6. syyskuuta 1939ja meni Vilnaan . Sitten hän lähti Białystokiin , kaupunkiin, joka oli venäläisten valloittama ja jo miehittämä. Siellä hän sai apulaisprofessorin ja lehtorin viran vasta perustetussa Neuvostoliiton pedagogisessa instituutissa. Gestapo pidätti hänet syyskuussa 1941 ja vei hänet Vilnaan . Hän menehtyi vaimonsa kanssa Poneriai-verilöylynä tunnetuissa joukkotapahtumissa .

Katso myös

Huomautuksia ja viitteitä

  1. Jean-Yves Béziau, "  Lidenbaum-Asser-lauseen todellinen laajuus  ", Logiikka ja analyysi ,1999, s.  341–359
  2. Marcel Guillaume, "  Matemaattinen logiikka Ranskassa kahden maailmansodan välillä: Jotkut vertailuarvot  ", Revue d'histoire des sciences , voi.  62,tammikuu 2009, s.  177 - 219

Ulkoiset linkit