Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Слева направо: Яннис Мощовакис , Гельмут Швихтенберг , Анне Сьерп Трёльстра , 2002 год в МФО.

Helmut Швихтенберг (родился 5 апреля 1942 [1] в Żagań ) [ править ] является немецкий математический логик .

Швихтенберг изучал математику с 1961 года в Берлинском университете и с 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. DOI : 10.1016 / j.tcs.2006.03.019 .

Ссылки [ править ]

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

Внешние ссылки [ править ]

  • Домашняя страница на Людвига Максимилиана Universität Мюнхен