Kurt Schütte

Kurt Georg Schütte (14 octobre 1909, Salzwedel - 18 août 1998, Munich) est un mathématicien allemand qui a travaillé dans les domaines de la théorie de la démonstration et de l'analyse ordinale.

Formation, travaux

Kurt Schütte étudie les mathématiques, la physique, la chimie et la philosophie à Berlin et à l'Université de Göttingen, où il obtient son doctorat en 1933 sous la direction de David Hilbert. Il est le dernier étudiant doctorant d'Hilbert, et il a poursuivi son travail auprès de Paul Bernays. Sa thèse est intitulée Untersuchungen zum Entscheidungsproblem der mathematischen Logik.

Il passe ensuite l'examen d'état et devient enseignant en lycée. Durant la Seconde Guerre mondiale, il est météorologue. Après la guerre, il redevient enseignant et entreprend une carrière de chercheur en tant qu'assistant à Göttingen et à Marburg.

En 1953 il résout avec Bartel Leendert van der Waerden le problème (en) du « Kissing number » en trois dimensions : il est possible de disposer 12 sphères unités autour d'une sphère centrale de même rayon[1].

L'ordinal de Feferman-Schütte, dont il a montré qu'il est l'ordinal précis utilisé pour la prédicativité, porte son nom. Il est le directeur de thèse de 16 étudiants, dont Wolfgang Bibel (en), Wolfgang Maaß, Wolfram Pohlers et Martin Wirsing.

En 1966 il est conférencier invité au congrès international des mathématiciens à Moscou, avec une conférence intitulée Neuere Ergebnisse der Beweistheorie.

Publications

Kurt Schütte, Proof theory, vol. 225, Springer-Verlag, coll. « Grundlehren der Mathematischen Wissenschaften », 1977, xii+299 p. (ISBN 3-540-07911-4, Math Reviews 0505313). [2]
- Beweistheorie, Springer, Grundlehren der mathematischen Wissenschaften, 1960; nouvelle édition trad. en anglais comme Proof Theory, Springer-Verlag, 1977
Vollständige Systeme modaler und intuitionistischer Logik, Springer 1968
avec Wilfried Buchholz: Proof Theory of Impredicative Subsystems of Analysis, Bibliopolis, Naples, 1988
avec Helmut Schwichtenberg (de) : Mathematische Logik, Fischer, Hirzebruch et coll. (eds.) Ein Jahrhundert Mathematik 1890-1990, Vieweg 1990

Références

Brian Hayes, « Les grappes de sphères collantes », Pour la Science, n^o 427, mai 2013, p. 64-71.
Feferman, Solomon, « Review: Proof theory, by Kurt Schütte », Bull. Amer. Math. Soc. (N.S.), vol. 1, n^o 1,‎ 1979, p. 224–228 (DOI 10.1090/s0273-0979-1979-14562-2, lire en ligne)

Wolfram Pohlers, « In Memoriam: Kurt Schütte, 1909-1998 », The Bulletin of Symbolic Logic, vol. 6, n^o 1,‎ 2000, p. 101–102 (JSTOR 421083)
(de) Wilfried Buchholz, « Schütte, Kurt », dans Neue Deutsche Biographie (NDB), vol. 23, Berlin 2007, Duncker & Humblot, p. 653–654 (original numérisé).

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Kurt Schütte » (voir la liste des auteurs).

Liens externes

Portail des mathématiques

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.

[1] Brian Hayes, « Les grappes de sphères collantes », Pour la Science, n^o 427, mai 2013, p. 64-71.

[2] Feferman, Solomon, « Review: Proof theory, by Kurt Schütte », Bull. Amer. Math. Soc. (N.S.), vol. 1, n^o 1,‎ 1979, p. 224–228 (DOI 10.1090/s0273-0979-1979-14562-2, lire en ligne)