Kurt Schütte
From Infogalactic: the planetary knowledge core
| Kurt Schütte | |
|---|---|
| File:Kurt Schuette.jpg | |
| Born | October 14, 1909 Salzwedel |
| Died | Script error: The function "death_date_and_age" does not exist. 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
- Lua error in package.lua at line 80: module 'strict' not found.[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
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- Lua error in package.lua at line 80: module 'strict' not found.
- Lua error in package.lua at line 80: module 'strict' not found.; (full text online)
External links
<templatestyles src="Asbox/styles.css"></templatestyles>
 |
This article about a German mathematician is a stub. You can help Wikipedia by expanding it. |
