Georg Kreisel

Georg Kreisel
Born(1923-09-15)September 15, 1923
DiedMarch 1, 2015(2015-03-01) (aged 91)
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)[1] was an Austrian-born mathematical logician who studied and worked in the United Kingdom and America.

  1. ^ Notices 2015, Royal Society, retrieved 2015-06-09.

Developed by StudentB