Kurt Schütte
Jump to navigation
Jump to search
Kurt Schütte | |
---|---|
Born | |
Died | 18 August 1998 | (aged 88)
Known for | Feferman–Schütte ordinal |
Scientific career | |
Thesis | Untersuchungen zum Entscheidungsproblem der mathematischen Logik (1934) |
Doctoral advisor | David Hilbert |
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.
Publications
- Schütte, Kurt (1977), Proof theory, Grundlehren der Mathematischen Wissenschaften, vol. 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, JSTOR 421083
- Wilfried Buchholz (2007), "Schütte, Kurt", Neue Deutsche Biographie (in German), vol. 23, Berlin: Duncker & Humblot, pp. 653–654; (full text online)
External links
Categories:
- Articles with short description
- Short description matches Wikidata
- Articles with hCards
- CS1 German-language sources (de)
- Articles with FAST identifiers
- Articles with ISNI identifiers
- Articles with VIAF identifiers
- Articles with WorldCat Entities identifiers
- Articles with BNF identifiers
- Articles with BNFdata identifiers
- Articles with GND identifiers
- Articles with J9U identifiers
- Articles with LCCN identifiers
- Articles with NKC identifiers
- Articles with NTA identifiers
- Articles with DBLP identifiers
- Articles with MATHSN identifiers
- Articles with MGP identifiers
- Articles with ZBMATH identifiers
- Articles with DTBIO identifiers
- Articles with SUDOC identifiers
- 1909 births
- 1998 deaths
- People from Salzwedel
- People from the Province of Saxony
- Mathematical logicians
- 20th-century German mathematicians
- All stub articles
- German mathematician stubs