Georg Kreisel
Austrian logician (1923–2015) / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Georg Kreisel?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
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.
Quick Facts Born, Died ...
Georg Kreisel | |
---|---|
Born | (1923-09-15)September 15, 1923 |
Died | March 1, 2015(2015-03-01) (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 |
Close