Matemático alemán
Kurt Schütte (14 de octubre de 1909 - 18 de agosto de 1998) fue un matemático alemán que trabajó en la teoría de la demostración y el análisis ordinal . El ordinal de Feferman-Schütte , que demostró ser el límite ordinal preciso para la predicatividad, lleva su nombre. Fue el asesor de doctorado de 16 estudiantes, entre ellos Wolfgang Bibel , Wolfgang Maaß, Wolfram Pohlers y Martin Wirsing .
Publicaciones
- Schütte, Kurt (1977), Teoría de la prueba , Grundlehren der Mathematischen Wissenschaften, vol. 225, Berlín-Nueva York: Springer-Verlag, págs. xii+299, ISBN 3-540-07911-4, Sr. 0505313[1]
- Beweistheorie , Springer, Grundlehren der mathematischen 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 la prueba de subsistemas impredicativos de análisis , 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) . Bull. Amer. Math. Soc. (NS) . 1 (1): 224–228. doi : 10.1090/s0273-0979-1979-14562-2 .
- Pohlers, Wolfram (2000), "In Memoriam: Kurt Schütte, 1909-1998", Boletín de lógica simbólica , 6 (1): 101-102, JSTOR 421083
- Wilfried Buchholz (2007), "Schütte, Kurt", Neue Deutsche Biographie (en alemán), vol. 23, Berlín: Duncker & Humblot, págs. 653–654; (texto completo en línea)
Enlaces externos