Doğum |
15 Eylül 1923 Graz ( Avusturya ) |
---|---|
Ölüm |
1 st Mart 2015 Salzburg ( Avusturya ) |
Milliyet | ingiliz |
Alanlar | Mantık |
Kurumlar |
Paris Stanford Üniversitesi Üniversitesi |
Diploma | Cambridge Üniversitesi |
Ünlü | İspat teorisi üzerinde çalışın |
Georg Kreisel (doğdu15 Eylül 1923içinde Graz ve öldü1 st Mart 2015içinde Salzburg ) bir oldu Avusturya- doğan matematiksel mantıkçı okudu ve çalıştı Birleşik Krallık ve Birleşik Devletler .
Kreisel Yahudi bir aileden geliyordu ; ailesi onu Anschluss'tan önce Birleşik Krallık'a göndermişti ; Cambridge Üniversitesi'nde okudu . 1943'ten 1946'ya kadar orduya mühendislik problemlerinde katıldı. Savaştan sonra doktorasını Cambridge Üniversitesi'nden aldı. 1954'e kadar Reading Üniversitesi'nde öğretmenlik yaptı ve ardından 1955'ten 1957'ye kadar Institute for Advanced Study'de çalıştı . Daha sonra Stanford Üniversitesi ve Paris Üniversitesi'nde ders verdi . O profesör oldu Stanford Üniversitesi de 1962 ve yılında emekli oluncaya kadar orada kalmıştır 1985 .
Kreisel, mantığın çeşitli alanlarında ve özellikle görünüşte yapıcı olmayan kanıtlardan yapılandırmacı içeriği çıkarmaya çalıştığı bilinen kanıt teorisinde çalıştı .
Kreisel seçildi Royal Society 1966 Friend François Le Lionnais , o onur konuğu oldu Oulipo 1984 yılında.