Kurt Schütte

From Wikipedia, the free encyclopedia
Jump to: navigation, search
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.

Publications[edit]

  • 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[edit]

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