немецкий математик
Курт Шютте (14 октября 1909 – 18 августа 1998) был немецким математиком , работавшим над теорией доказательств и ординальным анализом . Ординал Фефермана–Шютте , который, как он показал, является точной ординальной границей предикативности, назван в его честь. Он был научным руководителем 16 студентов, включая Вольфганга Бибеля , Вольфганга Мааса, Вольфрама Полерса и Мартина Вирсинга .
Публикации
- Шютте, Курт (1977), Теория доказательств , Grundlehren der Mathematischen Wissenschaften, vol. 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 г.
- с Вильфридом Бухгольцем: Теория доказательств непредикативных подсистем анализа , Библиополис, Неаполь, 1988
- с Гельмутом Швихтенбергом : Mathematische Logik, в Fischer, Hirzebruch et al. (ред.) Эйн Ярхундерт Математик 1890-1990 , Vieweg 1990
Ссылки
- ^ Феферман, Соломон (1979). «Обзор: теория доказательств Курта Шютте» (PDF) . Bull. Amer. Math. Soc. (NS) . 1 (1): 224–228. doi : 10.1090/s0273-0979-1979-14562-2 .
- Полерс, Вольфрам (2000), «Памяти Курта Шютте, 1909-1998», Бюллетень символической логики , 6 (1): 101–102, JSTOR 421083
- Вильфрид Бухгольц (2007), «Шютте, Курт», Neue Deutsche Biography (на немецком языке), том. 23, Берлин: Duncker & Humblot, стр. 653–654.; (полный текст онлайн)
Внешние ссылки
