Kurt Schütte

From Wikipedia, the free encyclopedia

Kurt Schütte 14 October 1909 (Salzwedel) – 18 August 1998 was a German mathematician who worked on proof theory and ordinal analysis. The Feferman-Schütte ordinal, which he showed to be the precise ordinal bound for predicativity, is named after him.

[edit] Publications

• Schütte, Kurt (1977), Proof theory, vol. 225, Grundlehren der Mathematischen Wissenschaften, Berlin-New York: Springer-Verlag, pp. xii+299, MR0505313, ISBN 3-540-07911-4 

[edit] References

• Pohlers, Wolfram (2000), “In Memoriam: Kurt Schütte, 1909-1998”, The Bulletin of Symbolic Logic 6: 101-102, <http://links.jstor.org/sici?sici=1079-8986%28200003%296%3A1%3C101%3AIMKS1%3E2.0.CO%3B2-G>