Georg Kreisel
Georg Kreisel FRS (September 15, 1923 – March 1, 2015) was an Austrian-born mathematical logician who studied and worked in the United Kingdom and America.
Georg Kreisel | |
|---|---|
| Born | September 15, 1923 |
| Died | March 1, 2015 (aged 91) Salzburg, Austria |
| 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 |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.