Kurt Schütte

Updated on Sep 24, 2024

Edit

Comment

Name Kurt Schutte Notable students Wolfgang Bibel Books Proof theory		Doctoral advisor David Hilbert Role Mathematician

Born October 14, 1909Salzwedel ( 1909-10-14 ) Thesis Untersuchungen zum Entscheidungsproblem der mathematischen Logik (1934) Known for Feferman-Schutte ordinal Died August 18, 1998, Munich, Germany People also search for David Hilbert, Wilfried Buchholz, Wolfgang Bibel, Helmuth Gericke

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.

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

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

Kurt Schütte httpsuploadwikimediaorgwikipediacommonsthu

References

Kurt Schütte Wikipedia

(Text) CC BY-SA