Дитер Рёддинг
Дитер Рёддинг | |
|---|---|
| Рожденный | 24 августа 1937 г. |
| Умер | 4 июня 1984 г. ( 46 лет Мюнстер , Германия |
| Национальность | немецкий |
| Альма-матер | Вестфальский университет Вильгельма |
| Известный | Классификация рекурсивных функций |
| Научная карьера | |
| Поля | Математическая логика ; теория моделей |
| Учреждения | Вестфальский университет Вильгельма |
| Диссертация | Репрезентативные предложения о функциях, которые являются элементарными в смысле Кальмара-Чиллага (1961) |
| Докторантура | Гисберт Хасеньягер |
| Докторанты | Эгон Бёргер , Хайнц-Дитер Эббингхаус , Хельмут Швихтенберг |
Дитер Рёддинг (24 августа 1937, Хаттинген ( Рур ) — 4 июня 1984, Мюнстер ) — немецкий математик , основным исследовательским интересом которого была математическая логика . [ 1 ]
Дитер Рёддинг родился 24 августа 1937 года в Хаттингене, Рур, Германия . В 1956 году Рёддинг начал обучение в Вестфальском университете Вильгельма в Мюнстере , Германия. В 1961 году он получил докторскую степень за диссертацию « Репрезентативные предложения об (в кальмарско-чиллагианском смысле) элементарных функциях », под руководством Гисберта Хасеньягера . [ 2 ] В 1964 году он завершил абилитацию в Мюнстере, защитив диссертацию « Теория рекурсивности в области конечных множеств конечного ранга ». В 1966 году он сменил Ганса Гермеса на посту председателя и директора Института математической логики и фундаментальных исследований Вестфальского университета Вильгельма, основанного Генрихом Шольцем в 1936 году.
Рёддинг стал известен благодаря своим результатам по классификации рекурсивных функций , по рекурсивным типам классической логики предикатов , по , Шольца проблеме спектра а также по кванторам в логике предикатов и по арифметической иерархии (также известной как теория Клини - Мостовского) . иерархия). Рёддинг был одним из первых, кто использовал машинно-ориентированную концепцию сложности для исследования рекурсивных функций и задач логического решения до того, как информатика стала академической областью.
Среди его учеников были Эгон Бёргер , Ханс Кляйне Бюнинг, Ханс Георг Карстенс, Эльмар Кохорс-Фресенборг, Хайнц-Дитер Эббингауз , Томас Оттманн, Лутц Призе и Хельмут Швихтенберг . [ 2 ]
Полный список публикаций Рёддинга можно найти в некрологе, написанном его учеником Эгоном Бёргером . [ 1 ]
Ссылки
[ редактировать ]- ^ Jump up to: а б Бёргер, Эгон (1987). «Д. Рёддинг: Некролог» (PDF) . Годовой отчет Немецкой ассоциации математиков (DMV) (на немецком языке). Том. 89, нет. 3. С. 144–148. ISSN 0012-0456 .
- ^ Jump up to: а б «Дитер Рёддинг» . Проект «Математическая генеалогия» . Проверено 7 февраля 2021 г.
Внешние ссылки
[ редактировать ]- Литература Дитера Рёдинга и о нем в каталоге Немецкой национальной библиотеки.
- Дитер Рёддинг в проекте «Математическая генеалогия»
- Фото с Генрихом Бенке (1967)
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Люди | |
| Другой | |
  | Эта немецкая биографическая статья незавершена . Вы можете помочь Википедии, расширив ее . |
 | Эта статья математике незавершена . о Вы можете помочь Википедии, расширив ее . |