| Geburt |
15. September 1923 Graz ( Österreich ) |
|---|---|
| Tod |
1 st März zum Jahr 2015 Salzburg ( Österreich ) |
| Staatsangehörigkeit | britisch |
| Bereiche | Logik |
| Institutionen |
Stanford University Universität Paris |
| Diplom | Universität von Cambridge |
| Bekannt für | Arbeit an der Beweistheorie |
Georg Kreisel (geb. am15. September 1923in Graz und starb am1 st März zum Jahr 2015in Salzburg ) war ein in Österreich geborener mathematischer Logiker, der in Großbritannien und den USA studierte und arbeitete .
Kreisel stammte aus einer jüdischen Familie ; seine Familie hatte ihn vor dem Anschluss nach Großbritannien geschickt ; Er studierte an der Cambridge University . Von 1943 bis 1946 trat er bei technischen Problemen in die Armee ein. Nach dem Krieg promovierte er an der Universität Cambridge. Er lehrte bis 1954 an der University of Reading und arbeitete dann von 1955 bis 1957 am Institute for Advanced Study . Anschließend unterrichtete er an der Stanford University und der University of Paris . Er wurde Professor an der Stanford University in 1962 und blieb dort in bis zu seiner Pensionierung 1985 .
Kreisel hat in verschiedenen Bereichen der Logik und insbesondere in der Beweistheorie gearbeitet, wo er bekanntermaßen versucht hat, konstruktivistische Inhalte aus scheinbar unkonstruktiven Beweisen zu extrahieren .
Kreisel wurde 1966 in die Royal Society gewählt. Als Freund von François Le Lionnais war er 1984 Ehrengast bei Oulipo .