Гельмут Швихтенберг - Helmut Schwichtenberg

Слева: Яннис Мощовакис, Гельмут Швихтенберг, Энн Сьерп Трельстра, 2002 г. МФО

Гельмут Швихтенберг (родился 5 апреля 1942 г.[1] в Жагань )[нужна цитата ] немец математический логик.

Швихтенберг изучал математику с 1961 г. FU Berlin а с 1964 г. Университет Мюнстера, где он получил докторскую степень в 1968 г. Дитер Рёддинг [де ].[1][2][3] Затем он работал ассистентом, а затем профессором в Мюнстере,[нужна цитата ] а с 1978 г. - профессор математической логики в Людвиг-Максимилиан-Университет Мюнхена[1] (преемник Курт Шютте ).

Швихтенберг занимается, среди прочего, теория доказательств, теория вычислимости, лямбда-исчисление и приложения логики в Информатика. Он Он является членом Баварская Академия Наук.

Избранные публикации

  • Гельмут Швихтенберг и Курт Шютте (1990). "Математическая логика". У Герда Фишера и Фридриха Хирцебруха и Винфрида Шарлау и Вилли Торнига (ред.). Ein Jahrhundert Mathematik, 1890–1990 - Festschrift zum Jubiläum der DMV. Dokumente zur Geschichte der Mathematik (на немецком языке). 6. Брауншвейг: Vieweg. С. 717–740. ISBN  3-528-06326-2.
  • Гельмут Швихтенберг и Энн С. Трельстра (1996). Основная теория доказательств. Кембриджские трактаты в теоретической информатике. 43 (1-е изд.). Кембридж: Издательство Кембриджского университета. ISBN  0-521-57223-1. (2-е издание 2000 г .: ISBN  0-521-77911-1)
  • Гельмут Швихтенберг и Стэнли С. Вайнер (2012). Доказательства и вычисления. Кембридж: Издательство Кембриджского университета. ISBN  978-0-521-51769-0.
  • Гельмут Швихтенберг (2006). «Арифметика для вычисления за полиномиальное время». Теоретическая информатика. 357 (1–3): 202–214. Дои:10.1016 / j.tcs.2006.03.019.

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

  1. ^ а б c Юрген Эльстродт и Норберт Шмитц (апрель 2013 г.). "Ehemalige Professoren 1945–1969". Entwicklung der Mathematik an der Universität Münster (PDF) (на немецком). п. 283.
  2. ^ Гельмут Швихтенберг (1968). Eine Klassifikation der mehrfach-rekursiven Punktionen [Классификация множественных рекурсивных функций] (PDF) (Кандидатская диссертация) (на немецком языке). Universität Münster.
  3. ^ Гельмут Швихтенберг на Проект "Математическая генеалогия"

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