matemático alemán
Kurt Schütte ( Salzwedel , 14 de octubre de 1909 - Múnich , 18 de agosto de 1998 ) 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 límite 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 .
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, SEÑOR 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 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, Salomón (1979). "Reseña: Teoría de la prueba, de Kurt Schütte" (PDF) . Toro. América. 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", El 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