Arnold Oberschelp
| Arnold Oberschelp | ||
|---|---|---|
 | ||
| Persoonlijke gegevens | ||
| Geboortedatum | 5 februari 1932 | |
| Geboorteplaats | Recklinghausen | |
| Overlijdensdatum | 31 augustus 2024 | |
| Overlijdensplaats | Heikendorf | |
| Beroep | wiskundige, academisch docent | |
| Academische achtergrond | ||
| Alma mater | Georg-August-Universität Göttingen, Universiteit van Münster[1] | |
| Promotor(s) | Hans Hermes[1] | |
Arnold Oberschelp (Recklinghausen, 1932 – 31 augustus 2024) was een Duitse wiskundige en logicus, die sinds 1968 hoogleraar in de logica en de wetenschapsleer in Kiel is.
Oberschelp studeerde wiskunde en natuurkunde aan de universiteiten van Göttingen en Munster. In Munster behaalde hij zijn doctoraat in de wiskundige logica. In 1958 was hij wetenschappelijk medewerker aan het Mathematisch Instituut van de Leibniz-Universiteit Hannover. In 1961 promoveerde hij met een dissertatie in de wiskunde. In 1968 accepteerde hij een aanstelling tot gewoon hoogleraar in de logica en wetenschapsleer aan de Universiteit van Kiel.
Arnold Oberschelp ontwikkelde een algemene klassenlogica, waarin men tegenspraakvrij willekeurige klassen kan vormen zonder dat men de gebruikelijke verzamelingenleeraxioma's vooronderstelt. Aanvullende axioma's leiden tot de Zermelo-Fraenkel-verzamelingenleer, die in zijn klassenlogische weergave echter wezenlijk comfortabeler is als de gebruikelijke predicatenlogische weergave.
Oberschelp overleed op 31 augustus 2024 92-jarige leeftijd.[2]
Literatuur
- (en) Set Theory over Classes (Verzamelingenleer over klassen). (Dissertation). Kiel 1973.
- (de) Elementare Logik und Mengenlehre I/II (Elementaire logica en verzamelingenleer I/II). Bibliographisches Institut, Mannheim/Wien/Zürich 1978, ISBN 3-411-00408-8.
- (de) Jürgen-Michael Glubrecht, Arnold Oberschelp, Günter Todt: Klassenlogik (Klassenlogica). Bibliographisches Institut, Mannheim/Wien/Zürich 1983, ISBN 3-411-01634-5.
- (de) Allgemeine Mengenlehre (Algemene verzamelingenleer). BI-Wiss.-Verl., Mannheim/Leipzig/Wien/Zürich 1994, ISBN 3-411-17271-1.
- (de) Logik für Philosophen (Logica voor filosofen). 2. Auflage. Metzler, Stuttgart/Weimar 1997, ISBN 3-476-01545-9 .