Kurt Schütte
Aspeto
Kurt Schütte | |
---|---|
Kurt Schütte no Instituto de Pesquisas Matemáticas de Oberwolfach. | |
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 Luís Maximiliano 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 |
Kurt Schütte (Salzwedel, 14 de outubro de 1909 — Munique, 18 de agosto de 1998) foi um matemático alemão.
Publicações
[editar | editar código-fonte]- 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..