- Georg Kreisel
Georg Kreisel (born
September 15 ,1923 inGraz ) is anAustria n-bornmathematical logic ian who has studied and worked inGreat Britain and America. Kreisel came from aJew ish background; his family sent him toEngland before theAnschluss , where he studied at theUniversity of Cambridge and then, duringWorld War II , worked onmilitary subjects. After the war he returned to Cambridge and received hisdoctorate . He taught at theUniversity of Reading until 1954 and then worked at theInstitute for Advanced Study from 1955 to 1957. Subsequently he taught atStanford University and theUniversity of Paris . Kreisel was appointed a professor atStanford University in 1962 and remained on the faculty there until he retired in 1985. [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 3211245626.] MacTutor Biography|id=Kreisel]Kreisel worked in various areas of logic, [ [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.] 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. [ [http://math.stanford.edu/~feferman/papers/unwind.pdf Kreisel's "unwinding" program] , Solomon Feferman, pp. 247–273, in "Kreiseliana: About and Around George Kreisel", Piergiorgio Odifreddi, ed., Wellesley, Massachusetts: A. K. Peters, 1996. ISBN 156881061X.]Kreisel was elected to the
Royal Society in 1966.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--Wittgenstien shockedRush Rhees by declaring Kreisel to be the most able philosopher he had ever met who was also a mathematician."* [Ray Monk, "Wittgenstein: The Duty of Genius" (Penguin, 1991), 498.]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 ".* [Peter Conradi, "Iris Murdoch: A Life" (HarperCollins, 2001), 264-65.]References
External links and further reading
*
* "Kreiseliana: About and Around George Kreisel", Piergiorgio Odifreddi, ed., Wellesley, Massachusetts: A. K. Peters, 1996. ISBN 156881061X.
Wikimedia Foundation. 2010.