Kurt Schütte (14 de octubre de 1909, Salzwedel - 18 de agosto de 1998, Munich ) fue un matemático alemán que trabajó en la teoría de la prueba y el análisis ordinal . El ordinal de Feferman-Schütte , que demostró ser el ordinal preciso para la predicatividad, lleva su nombre. Fue asesor de doctorado de 16 estudiantes, entre ellos Wolfgang Bibel , Wolfgang Maaß, Wolfram Pohlers y Martin Wirsing .
Kurt Schütte | |
---|---|
Nació | |
Fallecido | 18 de agosto de 1998 | (88 años)
Conocido por | Feferman – Schütte ordinal |
Carrera científica | |
Tesis | Untersuchungen zum Entscheidungsproblem der Mathischen Logik (1934) |
Asesor de doctorado | David Hilbert |
Publicaciones
- Schütte, Kurt (1977), Teoría de la prueba , Grundlehren der Mathematischen Wissenschaften, 225 , Berlín-Nueva York: Springer-Verlag, págs. Xii + 299, ISBN 3-540-07911-4, MR 0505313[1]
- Beweistheorie , Springer, Grundlehren der mathischen Wissenschaften, 1960; nueva edición trans. al inglés como teoría de la prueba , Springer-Verlag 1977
- Vollständige Systeme modaler und intuitionistischer Logik , Springer 1968
- con Wilfried Buchholz: Teoría de prueba de subsistemas de análisis impredicativos , Bibliopolis, Nápoles 1988
- con Helmut Schwichtenberg : Mathematische Logik , en Fischer, Hirzebruch et al. (eds.) Ein Jahrhundert Mathematik 1890-1990 , Vieweg 1990
Referencias
- ^ Feferman, Solomon (1979). "Revisión: teoría de la prueba , por Kurt Schütte" (PDF) . Toro. Amer. Matemáticas. Soc. (NS) . 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 (en alemán), 23 , Berlín: Duncker & Humblot, págs. 653–654; ( texto completo en línea )