Vés al contingut

Kurt Schütte

De la Viquipèdia, l'enciclopèdia lliure
Plantilla:Infotaula personaKurt Schütte

Modifica el valor a Wikidata
Biografia
Naixement14 octubre 1909 Modifica el valor a Wikidata
Salzwedel (Alemanya) Modifica el valor a Wikidata
Mort18 agost 1998 Modifica el valor a Wikidata (88 anys)
Múnic (Alemanya) Modifica el valor a Wikidata
FormacióUniversitat de Göttingen Modifica el valor a Wikidata
Director de tesiDavid Hilbert Modifica el valor a Wikidata
Activitat
Camp de treballLògica matemàtica Modifica el valor a Wikidata
Lloc de treball Múnic
Marburg Modifica el valor a Wikidata
Ocupaciómatemàtic, professor d'universitat Modifica el valor a Wikidata
OcupadorUniversitat de Múnic
Universitat Christian Albrecht de Kiel
Universitat de Marburg Modifica el valor a Wikidata
Membre de
AlumnesElmar Eder (en) Tradueix Modifica el valor a Wikidata
Obra
Estudiant doctoralWolfgang Bibel, Martin Wirsing, Wolfram Pohlers (en) Tradueix, Gerhard Jäger (en) Tradueix, Wolfgang Maaß (en) Tradueix, Peter Zahn, Wilfried Buchholz (en) Tradueix, Michael Holz (en) Tradueix, Heidemarie Aly (en) Tradueix, Horst Osswald (en) Tradueix, Fred Kröger (en) Tradueix, Karl Schlögl (en) Tradueix, Werner Carstengerdes (en) Tradueix, Martin Eckstein (en) Tradueix i Klaus Vitzthum (en) Tradueix Modifica el valor a Wikidata
Localització dels arxius

Kurt Schütte (14 d'octubre de 1909, Salzwedel - 18 d'agost de 1998, Múnic) fou un matemàtic alemany que treballà en la teoria de la demostració i en l'anàlisi ordinal. L'ordinal de Feferman-Schüttte, que demostrà ser l'ordinal precís d'impredicativitat, porta el seu nom com a homenatge.

Publicacions

[modifica]
  • Schütte, Kurt. Proof theory. 225. Springer-Verlag, 1977, p. xii+299. ISBN 3-540-07911-4. 
  • 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
  • amb Wilfried Buchholz: Proof Theory of Impredicative Subsystems of Analysis, Bibliopolis, Neapel 1988
  • amb Helmut Schwichtenberg, Mathematische Logik. En: Fischer, Hirzebruch u.a. (ed.) Ein Jahrhundert Mathematik 1890-1990, Vieweg 1990

Referències

[modifica]