| Syntymä |
15. syyskuuta 1923 Graz ( Itävalta ) |
|---|---|
| Kuolema |
1. st Maaliskuu 2015 mennessä Salzburg ( Itävalta ) |
| Kansalaisuus | brittiläinen |
| Alueet | Logiikka |
| Laitokset |
Pariisin Stanfordin yliopiston yliopisto |
| Tutkintotodistus | Cambridgen yliopisto |
| Tunnettu | Työskentele todistusteorian parissa |
Georg Kreisel (syntynyt15. syyskuuta 1923in Graz ja kuoli1. st Maaliskuu 2015 mennessävuonna Salzburg ) oli itävaltalaisen syntynyt matemaattinen logician joka opiskeli ja työskenteli Yhdistyneessä kuningaskunnassa ja Yhdysvalloissa .
Kreisel tuli juutalaisesta perheestä ; hänen perheensä oli lähettänyt hänet Yhdistyneeseen kuningaskuntaan ennen Anschlussia ; hän opiskeli Cambridgen yliopistossa . Vuodesta 1943 vuoteen 1946 hän värväytyi armeijaan teknisten ongelmien parissa. Sodan jälkeen hän sai tohtorin tutkinnon Cambridgen yliopistosta. Hän opetti Readingin yliopistossa vuoteen 1954 asti ja työskenteli sen jälkeen Institute for Advanced Study -opistossa vuosina 1955–1957. Hän opetti myöhemmin Stanfordin yliopistossa ja Pariisin yliopistossa . Hänestä tuli professori Stanfordin yliopistossa vuonna 1962 , ja hän pysyi siellä eläkkeelle siirtymiseen vuonna 1985 .
Kreisel on työskennellyt useilla logiikan alueilla ja erityisesti todistusteoriassa, jossa hänen tiedetään yrittäneen poimia konstruktivistista sisältöä näennäisesti rakentamattomasta todisteesta.
Kreisel valittiin kuninkaalliseen seuraan vuonna 1966. François Le Lionnais'n ystävä , hän oli kunniavieras Oulipossa vuonna 1984.