Kurt Schütte | ||
---|---|---|
![]() | ||
Información personal | ||
Nacimiento |
14 de octubre de 1909 Salzwedel (Alemania) | |
Fallecimiento |
18 de agosto de 1998 (88 años) Múnich (Alemania) | |
Nacionalidad | Alemana | |
Educación | ||
Educado en | Universidad de Gotinga | |
Supervisor doctoral | David Hilbert | |
Información profesional | ||
Ocupación | Matemático y profesor universitario | |
Área | Lógica matemática | |
Empleador |
| |
Miembro de |
| |
Kurt Schütte (14 de octubre de 1909, Salzwedel – 18 de agosto de 1998, Munich) fue un matemático alemán quien 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 de impredicatividad, lleva su nombre.
Publicaciones
- Schütte, Kurt (1977), Proof theory, Grundlehren der Mathematischen Wissenschaften 225, Berlin-New York: Springer-Verlag, pp. xii+299, ISBN 3-540-07911-4, MR 0505313.
- Beweistheorie, Springer, Grundlehren der mathematischen Wissenschaften, 1960, edición revisada al inglés Proof Theory, Springer 1977
- Vollständige Systeme modaler und intuitionistischer Logik, Springer 1968
- con Wilfried Buchholz: Proof Theory of Impredicative Subsystems of Analysis, Bibliopolis, Neapel 1988
- con Helmut Schwichtenberg: Mathematische Logik. En: Fischer, Hirzebruch u.a. (ed.) Ein Jahrhundert Mathematik 1890-1990, Vieweg 1990
Referencias
- Pohlers, Wolfram (2000), «In Memoriam: Kurt Schütte, 1909-1998», The Bulletin of Symbolic Logic 6 (1): 101-102.
Enlaces externos
- Esta obra contiene una traducción derivada de «Kurt Schütte» de Wikipedia en inglés, publicada por sus editores bajo la Licencia de documentación libre de GNU y la Licencia Creative Commons Atribución-CompartirIgual 4.0 Internacional.
- Bibliografía relacionada con Kurt Schütte en el catálogo de la Biblioteca Nacional de Alemania.
- Biografía en LMU, en inglés
- Corta biografía en website del Deutschen Mathematiker-Vereinigung
Este artículo ha sido escrito por Wikipedia. El texto está disponible bajo la licencia Creative Commons - Atribución - CompartirIgual. Pueden aplicarse cláusulas adicionales a los archivos multimedia.