Kurt Schütte
| Kurt Schütte | |
|---|---|
 | |
| 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
- ↑ 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
|