Kurt Schütte
matemàtic alemany
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.
| |||
| Biografia | |||
|---|---|---|---|
| Naixement | 14 octubre 1909  Salzwedel (Alemanya) | ||
| Mort | 18 agost 1998 (88 anys) Múnic (Alemanya) | ||
| 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 | |||
| 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 |
| ||
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- Pohlers, Wolfram «In Memoriam: Kurt Schütte, 1909-1998». The Bulletin of Symbolic Logic, 6, 1, 2000, p. 101–102.