Back George Kreisel Catalan Georg Kreisel German Γκιόργκ Κράισελ Greek گئورگ کرایزل Persian Georg Kreisel French Georg Kreisel HT ゲオルク・クライゼル Japanese Georg Kreisel Portuguese
Georg Kreisel | |
|---|---|
| Born | September 15, 1923 |
| Died | March 1, 2015 (aged 91) |
| Nationality | Austrian, British |
| Alma mater | Trinity College, Cambridge |
| Known for | Unwinding Program Kreisel–Putnam logic |
| Scientific career | |
| Fields | Computer Science Mathematics Philosophy |
| Institutions | University of Reading Institute for Advanced Study Stanford University |
| Doctoral students | Henk Barendregt Richard Statman |
Georg Kreisel FRS (September 15, 1923 – March 1, 2015)[1] was an Austrian-born mathematical logician who studied and worked in the United Kingdom and America.
- ^ Notices 2015, Royal Society, retrieved 2015-06-09.