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

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

Enlaces externos

Biografía en LMU, en inglés ''Corta biografía en website del Deutschen Mathematiker-Vereinigung

Categoría:Matemáticos de Alemania Categoría:Profesores de la Universidad de Múnich Categoría:Profesores de la Universidad de Kiel Categoría:Profesores de la Universidad de Marburgo Categoría:Miembros de la Academia de Ciencias de Baviera Categoría:Miembros de la Academia Austríaca de Ciencias Categoría:Fallecidos en Múnich Categoría:Nacidos en Salzwedel