Kurt Schütte

Kurt Schütte
Kurt Schütte
	(Oberwolfach Photo Collection)
Born	October 14, 1909; Salzwedel
Died	August 18, 1998 (aged 88); Munich
Known for	Feferman–Schütte ordinal
	Scientific career
Thesis	Untersuchungen zum Entscheidungsproblem der mathematischen Logik (1934)
Doctoral advisor	David Hilbert

Kurt Schütte (14 October 1909, Salzwedel – 18 August 1998, Munich) was a German mathematician who worked on proof theory and ordinal analysis. The Feferman–Schütte ordinal, which he showed to be the precise ordinal bound for predicativity, is named after him. He was the doctoral advisor of 16 students, including Wolfgang Bibel, Wolfgang Maaß, Wolfram Pohlers, and Martin Wirsing.

Publications

Schütte, Kurt (1977), Proof theory, Grundlehren der Mathematischen Wissenschaften, 225, Berlin-New York: Springer-Verlag, pp. xii+299, ISBN 3-540-07911-4, MR 0505313[1]
- 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: Mathematische Logik, in Fischer, Hirzebruch et al. (eds.) Ein Jahrhundert Mathematik 1890-1990, Vieweg 1990

gollark: I'm not sure where you'd get more data in the same real-time-chat-ish style. Most of the newer platforms (like here) are very walled gardeny.

gollark: Only 200MB or so though.

gollark: If anyone wants it I have a bunch of IRC logs from different things you could finetune on.

gollark: They also have stupidly high-throughput cores with 8-way SMT.

gollark: It's basically the only modern performant platform which you can run usably without proprietary firmware.

References

Feferman, Solomon (1979). "Review: Proof theory, by Kurt Schütte" (PDF). Bull. Amer. Math. Soc. (N.S.). 1 (1): 224–228. doi:10.1090/s0273-0979-1979-14562-2.

Pohlers, Wolfram (2000), "In Memoriam: Kurt Schütte, 1909-1998", The Bulletin of Symbolic Logic, 6 (1): 101–102, JSTOR 421083
Wilfried Buchholz (2007), "Schütte, Kurt", Neue Deutsche Biographie (NDB) (in German), 23, Berlin: Duncker & Humblot, pp. 653–654; (full text online)

External links

Kurt Schütte at the Mathematics Genealogy Project

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Feferman, Solomon (1979). "Review: Proof theory, by Kurt Schütte" (PDF). Bull. Amer. Math. Soc. (N.S.). 1 (1): 224–228. doi:10.1090/s0273-0979-1979-14562-2.