Nascita |
15 settembre 1923 Graz ( Austria ) |
---|---|
Morte |
1 ° marzo il 2015 Salisburgo ( Austria ) |
Nazionalità | Britannico |
le zone | Logica |
Istituzioni |
Stanford University University of Paris |
Diploma | università di Cambridge |
Rinomato per la | Lavora sulla teoria della dimostrazione |
Georg Kreisel (nato il15 settembre 1923a Graz e morì1 ° marzo il 2015a Salisburgo ) era un logico matematico di origine austriaca che studiò e lavorò nel Regno Unito e negli Stati Uniti .
Kreisel proveniva da una famiglia ebrea ; la sua famiglia lo aveva mandato nel Regno Unito prima dell'Anschluss ; ha studiato all'Università di Cambridge . Dal 1943 al 1946 si arruola nell'esercito per problemi di ingegneria. Dopo la guerra ha conseguito il dottorato presso l'Università di Cambridge. Ha insegnato all'Università di Reading fino al 1954 e poi ha lavorato presso l' Institute for Advanced Study dal 1955 al 1957. Successivamente ha insegnato alla Stanford University e all'Università di Parigi . Divenne professore alla Stanford University nel 1962 e vi rimase fino al suo pensionamento nel 1985 .
Kreisel ha lavorato in diverse aree della logica e in particolare nella teoria della dimostrazione, dove è noto per aver tentato di estrarre contenuti costruttivisti da prove apparentemente non costruttive.
Kreisel è stato eletto alla Royal Society nel 1966. Amico di François Le Lionnais , è stato ospite d'onore a Oulipo nel 1984.