Kurt Schütte

Kurt Schütte

Biografia
Naixement	14 octubre 1909 Salzwedel (Alemanya)
Mort	18 agost 1998 (88 anys) Múnic (Alemanya)
Dades personals
Formació	Universitat de Göttingen
Director de tesi	David Hilbert
Activitat
Camp de treball	Lògica matemàtica
Lloc de treball	Múnic Marburg
Ocupació	matemàtic, professor d'universitat
Ocupador	Universitat de Múnic Universitat Christian Albrecht de Kiel Universitat de Marburg
Membre de	Acadèmia Austríaca de Ciències Acadèmia Bavaresa de Ciències
Alumnes	Elmar Eder (en)
Obra
Estudiant doctoral	Wolfgang Bibel, Martin Wirsing, Wolfram Pohlers (en) , Gerhard Jäger (en) , Wolfgang Maaß (en) , Peter Zahn, Wilfried Buchholz (en) , Michael Holz (en) , Heidemarie Aly (en) , Horst Osswald (en) , Fred Kröger (en) , Karl Schlögl (en) , Werner Carstengerdes (en) , Martin Eckstein (en) i Klaus Vitzthum (en)
Localització dels arxius	Arxius de l'Escola Politècnica Federal de Zuric [ CH-001807-7:Hs 995]

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

• 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

• Pohlers, Wolfram «In Memoriam: Kurt Schütte, 1909-1998». The Bulletin of Symbolic Logic, 6, 1, 2000, p. 101–102.