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 Ver y modificar los datos en Wikidata
Salzwedel (Alemania) Ver y modificar los datos en Wikidata
Fallecimiento 18 de agosto de 1998 Ver y modificar los datos en Wikidata (88 años)
Múnich (Alemania) Ver y modificar los datos en Wikidata
Nacionalidad Alemana
Educación
Educado en Universidad de Gotinga Ver y modificar los datos en Wikidata
Supervisor doctoral David Hilbert Ver y modificar los datos en Wikidata
Información profesional
Ocupación Matemático y profesor universitario Ver y modificar los datos en Wikidata
Área Lógica matemática Ver y modificar los datos en Wikidata
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

Referencias

editar

Enlaces externos

editar