Georg Kreisel

From Wikipedia, the free encyclopedia

Georg Kreisel (born September 15, 1923 in Graz) 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 at the University of 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.[1][2]

Kreisel worked in various areas of logic,[3] 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.[4]

Kreisel was elected to the Royal Society in 1966.[2]

[edit] References

  1. ^ 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.
  2. ^ a b O'Connor, John J. & Robertson, Edmund F., “Georg Kreisel”, MacTutor History of Mathematics archive 
  3. ^ 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.
  4. ^ 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.

[edit] External links and further reading

Languages