Kurt Schütte
matemático alemán
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.
Kurt Schütte | ||
---|---|---|
Información personal | ||
Nacimiento |
14 de octubre de 1909 Salzwedel (Alemania) | |
Fallecimiento |
18 de agosto de 1998 Múnich (Alemania) | (88 años)|
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 | ||
Publicaciones
editar- 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
editar- Pohlers, Wolfram (2000), «In Memoriam: Kurt Schütte, 1909-1998», The Bulletin of Symbolic Logic 6 (1): 101-102.
Enlaces externos
editar- 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