Курт Шютте - Kurt Schütte

Курт Шютте
Курт Шуэтт.jpg
Родившийся(1909-10-14)14 октября 1909 г.
Зальцведель
Умер18 августа 1998 г.(1998-08-18) (88 лет)
Мюнхен
ИзвестенПорядковый номер Фефермана – Шютте
Научная карьера
ТезисUntersuchungen zum Entscheidungsproblem der Mathematischen Logik (1934)
ДокторантДэвид Гильберт

Курт Шютте (14 октября 1909 г., Зальцведель - 18 августа 1998 г., Мюнхен ) был Немецкий математик кто работал над теория доказательств и порядковый анализ. В Порядковый номер Фефермана – Шютте, который, как он показал, является точной порядковой границей предикативности, назван в его честь. Он был научный руководитель 16 студентов, в том числе Вольфганг Бибель, Вольфганг Маас, Вольфрам Полерс и Мартин Вирсинг.

Публикации

  • Шютте, Курт (1977), Теория доказательств, Grundlehren der Mathematischen Wissenschaften, 225, Берлин-Нью-Йорк: Springer-Verlag, стр. Xii + 299, ISBN  3-540-07911-4, МИСТЕР  0505313[1]
    • Beweistheorie, Springer, Grundlehren der Mathematischen Wissenschaften, 1960; новое издание пер. на английский как Теория доказательства, Springer-Verlag 1977
  • Vollständige Systeme modaler und intuitionistischer Logik, Springer 1968 г.
  • с Вильфридом Бухгольцем: Теория доказательств импредикативных подсистем анализа, Bibliopolis, Неаполь 1988 г.
  • с Гельмут Швихтенберг: Mathematische Logik, в Fischer, Hirzebruch et al. (ред.) Ein Jahrhundert Mathematik 1890-1990 гг., Vieweg 1990

Рекомендации

  1. ^ Феферман, Соломон (1979). "Рассмотрение: Теория доказательствКурта Шютте " (PDF). Бык. Амер. Математика. Soc. (Н.С.). 1 (1): 224–228. Дои:10.1090 / s0273-0979-1979-14562-2.

внешняя ссылка