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.