Georg Kreisel

Georg Kreisel
Born(1923-09-15)September 15, 1923
Graz, Austria
DiedMarch 1, 2015(2015-03-01) (aged 91)
Salzburg, Austria
Alma materTrinity College, Cambridge
Known forUnwinding Program
Kreisel–Putnam logic
Scientific career
FieldsComputer Science
Mathematics
Philosophy
InstitutionsUniversity of Reading
Institute for Advanced Study
Stanford University
Doctoral studentsHenk Barendregt
Richard Statman
Rohit Jivanlal Parikh
Michael Beeson

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.

This article is issued from Wikipedia. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.