Kurt Schütte

Kurt Schütte
(Oberwolfach Photo Collection)
Born	October 14, 1909 Salzwedel
Died	August 18, 1998 (aged 88) Munich
Thesis	Untersuchungen zum Entscheidungsproblem der mathematischen Logik (1934)
Doctoral advisor	David Hilbert
Known for	Feferman-Schütte ordinal

Kurt Schütte (14 October 1909, Salzwedel – 18 August 1998, Munich) 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.

Publications

• Schütte, Kurt (1977), Proof theory, Grundlehren der Mathematischen Wissenschaften 225, Berlin-New York: Springer-Verlag, pp. xii+299, ISBN 3-540-07911-4, MR 0505313^[1]
  • Beweistheorie, Springer, Grundlehren der mathematischen Wissenschaften, 1960; new edition trans. into English as Proof Theory, Springer-Verlag 1977
• Vollständige Systeme modaler und intuitionistischer Logik, Springer 1968
• with Wilfried Buchholz: Proof Theory of Impredicative Subsystems of Analysis, Bibliopolis, Naples 1988
• with Helmut Schwichtenberg: Mathematische Logik, in Fischer, Hirzebruch et al. (eds.) Ein Jahrhundert Mathematik 1890-1990, Vieweg 1990

References

1. Feferman, Solomon (1979). "Review: Proof theory, by Kurt Schütte" (PDF). Bull. Amer. Math. Soc. (N.S.) 1 (1): 224–228. doi:10.1090/s0273-0979-1979-14562-2.

• Pohlers, Wolfram (2000), "In Memoriam: Kurt Schütte, 1909-1998", The Bulletin of Symbolic Logic 6 (1): 101–102
• Wilfried Buchholz (2007), "Schütte, Kurt", Neue Deutsche Biographie (NDB) (in German) 23, Berlin: Duncker & Humblot, pp. 653–654; (full text online)

External links

• Kurt Schütte at the Mathematics Genealogy Project