Kurt Schütte

Kurt Schütte (born October 14, 1909 in Salzwedel , † August 18, 1998 in Munich ) was a German mathematician and university professor.

Life

Kurt Schütte studied mathematics, physics, chemistry and philosophy in Berlin and at the University of Göttingen , where he received his doctorate in 1933 under David Hilbert . He was Hilbert's last PhD student, but was actually supervised by Paul Bernays . His dissertation is entitled Investigations into the Decision Problem of Mathematical Logic . Then he passed the state examination and became a high school teacher. He was a meteorologist during World War II . After that he was a teacher again and aimed for a scientific career as an assistant in Göttingen and Marburg. In 1952 he completed his habilitation and became a lecturer in 1955 and an adjunct professor in 1958 at the University of Marburg and in 1962 professor at the University of Kiel . From 1966 until his retirement in 1977 he held the chair for mathematical logic at the Ludwig Maximilians University in Munich . In 1959/60 he was invited by Kurt Gödel to the Institute for Advanced Study . He was also visiting professor at the ETH Zurich (1961/62) and at the Pennsylvania State University (1962/63).

In the theory of proof, the Feferman-Schütte ordinal number introduced by him and independently of Solomon Feferman goes back to him.

In 1966 he gave a plenary lecture at the International Congress of Mathematicians in Moscow (recent results of the theory of proof).

Since 1973 Schütte was a full member of the Bavarian Academy of Sciences and was a corresponding member of the Austrian Academy of Sciences.

He had 16 doctoral students , including Wolfgang Bibel , Wolfgang Maaß, Wolfram Pohlers and Martin Wirsing .

Proof Theory , Springer, basic teachings of Mathematical Sciences, 1960, English revised edition as Proof Theory , Springer 1977
Complete systems of modal and intuitionist logic , Springer 1968
with Wilfried Buchholz: Proof Theory of Impredicative Subsystems of Analysis , Bibliopolis, Neapel 1988
with Helmut Schwichtenberg : Mathematical Logic , in Fischer, Hirzebruch a. a. (Editor) A Century of Mathematics 1890-1990 , Vieweg 1990

Wilfried Buchholz: Schütte, Kurt. In: New German Biography (NDB). Volume 23, Duncker & Humblot, Berlin 2007, ISBN 978-3-428-11204-3 , pp. 653 f. ( Digitized version ).