Saltar para o conteúdo

Kurt Schütte

Origem: Wikipédia, a enciclopédia livre.
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
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 1909Munique, 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

Ícone de esboço Este artigo sobre um(a) matemático(a) é um esboço. Você pode ajudar a Wikipédia expandindo-o.