Kurt Schütte

Kurt Schütte
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	Universidade de Göttingen
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
[edite no Wikidata]

Kurt Schütte (Salzwedel, 14 de outubro de 1909 — Munique, 18 de agosto de 1998) foi um matemático alemão.

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

1. Kurt Schütte (em inglês) no Mathematics Genealogy Project
2. 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..

Este artigo sobre um(a) matemático(a) é um esboço. Você pode ajudar a Wikipédia expandindo-o. v d e