Jump to content

英文维基 | 中文维基 | 日文维基 | 草榴社区

Dieter Rödding

From Wikipedia, the free encyclopedia
Dieter Rödding
Born(1937-08-24)24 August 1937
Died4 June 1984(1984-06-04) (aged 46)
Münster, Germany
NationalityGerman
Alma materWestphalian Wilhelms-University
Known forClassification of recursive functions
Scientific career
FieldsMathematical logic; model theory
InstitutionsWestphalian Wilhelms-University
Thesis Darstellungssätze über die im Kalmâar-Csillag'schen Sinne elementaren Funktionen  (1961)
Doctoral advisorGisbert Hasenjaeger
Doctoral studentsEgon Börger, Heinz-Dieter Ebbinghaus, Helmut Schwichtenberg

Dieter Rödding (24 August 1937 in Hattingen (Ruhr) – 4 June 1984 in Münster) was a German mathematician whose main research interest was mathematical logic.[1]

Dieter Rödding was born on 24 August 1937 in Hattingen, Ruhr, Germany. In 1956, Rödding began his studies at the Westphalian Wilhelms-University in Münster, Germany. In 1961, he received his doctorate with the dissertation "Representative sentences about (in the Kalmár-Czillagian sense) elementary functions", supervised by Gisbert Hasenjaeger.[2] In 1964, he completed his habilitation at Münster with the thesis "Theory of recursivity over the domain of finite sets of finite rank". In 1966, he succeeded Hans Hermes as the Chair and Director of the Institute of Mathematical Logic and Fundamental Research at the Westphalian Wilhelms-University, founded by Heinrich Scholz in 1936.

Rödding became known through his results on the classification of recursive functions, on recursive types of classical predicate logic, on Scholz's spectrum problem, as well as on quantifiers in predicate logic, and on the arithmetical hierarchy (also known as the KleeneMostowski hierarchy). Rödding was one of the first to use a machine-oriented concept of complexity for the investigation of recursive functions and logical decision problems, before the establishment of computer science as an academic field.

His students included Egon Börger, Hans Kleine Büning, Hans Georg Carstens, Elmar Cohors-Fresenborg, Heinz-Dieter Ebbinghaus, Thomas Ottmann, Lutz Priese, and Helmut Schwichtenberg.[2]

A complete list of Rödding's publications can be found in an obituary written by his student Egon Börger.[1]

References

[edit]
  1. ^ a b Börger, Egon (1987). "D. Rödding: An obituary" (PDF). Annual report of the German Mathematicians Association (DMV) (in German). Vol. 89, no. 3. pp. 144–148. ISSN 0012-0456.
  2. ^ a b "Dieter Rödding". Mathematics Genealogy Project. Retrieved 7 February 2021.
[edit]