Хельмут Швихтенберг

немецкий математик и логик

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

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

Швихтенберг изучал математику с 1961 года в Свободном университете Берлина и с 1964 года в университете Мюнстера , где в 1968 году он получил докторскую степень от Дитера Реддинга . ^{[2] [3] [4]} Затем он работал ассистентом, а затем профессором в Мюнстере, ^[5] а с 1978 года является профессором математической логики в Мюнхенском университете Людвига-Максимилиана ^[2] (преемник Курта Шютте ).

Швихтенберг занимается, среди прочего, теорией доказательств , теорией вычислимости , лямбда-исчислением и приложениями логики в информатике . Он является членом Баварской академии наук . ^[5]

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

• Хельмут Швихтенберг и Курт Шютте (1990). «Математическая логика». В Герде Фишере, Фридрихе Хирцебрухе, Винфриде Шарлау и Вилли Тёрниге (ред.). Ein Jahrhundert Mathematik, 1890–1990 – Festschrift zum Jubiläum der DMV . Dokumente zur Geschichte der Mathematik (на немецком языке). Том. 6. Брауншвейг: Просмотрег. стр. 717–740. ISBN 3-528-06326-2.

• Helmut Schwichtenberg и Anne S. Troelstra (1996). Basic Proof Theory . Cambridge Tracts in Theoretical Computer Science. Vol. 43 (1-е изд.). Cambridge: Cambridge University Press. 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. Ульрих Бергер, Ханнес Динер, Питер Шустер и Моника Зайзенбергер (2012). "Предисловие". Логика, Построение, Вычисление. стр. 2–4. дои : 10.1515/9783110324921.2. ISBN 978-3-11-032453-2.{{cite book}}: CS1 maint: несколько имен: список авторов ( ссылка )
2. Юрген Эльстродт и Норберт Шмитц (апрель 2013 г.). «Эхемалиге Профессорен 1945–1969». Entwicklung der Mathematik an der Universität Münster (PDF) (на немецком языке). п. 283.
3. Гельмут Швихтенберг (1968). Eine Klassifikation der mehrfach-rekursiven Punktionen [ Классификация множественных рекурсивных функций ] (PDF) (кандидатская диссертация) (на немецком языке). Университет Мюнстера. S2CID  17197421. Архивировано из оригинала (PDF) 31 октября 2019 года.
4. Хельмут Швихтенберг в проекте «Генеалогия математики»
5. Фрич, Рудольф; Хаубер, Рудольф, ред. (2000). «Профессор доктор Гельмут Швихтенберг». 25 Jahre Fakultät für Mathematik Das Mathematische Institut 1971–1996: Jubiläumsfestschrift des Mathematischen Instituts der Ludwig-Maximilians-Universität München . ЛМУ Мюнхен . Проверено 22 мая 2024 г.

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

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