Georg Kreisel FRS was an Austrian-born mathematical logician who studied and worked in the United Kingdom and America.
10 Facts About Georg Kreisel
1.
2.
Georg Kreisel studied mathematics at Trinity College, Cambridge, and then, during World War II, worked on military subjects.
3.
Georg Kreisel taught at the University of Reading from 1949 until 1954 and then worked at the Institute for Advanced Study from 1955 to 1957.
4.
Georg Kreisel was appointed a professor at Stanford University in 1962 and remained on the faculty there until he retired in 1985.
5.
Georg 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.
6.
Georg Kreisel was elected to the Royal Society in 1966; Georg Kreisel remained a close friend of Francis Crick whom he had met in the Royal Navy during WWII.
7.
Georg Kreisel was a close friend of the Anglo-Irish philosopher and novelist Iris Murdoch.
8.
When Georg Kreisel was teaching at the University of Reading he would frequently take the train into London.
9.
Georg Kreisel checked the timetable one day, and that train was canceled.
10.
Georg Kreisel got on the train anyway, and from then on took that train regularly.