Die mathematische Logik machte durch die Entwicklung einer allgemeinen Klassenlogik, die die Bildung beliebiger Klassen ermöglicht und gleichzeitig die inhärenten Widersprüche der naiven Mengenlehre vermeidet, bedeutende Fortschritte. Arnold Oberschelp, der über vier Jahrzehnte in diesen grundlegenden Untersuchungen tätig war, entwarf diesen Rahmen, um die Zermelo-Fraenkel-Mengenlehre handhabbarer zu machen, als es herkömmliche prädikatenlogische Darstellungen erlaubten.
Akademischer Werdegang
Oberschelp wurde 1932 in Recklinghausen geboren und studierte Physik und Mathematik an den Universitäten Göttingen und Münster. Unter der Betreuung von Hans Hermes verteidigte er im Dezember 1957 erfolgreich seine Doktorarbeit in mathematischer Logik an der Universität Münster. Kurz darauf wechselte er als wissenschaftlicher Assistent an die Technische Hochschule Hannover, wo er sich 1961 habilitierte.
Beiträge zur Logik
Oberschelp war eingeladener Redner auf dem Internationalen Mathematikerkongress 1962 in Stockholm, wo er Forschungen zum Konzept der Klassen als primäre Elemente innerhalb der Mengenlehre vorstellte. 1968 nahm er einen Ruf als ordentlicher Professor für Logik und Wissenschaftstheorie an die Universität Kiel an. Diese Position behielt er bis zu seiner Emeritierung im Jahr 1997. Neben seiner Lehrtätigkeit fungierte er von 1970 bis 1976 als Vorsitzender der Deutschen Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften.
Standardisierung und Anerkennung
Sein akademisches Werk umfasst verschiedene Lehrbücher und Monographien zur Rekursionstheorie, Klassenlogik und elementaren Mengenlehre. In Anerkennung seines langfristigen Einflusses auf die technischen Grundlagen der Mathematik und seiner Beiträge zur Standardisierung verlieh ihm das Deutsche Institut für Normung im September 2019 die Beuth-Gedenkmünze. Oberschelp blieb der mathematischen Gemeinschaft in Kiel bis zu seinem Tod am 31. August 2024 in Heikendorf im Alter von 92 Jahren verbunden.
Zwanzig Fragen, acht Minuten auf der Uhr und ein Perzentil, gemessen an allen bisherigen Teilnehmern. Ohne Anmeldung.
IQ-Test starten →Fakten auf einen Blick
- Geboren: 1932, Recklinghausen - Gestorben: 2024, Heikendorf - Fachgebiet: Logik und Grundlagen - Doktorvater: Hans Hermes - Hauptarbeitgeber: Universität Kiel - Auszeichnung: Beuth-Gedenkmünze (2019)
Häufig gestellte Fragen
### Was war der Schwerpunkt von Oberschelps Forschung?
Er konzentrierte sich auf mathematische Logik, insbesondere auf die Entwicklung einer allgemeinen Klassenlogik zur Überwindung von Widersprüchen in der naiven Mengenlehre.
### Wo verbrachte er den Großteil seiner akademischen Laufbahn?
Er war von 1968 bis zu seiner Pensionierung 1997 als Professor für Logik und Wissenschaftstheorie an der Universität Kiel tätig.
