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 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 Ver y modificar los datos en Wikidata
Educación
Supervisor doctoral David Hilbert Ver y modificar los datos en Wikidata
Información profesional
Ocupación Matemático y catedrático Ver y modificar los datos en Wikidata
Área Lógica matemática Ver y modificar los datos en Wikidata
Empleador Ver y modificar los datos en Wikidata
Miembro de Ver y modificar los datos en Wikidata
[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]