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.