Mathematical logic advanced significantly through the development of a general class logic that permits the formation of arbitrary classes while avoiding the inherent contradictions found within naive set theory. Arnold Oberschelp, a scholar active in these foundational inquiries for over four decades, designed this framework to make Zermelo–Fraenkel set theory more manageable than traditional predicate logical representations allowed.
Academic Foundation
Born in Recklinghausen in 1932, Oberschelp pursued his studies in both physics and mathematics at the universities of Göttingen and Münster. Under the supervision of Hans Hermes, he successfully defended his doctoral thesis in mathematical logic at the University of Münster in December 1957. Shortly thereafter, he transitioned to the Technical College of Hannover to serve as a research assistant, where he completed his habilitation in 1961.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →Contributions to Logic
Oberschelp held a position as an invited speaker at the 1962 International Congress of Mathematicians in Stockholm, where he presented research on the concept of classes as primal elements within set theory. In 1968, he accepted an appointment as a full professor of logic and science at Kiel University. He maintained this faculty role until transitioning to emeritus status in 1997. Beyond his classroom duties, he served as the chairman of the Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften from 1970 to 1976.
Standardization and Recognition
His academic output included various textbooks and monographs on recursion theory, class logic, and elementary set theory. In recognition of his long-term impact on the technical foundations of mathematics and his contributions to the field of standardization, the German Institute for Standardization awarded him the Beuth Memorial Coin in September 2019. Oberschelp continued his association with the mathematical community in Kiel until his death in Heikendorf on 31 August 2024 at the age of 92.
Fast facts
- Born: 1932, Recklinghausen
- Died: 2024, Heikendorf
- Field: Logic and Foundations
- Doctoral Advisor: Hans Hermes
- Primary Employer: Kiel University
- Award: Beuth Memorial Coin (2019)
Questions readers ask
What was the main focus of Oberschelp's research?
He focused on mathematical logic, specifically developing a general class logic to overcome contradictions in naive set theory.
Where did he spend the majority of his academic career?
He served as a professor of logic and science at Kiel University from 1968 until his retirement in 1997.
Achievements
- Held posts at Kiel University
