Georg Kreisel
Mathematician, Author
1923 –
Who is Georg Kreisel?
Georg Kreisel FRS is an Austrian-born mathematical logician who has studied and worked in Great Britain and America. Kreisel came from a Jewish background; his family sent him to England before the Anschluss, where he studied mathematics at Trinity College, Cambridge and then, during World War II, worked on military subjects. After the war he returned to Cambridge and received his doctorate. He taught at the University of Reading until 1954 and then worked at the Institute for Advanced Study from 1955 to 1957. Subsequently he taught at Stanford University and the University of Paris. Kreisel was appointed a professor at Stanford University in 1962 and remained on the faculty there until he retired in 1985.
Kreisel worked in various areas of logic, and especially in proof theory, where he is known for his so-called "unwinding" program, whose aim was to extract constructive content from superficially non-constructive proofs.
Kreisel was elected to the Royal Society in 1966; Kreisel remained a close friend of the late Francis Crick whom he had met in the Royal Navy during WWII.
While a student at Cambridge, Kreisel was the student most respected by Ludwig Wittgenstein.
We need you!
Help us build the largest biographies collection on the web!
- Born
- Sep 15, 1923
Graz - Nationality
- United Kingdom
- United States of America
- Profession
Submitted
on July 23, 2013
Citation
Use the citation below to add to a bibliography:
Style:MLAChicagoAPA
"Georg Kreisel." Biographies.net. STANDS4 LLC, 2024. Web. 1 Jun 2024. <https://www.biographies.net/people/en/georg_kreisel>.
Discuss this Georg Kreisel biography with the community:
Report Comment
We're doing our best to make sure our content is useful, accurate and safe.
If by any chance you spot an inappropriate comment while navigating through our website please use this form to let us know, and we'll take care of it shortly.
Attachment
You need to be logged in to favorite.
Log In