Kurt Schütte
Kurt Schütte (Salzwedel, 14 de outubro de 1909 — Munique, 18 de agosto de 1998) foi um matemático alemão.
| Kurt Schütte | |
|---|---|
 Kurt Schütte | |
| ordinal de Feferman-Schütte | |
| Nascimento | 14 de outubro de 1909 Salzwedel |
| Morte | 18 de agosto de 1998 (88 anos) Munique |
| Nacionalidade | alemão |
| Cidadania | Alemanha |
| Alma mater | |
| Ocupação | matemático, professor universitário |
| Empregador(a) | Universidade de Munique, Universidade de Quiel, Universidade de Marburgo |
| Orientador(a)(es/s) | David Hilbert[1] |
| Orientado(a)(s) | Wolfgang Bibel |
| Campo(s) | matemática |
| Tese | 1934: Untersuchungen zum Entscheidungsproblem der mathematischen Logik |
Publicações
- Schütte, Kurt (1977). «Proof theory». Berlin-New York: Springer-Verlag. Grundlehren der mathematischen Wissenschaften. 225: xii+299. ISBN 3-540-07911-4. MR 0505313[2]
- 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
- com Wilfried Buchholz: Proof Theory of Impredicative Subsystems of Analysis, Bibliopolis, Naples 1988
- com Helmut Schwichtenberg: Mathematische Logik, in Fischer, Hirzebruch et al. (eds.) Ein Jahrhundert Mathematik 1890-1990, Vieweg 1990
Referências
- Kurt Schütte (em inglês) no Mathematics Genealogy Project
- Feferman, Solomon (1979). «Review: Proof theory, by Kurt Schütte» (PDF) 1 ed. Bull. Amer. Math. Soc. (N.S.). 1: 224–228. doi:10.1090/s0273-0979-1979-14562-2
- Pohlers, Wolfram (2000). «In Memoriam: Kurt Schütte, 1909-1998» 1 ed. The Bulletin of Symbolic Logic. 6: 101–102
- Wilfried Buchholz, ed. (2007). «Schütte, Kurt». Neue Deutsche Biographie (NDB) (em alemão). 23. 2007. Berlim: Duncker & Humblot. pp. 653 et seq..
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.