Dieter Rödding (24 de agosto de 1937 en Hattingen ( Ruhr ) - 4 de junio de 1984 en Münster ) fue un matemático alemán cuyo principal interés de investigación fue la lógica matemática . [1]
Dieter Rödding nació el 24 de agosto de 1937 en Hattingen, Ruhr, Alemania . En 1956, Rödding comenzó sus estudios en la Universidad Wilhelms de Westfalia en Münster , Alemania. En 1961, recibió su doctorado con la disertación " Oraciones representativas sobre funciones elementales (en el sentido de Kalmár-Czillagian) ", supervisada por Gisbert Hasenjaeger . [2] En 1964, completó su habilitación en Münster con la tesis " Teoría de la recursividad sobre el dominio de conjuntos finitos de rango finito ". En 1966, sucedió a Hans Hermes como presidente y director del Instituto de Lógica Matemática e Investigación Fundamental en la Universidad Wilhelms de Westfalia, fundada por Heinrich Scholz en 1936.
Rödding se hizo conocido por sus resultados sobre la clasificación de funciones recursivas , sobre los tipos recursivos de la lógica de predicados clásica , sobre el problema del espectro de Scholz , así como sobre los cuantificadores en la lógica de predicados y sobre la jerarquía aritmética (también conocida como la jerarquía de Kleene - Mostowski ). Rödding fue uno de los primeros en utilizar un concepto de complejidad orientado a máquinas para la investigación de funciones recursivas y problemas de decisión lógica , antes del establecimiento de la informática como campo académico.
Entre sus alumnos se encontraban Egon Börger , Hans Kleine Büning, Hans Georg Carstens, Elmar Cohors-Fresenborg, Heinz-Dieter Ebbinghaus , Thomas Ottmann, Lutz Priese y Helmut Schwichtenberg . [2]
Una lista completa de las publicaciones de Rödding se puede encontrar en un obituario escrito por su alumno Egon Börger . [1]