Arnold Oberschelp

Datei:Arnold Oberschelp.jpg

Arnold Oberschelp, Aachen 1978

Arnold Oberschelp (* 5. Februar 1932 in Recklinghausen; † 31. August 2024<ref>Traueranzeige in den Kieler Nachrichten vom 14. September 2024, abgerufen am 14. September 2024</ref>) war ein deutscher Mathematiker und Logiker. Er war ab 1968 ordentlicher Professor für Logik und Wissenschaftslehre an der Universität Kiel.

Leben

Oberschelp studierte Mathematik und Physik an den Universitäten in Göttingen und Münster. In Münster wurde er 1957 in mathematischer Logik bei Hans Hermes zum Dr. rer. nat. promoviert.<ref>Arnold Oberschelp im Mathematics Genealogy Project (englisch) Vorlage:MathGenealogyProject/Wartung/id verwendet abgerufen am 30. August 2024.</ref> 1958 war er wissenschaftlicher Assistent am Mathematischen Institut der Technischen Hochschule Hannover. 1961 habilitierte er sich für das Fach Mathematik. 1968 nahm er einen Ruf als ordentlicher Professor für Logik und Wissenschaftslehre an die Christian-Albrechts-Universität zu Kiel an. Seit 1997 war Oberschelp emeritiert.<ref>Zur Geschichte der Logik in Kiel von O. Spinas</ref>

Arnold Oberschelp entwickelte eine allgemeine Klassenlogik, in der man beliebige Klassen ohne die Widersprüche der naiven Mengenlehre bilden kann. Zusätzliche Axiome ergeben die Zermelo-Fraenkel-Mengenlehre, die in seiner klassenlogischen Darstellung aber wesentlich handlicher ist als die übliche prädikatenlogische Darstellung.<ref>Gegenüberstellung von ZFC in klassenlogischer und prädikatenlogischer Form in: Oberschelp, Allgemeine Mengenlehre, 1994, S. 261</ref>

„Eine klassenlogische Sprache entspricht der tatsächlich verwendeten mathematischen Sprache weit besser als eine prädikatenlogische Sprache.“

– Oberschelp: Allgemeine Mengenlehre, 1994, Vorwort Seite 5

1962 hielt er als invited speaker auf dem Internationalen Mathematikerkongress in Stockholm einen Vortrag über Klassen als „Urelemente“ in der Mengenlehre.

Von 1970 bis 1976 war er Vorsitzender der Deutschen Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften, in deren Vorstand er von 1965 bis 1978 war.

Arnold Oberschelp war ab 1964 mit Anneliese Arnold, geborene Eisenbach, verheiratet und lebte in Heikendorf in Holstein.

Publikationen (Auswahl)

• Untersuchungen zur mehrsortigen Quantorenlogik. In: Mathematische Annalen. Band 145, Nr. 4, 1962, S. 297–333.
• Eigentliche Klassen als Urelemente in der Mengenlehre. In: Mathematische Annalen. Band 157 (1964), S. 234–260.
• Aufbau des Zahlensystems, Vandenhoeck & Ruprecht, 1968; Neuauflagen 1972 und 1976.
• Set theory over classes. 1973.
• Elementare Logik und Mengenlehre I/II. Bibliographisches Institut, Mannheim/Wien/Zürich 1974/1978, ISBN 3-411-00408-8.
• Jürgen-Michael Glubrecht, Arnold Oberschelp, Günter Todt: Klassenlogik. Bibliographisches Institut, Mannheim/Wien/Zürich 1983, ISBN 3-411-01634-5.
• Rekursionstheorie. BI-Wiss.-Verlag, Mannheim/Leipzig/Wien/Zürich 1993, ISBN 3-411-16171-X.
• Allgemeine Mengenlehre. BI-Wiss.-Verlag, Mannheim/Leipzig/Wien/Zürich 1994, ISBN 3-411-17271-1.
• Logik für Philosophen. 2. Auflage. Metzler, Stuttgart/Weimar 1997, ISBN 3-476-01545-9.

Literatur

• Oberschelp, Arnold. In: Walter Habel (Hrsg.): Wer ist wer? Das deutsche Who’s who. 24. Ausgabe. Schmidt-Römhild, Lübeck 1985, ISBN 3-7950-2005-0, S. 908.
• Otmar Spinas: In memoriam Prof. Dr. Arnold Oberschelp (1932–2024). In: Christiana Albertina. Band 86, 2025, S. 211–212, doi:10.38072/2942-2337/p52. 

Weblinks

• Literatur von und über Arnold Oberschelp im Katalog der Deutschen Nationalbibliothek
• Professor Oberschelp an der Universität von Kiel (Memento vom 29. September 2007 im Internet Archive)
• Arnold Oberschelp im Kieler Gelehrtenverzeichnis
• Arnold Oberschelp in der Datenbank zbMATH

Einzelnachweise

<references/>