Kurt Schütte - Kurt Schütte

Kurt Schütte
Kurt Schuette.jpg
narozený(1909-10-14)14. října 1909
Salzwedel
Zemřel18. srpna 1998(1998-08-18) (ve věku 88)
Mnichov
Známý jakoFeferman – Schütte pořadové číslo
Vědecká kariéra
TezeUntersuchungen zum Entscheidungsproblem der mathematischen Logik (1934)
Doktorský poradceDavid Hilbert

Kurt Schütte (14. října 1909, Salzwedel - 18. srpna 1998, Mnichov ) byl Němec matematik kdo pracoval na teorie důkazů a ordinální analýza. The Feferman – Schütte pořadové číslo, který se ukázal být přesným pořadovým číslem vázaným na predikativitu, je pojmenován po něm. Byl to on doktorský poradce 16 studentů, včetně Wolfgang Bibel, Wolfgang Maaß, Wolfram Pohlers a Martin Wirsing.

Publikace

  • Schütte, Kurt (1977), Teorie důkazůGrundlehren der Mathematischen Wissenschaften, 225, Berlín-New York: Springer-Verlag, str. Xii + 299, ISBN  3-540-07911-4, PAN  0505313[1]
    • BeweistheorieSpringer, Grundlehren der mathematischen Wissenschaften, 1960; nové vydání trans. do angličtiny jako Teorie důkazůSpringer-Verlag 1977
  • Vollständige Systeme modaler und intuitionistischer LogikSpringer 1968
  • s Wilfriedem Buchholzem: Důkazová teorie nepředvídatelných subsystémů analýzy, Bibliopolis, Neapol 1988
  • s Helmut Schwichtenberg: Mathematische Logik, Fischer, Hirzebruch et al. (eds.) Ein Jahrhundert Mathematik 1890-1990, Vieweg 1990

Reference

  1. ^ Feferman, Solomon (1979). "Posouzení: Teorie důkazů, autor: Kurt Schütte " (PDF). Býk. Amer. Matematika. Soc. (N.S.). 1 (1): 224–228. doi:10.1090 / s0273-0979-1979-14562-2.

externí odkazy