Kurt Schütte

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda
Kurt Schütte
Kurt Schuette.jpg
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
Supervisor doctoral David Hilbert
Información profesional
Ocupación Matemático y catedrático de universidad
Área Lógica matemática
Empleador
Miembro de
[editar datos en Wikidata]

Kurt Schütte (14 de octubre 1909, Salzwedel – 18 de agosto 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[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]