Születés |
1923. szeptember 15 Graz ( Ausztria ) |
---|---|
Halál |
1 st March 2015-ös Salzburg ( Ausztria ) |
Állampolgárság | angol |
Területek | Logika |
Intézmények |
A párizsi Stanford Egyetem Egyeteme |
Oklevél | Cambridge-i Egyetem |
Híres | Munka a bizonyítási elméleten |
Georg Kreisel (született: 1923. szeptember 15A Graz és meghalt1 st March 2015-ösA Salzburg ) volt, egy osztrák születésű matematikai logikus , aki tanult és dolgozott az Egyesült Királyságban és az Egyesült Államokban .
Kreisel egy zsidó családból származott ; családja az Anschluss előtt az Egyesült Királyságba küldte ; a Cambridge-i Egyetemen tanult . 1943 és 1946 között mérnöki problémákkal vonult be a hadseregbe. A háború után doktorált a Cambridge-i Egyetemen. 1954-ig tanított a Reading Egyetemen, majd 1955 és 1957 között az Advanced Study Institute-ban dolgozott . Ezt követően a Stanford Egyetemen és a Párizsi Egyetemen tanított . Ő lett a professzor a Stanford Egyetem a 1962 , és ott is maradt nyugdíjba vonulásáig 1985 .
Kreisel a logika több területén dolgozott, különösen a bizonyításelméletben, ahol köztudottan megpróbálta kivitelezni a konstruktivista tartalmat látszólag nem konstruktív bizonyítékokból.
Kreisel beválasztották a Royal Society 1966-ban barátja François Le Lionnais volt díszvendége Oulipo 1984.