Курт Шютте

Курт Шютте
( Коллекция фотографий Обервольфаха )
Рожденный	( 1909-10-14 ) 14 октября 1909 г. Зальцведель
Умер	18 августа 1998 г. (18 августа 1998 г.) (88 лет) Мюнхен
Известный	Порядковый номер Фефермана – Шхютте
Научная карьера
Диссертация	Исследования проблемы решения математической логики   (1934 г.)
Докторантура	Дэвид Хилберт

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

Публикации

• Шютте, Курт (1977), Теория доказательств , Основы математических наук, том. 225, Берлин-Нью-Йорк: Springer-Verlag, стр. xii+299, ISBN.  3-540-07911-4 , МР   0505313
  • Теория доказательств , Спрингер, Основы математических наук, 1960; новое издание пер. на английский как теория доказательств , Springer-Verlag, 1977 г.
• Полные системы модальной и интуиционистской логики , Springer 1968.
• с Вильфридом Бухгольцем: Теория доказательств импредикативных подсистем анализа , Библиополис, Неаполь, 1988 г.
• с Гельмутом Швихтенбергом : Математическая логика , Фишер, Хирцебрух и др. (ред.) Век математики 1890-1990 гг. , Vieweg 1990 г.

Ссылки

• Полерс, Вольфрам (2000), «Памяти Курта Шютте, 1909–1998», Бюллетень символической логики , 6 (1): 101–102, JSTOR   421083
• Вильфрид Бухгольц (2007), «Шютте, Курт» , Новая немецкая биография (на немецком языке), том. 23, Берлин: Duncker & Humblot, стр. 653–654 ; ( полный текст онлайн )

Внешние ссылки

• Курт Шютте в проекте «Математическая генеалогия»