Georg Kreisel

---

title: "Georg Kreisel" type: doc version: 1 created: 2026-02-28 author: "Wikipedia contributors" status: active scope: public tags: ["1923-births", "austrian-mathematicians", "20th-century-british-mathematicians", "21st-century-british-mathematicians", "proof-theorists", "cambridge-university-moral-sciences-club", "austrian-logicians", "20th-century-american-mathematicians", "21st-century-american-mathematicians", "2015-deaths", "austrian-emigrants-to-the-united-kingdom", "british-emigrants-to-the-united-states", "students-of-ludwig-wittgenstein", "academics-of-the-university-of-reading", "stanford-university-faculty", "alumni-of-the-university-of-cambridge", "american-fellows-of-the-royal-society", "british-fellows-of-the-royal-society"] description: "Austrian logician (1923–2015)" topic_path: "philosophy" source: "https://en.wikipedia.org/wiki/Georg_Kreisel" license: "CC BY-SA 4.0" wikipedia_page_id: 0 wikipedia_revision_id: 0

::summary Austrian logician (1923–2015) ::

::data[format=table title="Infobox scientist"]

Field	Value
image
image_size	150px
name	Georg Kreisel
birth_date
birth_place	Graz, Austria
death_date
death_place	Salzburg, Austria
nationality	Austrian, British
field	Computer Science
Mathematics
Philosophy
work_institutions	University of Reading
Institute for Advanced Study
Stanford University
alma_mater	Trinity College, Cambridge
doctoral_students	Henk Barendregt
Richard Statman
Rohit Jivanlal Parikh

| | known_for | Unwinding Program Kreisel–Putnam logic | ::

| image = | image_size = 150px| | name = Georg Kreisel | birth_date = | birth_place = Graz, Austria | death_date = | death_place = Salzburg, Austria | residence = | citizenship = | nationality = Austrian, British | ethnicity = | field = Computer Science Mathematics Philosophy | work_institutions = University of Reading Institute for Advanced Study Stanford University | alma_mater = Trinity College, Cambridge | doctoral_advisor = | doctoral_students = Henk Barendregt Richard Statman Rohit Jivanlal Parikh

| known_for = Unwinding Program Kreisel–Putnam logic | author_abbrev_bot = | author_abbrev_zoo = | prizes = | religion = | signature = | footnotes =

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.

Biography

Kreisel was born in Graz and came from a Jewish background; his family sent him to the United Kingdom before the Anschluss in 1938. He studied mathematics at Trinity College, Cambridge, and then, during World War II, worked on military subjects. Kreisel never took a Ph.D., though much later, in 1962, he was awarded the Cambridge degree of Sc.D., a 'higher doctorate' given on the basis of published research.

He taught at the University of Reading from 1949 until 1954 and then worked at the Institute for Advanced Study from 1955 to 1957. He returned to Reading in 1957, but then taught at Stanford University from 1958 to 1959. Then back at Reading for the year 1959–1960, and then the University of Paris 1960–1962. 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 Francis CrickSome of their correspondence is collected within {{cite web | url = http://profiles.nlm.nih.gov/SC/Views/AlphaChron/series/017623/018121/017681/ | archive-url = https://archive.today/20121214000247/http://profiles.nlm.nih.gov/SC/Views/AlphaChron/series/017623/018121/017681/ | url-status = dead | archive-date = December 14, 2012 | title = The Francis Crick Papers | access-date = February 12, 2011

While a student at Cambridge, Kreisel was the student most respected by Ludwig Wittgenstein. Ray Monk writes, "In 1944—when Kreisel was still only twenty-one—Wittgenstein shocked Rush Rhees by declaring Kreisel to be the most able philosopher he had ever met who was also a mathematician."

Kreisel was also a close friend of the Anglo-Irish philosopher and novelist Iris Murdoch. They met at Cambridge in 1947 during Murdoch's year of study there. Peter Conradi reports that Murdoch transcribed Kreisel's letters into her journals over the next fifty years. According to Conradi, "For half a century she nonetheless records variously Kreisel's brilliance, wit and sheer 'dotty' solipsistic strangeness, his amoralism, cruelty, ambiguous vanity and obscenity." Murdoch dedicated her 1971 novel An Accidental Man to Kreisel and he became a (partial) model for several characters in other novels, including Marcus Vallar in The Message to the Planet and Guy Openshaw in Nuns and Soldiers.

After retirement Kreisel lived in Salzburg, Austria. He wrote several biographies of mathematicians including Kurt Gödel, Bertrand Russell and Luitzen Egbertus Jan Brouwer. He died in Salzburg, aged 91.

Anecdotes

When Kreisel was teaching at the University of Reading he would frequently take the train into London. There was a particularly fast train that was timed just right for the shows in London, and he would go to the station at that time. He checked the timetable one day, and that train was canceled. But out of habit one day he showed up at the station at the usual time and the train was there. It seems that it was going from Bristol to London, stopping at Reading only to get water. He got on the train anyway, and from then on took that train regularly. One day he was accosted by the conductor after he got on. "The train doesn't stop here sir!" "In that case I didn't get on here."

References

References

1. [https://royalsociety.org/about-us/fellowship/notices-2015/ Notices 2015], [[Royal Society]], retrieved 2015-06-09.
2. "In Memoriam: Georg Kreisel".
3. pp. 265–266, ''Beyond Art: A Third Culture'', Peter Weibel, Ludwig Múzeum (Budapest, Hungary), Neue Galerie am Landesmuseum Joanneum, Museum van Hedendaagse Kunst Antwerpen. New York: Springer-Verlag, 2005. {{ISBN. 3-211-24562-6.
4. {{MacTutor Biography
5. [http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.rml/1081173779 Review of Piergiorgio Odifreddi, editor, ''Kreiseliana: About and Around Georg Kreisel''], by Luis Carlos Pereira, ''Review of Modern Logic'' '''8''', #3–4 (2000), pp. 127–131.
6. [http://math.stanford.edu/~feferman/papers/unwind.pdf Kreisel's "unwinding" program], Solomon Feferman, pp. 247–273, in ''Kreiseliana: About and Around Georg Kreisel'', Piergiorgio Odifreddi, ed., Wellesley, Massachusetts: A. K. Peters, 1996. {{ISBN. 1-56881-061-X.
7. Crick, Francis. (1988). "What Mad Pursuit: A Personal View of Scientific Discovery". [[Basic Books]].
8. Crick, Francis. (1988). "What Mad Pursuit: A Personal View of Scientific Discovery". Basic Books.
9. Monk, Ray. (1991). "Ludwig Wittgenstein". Penguin Books.
10. Conradi, Peter J.. (2002). "Iris Murdoch". HarperCollins UK.
11. (1980). "Kurt Godel. 28 April 1906–14 January 1978". [[Biographical Memoirs of Fellows of the Royal Society]].
12. (1973). "Bertrand Arthur William Russell, Earl Russell. 1872–1970". [[Biographical Memoirs of Fellows of the Royal Society]].
13. (1969). "Luitzen Egbertus Jan Brouwer 1881–1966". [[Biographical Memoirs of Fellows of the Royal Society]].
14. ''Kreiseliana: About and Around Georg Kreisel'', ed. by Piergiorgio Odifreddi, Wellesley, MA, 1996, (Festschrift)

::callout[type=info title="Wikipedia Source"] This article was imported from Wikipedia and is available under the Creative Commons Attribution-ShareAlike 4.0 License. Content has been adapted to SurfDoc format. Original contributors can be found on the article history page. ::