Дитер Рёддинг (24 августа 1937 года в Хаттингене ( Рур ) — 4 июня 1984 года в Мюнстере ) — немецкий математик , основным научным интересом которого была математическая логика . [1]
Дитер Рёддинг родился 24 августа 1937 года в Хаттингене, Рур, Германия . В 1956 году Рёддинг начал обучение в Вестфальском университете имени Вильгельма в Мюнстере , Германия. В 1961 году он получил докторскую степень, защитив диссертацию « Представительные предложения об элементарных функциях (в смысле Кальмара-Чиллага) » под руководством Гисберта Хазенйегера . [2] В 1964 году он завершил свою хабилитацию в Мюнстере, защитив диссертацию « Теория рекурсивности над областью конечных множеств конечного ранга ». В 1966 году он сменил Ганса Гермеса на посту председателя и директора Института математической логики и фундаментальных исследований в Вестфальском университете имени Вильгельма, основанного Генрихом Шольцем в 1936 году.
Реддинг стал известен благодаря своим результатам по классификации рекурсивных функций , рекурсивным типам классической логики предикатов , проблеме спектра Шольца , а также квантификаторам в логике предикатов и арифметической иерархии (также известной как иерархия Клини - Мостовского ). Реддинг был одним из первых, кто использовал машинно-ориентированную концепцию сложности для исследования рекурсивных функций и логических задач принятия решений , до того, как информатика стала академической областью.
Среди его учеников были Эгон Бёргер , Ханс Кляйне Бюнинг, Ханс Георг Карстенс, Эльмар Кохорс-Фресенборг, Хайнц-Дитер Эббингауз , Томас Оттманн, Лутц Призе и Хельмут Швихтенберг . [2]
Полный список публикаций Реддинга можно найти в некрологе, написанном его учеником Эгоном Бёргером . [1]