Хельмут Швихтенберг
Появление
Хельмут Швихтенберг | |
---|---|
Рожденный | 5 апреля 1942 г. |
Альма-матер | Свободный университет Берлина , Мюнстерский университет |
Научная карьера | |
Поля | Логика , Теория доказательств , Математика |
Учреждения | Мюнхенский университет Людвига-Максимилиана |
Тезис | Классификация множественных рекурсивных функций |
Докторантура | Дитер Рёддинг |
Хельмут Швихтенберг (родился 5 апреля 1942 г. [1] в Жагани [2] ) — немецкий математический логик .
Швихтенберг изучал математику с 1961 года в Свободном университете Берлина и с 1964 года в Мюнстерском университете , где в 1968 году получил докторскую степень у Дитера Рёддинга . [1] [3] [4] Затем он работал ассистентом, а затем профессором в Мюнстере. [5] а с 1978 года — профессор математической логики в Мюнхенском университете Людвига-Максимилиана. [1] (преемник Курта Шютте ).
Швихтенберг занимается, среди прочего, теорией доказательств , теорией вычислимости , лямбда-исчислением и приложениями логики в информатике . Он является членом Баварской академии наук . [5]
Избранные публикации [ править ]
- Хельмут Швихтенберг и Курт Шютте (1990). «Математическая логика». В Герде Фишере, Фридрихе Хирцебрухе, Винфриде Шарлау и Вилли Тёрниге (ред.). Век математики, 1890–1990 — памятное издание к юбилею DMV . Документы по истории математики (на немецком языке). Том 6. Брауншвейг: Просмотрег. стр. 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 .
Ссылки [ править ]
- ^ Перейти обратно: а б с Юрген Эльстродт и Норберт Шмитц (апрель 2013 г.). «Бывшие профессора 1945–1969». Развитие математики в Мюнстерском университете (PDF) (на немецком языке). п. 283.
- ^ Ульрих Бергер, Ханнес Динер, Петер Шустер и Моника Зайзенбергер (2012). "Предисловие". Логика, Построение, Вычисление . стр. 2–4. дои : 10.1515/9783110324921.2 . ISBN 978-3-11-032453-2 .
{{cite book}}
: CS1 maint: несколько имен: список авторов ( ссылка ) - ^ Хельмут Швихтенберг (1968). Классификация множественных рекурсивных функций ) ( PDF ( кандидатская диссертация) (на немецком языке). Университет Мюнстера. S2CID 17197421 . Архивировано из оригинала (PDF) 31 октября 2019 года.
- ^ Хельмут Швихтенберг в проекте «Математическая генеалогия»
- ^ Перейти обратно: а б Фрич, Рудольф; Хаубер, Рудольф, ред. (2000). «Профессор доктор Гельмут Швихтенберг» . 25 лет математическому факультету Математического института 1971–1996: Юбилейное памятное издание Математического института Мюнхенского университета Людвига-Максимилиана . ЛМУ Мюнхен . Проверено 22 мая 2024 г.
Внешние ссылки [ править ]
- Домашняя страница Мюнхенского университета Людвига-Максимилиана