Курт Шютте (14 октября 1909 г., Зальцведель - 18 августа 1998 г., Мюнхен ) был немецким математиком, который работал над теорией доказательств и порядковым анализом . Феферман-Schütte порядковый , который он показал , чтобы быть точной порядковой границей для предикативности, названо в его честь. Он был докторским советником 16 студентов, в том числе Вольфганг Бибел , Вольфганг Мааса, Wolfram Pohlers и Мартин Вирзинга .
Курт Шютте | |
---|---|
Родившийся | |
Умер | 18 августа 1998 г. | (88 лет)
Известен | Порядковый номер Фефермана – Шютте |
Научная карьера | |
Тезис | Untersuchungen zum Entscheidungsproblem der Mathematischen Logik (1934) |
Докторант | Дэвид Гильберт |
Публикации
- Шютте, Курт (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
Рекомендации
- ^ Феферман, Соломон (1979). "Обзор: Теория доказательств , Курт Шютте" (PDF) . Бык. Амер. Математика. Soc. (NS) . 1 (1): 224–228. DOI : 10,1090 / s0273-0979-1979-14562-2 .
- Pohlers, Вольфрам (2000), «In Memoriam: Kurt Schütte, 1909–1998», Бюллетень символической логики , 6 (1): 101–102, JSTOR 421083
- Вильфрид Бухгольц (2007), «Schütte, Kurt» , Neue Deutsche Biographie (на немецком языке), 23 , Берлин: Duncker & Humblot, стр. 653–654; ( полный текст онлайн )
Внешние ссылки
- Курт Шютте в проекте « Математическая генеалогия»