Kurt Schütte

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. He was the doctoral advisor of 16 students, including Wolfgang Bibel, Wolfgang Maaß, Wolfram Pohlers, and Martin Wirsing.

Kurt Schütte
Born(1909-10-14)October 14, 1909
Salzwedel
DiedAugust 18, 1998(1998-08-18) (aged 88)
Munich
Known forFeferman–Schütte ordinal
Scientific career
ThesisUntersuchungen zum Entscheidungsproblem der mathematischen Logik (1934)
Doctoral advisorDavid Hilbert

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
gollark: No you don't.
gollark: Idea: optimized matrix fibonaccization using AVX.
gollark: OH WAIT, I CAN, I didn't not unexpect this.
gollark: I can't say I didn't not unexpect this.
gollark: Is Macron just SUBLEQ now?

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.


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.