Kurt Schütte
Aparença
![]() ![]() | |
Biografia | |
---|---|
Naixement | 14 octubre 1909 ![]() Salzwedel (Alemanya) ![]() |
Mort | 18 agost 1998 ![]() 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 | |
Alumnes | Elmar Eder (en) ![]() ![]() |
Obra | |
Estudiant doctoral | Wolfgang Bibel, Martin Wirsing, Wolfram Pohlers (en) ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
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]
- Pohlers, Wolfram «In Memoriam: Kurt Schütte, 1909-1998». The Bulletin of Symbolic Logic, 6, 1, 2000, p. 101–102.