Georg Kreisel

Georg Kreisel
Born(1923-09-15)September 15, 1923
Graz, Austria
DiedMarch 1, 2015(2015-03-01) (aged 91)
Salzburg, Austria
NationalityAustrian, British
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

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 licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.