Sünniaeg: |
Sünnikoht: |
Surmaaeg: |
Koht surma: |
1 Nov 1913 |
Lvov, Poland (now Ukraine) |
22 Aug 1975 |
Vancouver, Canada |
TÄHELEPANU - automaatne tõlge inglise versiooni Andrzej Mostowski sisestatud Varssavi ülikool 1931. Ta oli mõjutatud Kuratowski, Lindenbaum ja Tarski. Tema Ph.D. tuli 1939, ametlikult juhib Kuratowski kuid tegelikult juhib Tarski kes oli noor õppejõud sellel ajal. Õpinguid Varssavi oli katkestab õpingud Viini (ta õppis muidugi Gödel) ja Zurich (kursustel Polya, Weyl ja Bernays). Ta sai raamatupidaja pärast natside sissetung Poolasse, kuid jätkas tööd ka "maa-Varssavi ülikool. Pärast ülestõusu 1944 natsid üritasid panna teda koonduslaagri. Abiga mõned Poola õed põgenes ta haiglasse, valides võtta leiva temaga mitte oma märkmik, mis sisaldab tema teadustöö. osa teadusuuringute ta taastatud pärast sõda, kuid palju oli kaotatud. See töö oli suuresti recursion teooria ja lahendamatus. Alates 1946 kuni surmani töötas ta Varssavi Ülikooli. Palju tööd selle aja jooksul oli esimest järku loogika ja mudelite teooria.
Source:School of Mathematics and Statistics University of St Andrews, Scotland
|