Kurt Schütte (14 October 1909 – 18 August 1998) was a

German German(s) may refer to: * Germany, the country of the Germans and German things **Germania (Roman era) * Germans, citizens of Germany, people of German ancestry, or native speakers of the German language ** For citizenship in Germany, see also Ge ...

mathematician A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, mathematical structure, structure, space, Mathematica ...

who worked on

proof theory Proof theory is a major branchAccording to , proof theory is one of four domains mathematical logic, together with model theory, axiomatic set theory, and recursion theory. consists of four corresponding parts, with part D being about "Proof The ...

and

ordinal analysis In proof theory, ordinal analysis assigns ordinals (often large countable ordinals) to mathematical theories as a measure of their strength. If theories have the same proof-theoretic ordinal they are often equiconsistent, and if one theory ha ...

. The

Feferman–Schütte ordinal In mathematics, the Feferman–Schütte ordinal (Γ0) is a large countable ordinal. It is the proof-theoretic ordinal of several mathematical theories, such as arithmetical transfinite recursion. It is named after Solomon Feferman and Kurt Schüt ...

, which he showed to be the precise ordinal bound for predicativity, is named after him. He was the

doctoral advisor A doctoral advisor (also dissertation director, dissertation advisor; or doctoral supervisor) is a member of a university faculty whose role is to guide graduate students who are candidates for a doctorate, helping them select coursework, as well ...

of 16 students, including

Wolfgang Bibel Leonhard Wolfgang Bibel (born on 28 October 1938 in Nuremberg) is a German computer scientist, mathematician and Professor emeritus at the Department of Computer Science of the Technische Universität Darmstadt. He was one of the founders of the ...

, Wolfgang Maaß, Wolfram Pohlers, and

Martin Wirsing Martin Wirsing (born 24 December 1948 in Bayreuth) is a German computer scientist, and Professor at the Ludwig-Maximilians-Universität München, Germany. Biography Wirsing studied Mathematics at Ludwig-Maximilians-Universität München (LMU) a ...

Publications

* ** ''Beweistheorie'', Springer, Grundlehren der mathematischen Wissenschaften, 1960; new edition trans. into English as ''Proof Theory'', Springer-Verlag 1977 * ''Vollständige Systeme modaler und intuitionistischer Logik'', Springer 1968 * with Wilfried Buchholz: ''Proof Theory of Impredicative Subsystems of Analysis'', Bibliopolis, Naples 1988 * with

Helmut Schwichtenberg Helmut Schwichtenberg (born 5 April 1942) is a German mathematical logician. Schwichtenberg studied mathematics from 1961 at the Free University of Berlin and from 1964 at the University of Münster, where he received his doctorate in 1968 from ...

''Mathematische Logik''
in Fischer, Hirzebruch et al. (eds.) ''Ein Jahrhundert Mathematik 1890-1990'', Vieweg 1990

References

* *

External links

Kurt Schütte
at the

Mathematics Genealogy Project The Mathematics Genealogy Project (MGP) is a web-based database for the academic genealogy of mathematicians.. it contained information on 300,152 mathematical scientists who contributed to research-level mathematics. For a typical mathematicia ...

1909 births 1998 deaths People from Salzwedel People from the Province of Saxony Mathematical logicians Proof theorists 20th-century German mathematicians {{Germany-mathematician-stub