Katana VentraIP

Kurt Schütte

Kurt Schütte (14 October 1909 – 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. He was the doctoral advisor of 16 students, including Wolfgang Bibel, Wolfgang Maaß, Wolfram Pohlers, and Martin Wirsing.

Kurt Schütte

(1909-10-14)14 October 1909

18 August 1998(1998-08-18) (aged 88)

Untersuchungen zum Entscheidungsproblem der mathematischen Logik  (1934)

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

ISBN

Vollständige Systeme modaler und intuitionistischer Logik, Springer 1968

with Wilfried Buchholz: Proof Theory of Impredicative Subsystems of Analysis, Bibliopolis, Naples 1988

with : Mathematische Logik, in Fischer, Hirzebruch et al. (eds.) Ein Jahrhundert Mathematik 1890-1990, Vieweg 1990

Helmut Schwichtenberg

Pohlers, Wolfram (2000), "In Memoriam: Kurt Schütte, 1909-1998", The Bulletin of Symbolic Logic, 6 (1): 101–102,  421083

JSTOR

Wilfried Buchholz (2007), , Neue Deutsche Biographie (in German), vol. 23, Berlin: Duncker & Humblot, pp. 653–654; (full text online)

"Schütte, Kurt"

at the Mathematics Genealogy Project

Kurt Schütte