Arnold Oberschelp Explained
Arnold Oberschelp (born 5 February 1932 in Recklinghausen) is a German mathematician and logician. He was for many years professor of logic and in Kiel.
Life
Oberschelp studied mathematics and physics at the universities of Göttingen and Münster. In Münster he received in December 1957 his doctorate in mathematical logic under Hans Hermes.[1] [2] [3] [4] In 1958 he was a research assistant at the Mathematical Institute of the Technical College of Hannover (now Leibniz University Hannover) where he habilitated in mathematics in 1961.[1] [5] In 1968, he accepted an appointment as full professor of logic and science at the University of Kiel. Oberschelp has been emeritus professor since 1997.[6]
Arnold Oberschelp developed a general class logic in which arbitrary classes can be formed without the contradictions of naive set theory. Additional axioms result in the Zermelo–Fraenkel set theory, which is much more handy in his class-logical representation than in the usual predicate logical representation.[7]
In 1962 he gave a lecture as an invited speaker at the International Congress of Mathematicians in Stockholm on classes as "primal elements" in set theory.
From 1970 to 1976 he was chairman of the,[8] on whose board he served from 1965 to 1978.
In September 2019, he received the German Institute for Standardization's Beuth Memorial Coin in recognition of his services to standardization in mathematics and technical foundations.[9]
Selected works
- Eigentliche Klassen als Urelemente in der Mengenlehre . Arnold Oberschelp . Mathematische Annalen . 157 . 3 . 234 - 260 . 1964 . 10.1007/BF01362438 . 122569882 .
- 2269873 . Arnold Oberschelp . On the Craig-Lyndon Interpolation Theorem . The Journal of Symbolic Logic . 33 . 2 . 271 - 274 . Jun 1968 . 10.2307/2269873. 30465874 .
- Book: Arnold Oberschelp . Aufbau des Zahlensystems . Göttingen . Vandenhoek+Ruprecht . Moderne Mathematik in elementarer Darstellung . 7 . 2nd . 1972 .
- Set Theory over Classes . Arnold Oberschelp . Arnold Oberschelp . Instytut Matematyczny Polskiej Akademii Nauk . Dissertationes Mathematicae (Rozprawy Matematyczne) . 106 . 1973 .
- Elementare Logik und Mengenlehre I/II. Bibliographisches Institut, Mannheim/Wien/Zürich 1974/1978, .
- Book: Arnold Oberschelp . Prinzipien des Aufbaus von Syntax und Semantik formaler Sprachen . 9 - 27 . Grammatik und Logik - Jahrbuch 1979 des Instituts für deutsche Sprache . 3-590-15650-3 . Joachim Ballweg and Hans Glinz . Düsseldorf . Pädagogischer Verlag Schwann . Sprache der Gegenwart - Schriften des Instituts für deutsche Sprache . 50 . 1980 .
- Jürgen-Michael Glubrecht, Arnold Oberschelp, Günter Todt: Klassenlogik. Bibliographisches Institut, Mannheim/Wien/Zürich 1983, .
- Book: Arnold Oberschelp . Rekursionstheorie . Mannheim . B.I. Wissenschaftsverlag . 1993 . 978-3-411-16171-3 . - Review: 2275689 . Petr Hájek . Review . The Journal of Symbolic Logic . 61 . 2 . 699–701 . Jun 1996 .
- Allgemeine Mengenlehre. BI-Wiss.-Verlag, Mannheim/Leipzig/Wien/Zürich 1994, .
- Logik für Philosophen. 2nd ed., Metzler, Stuttgart/Weimar 1997, .
External links
Notes and References
- https://cau.gelehrtenverzeichnis.de/person/81409b58-08f7-3851-d2dc-4d4c60bf1dfb Record
- https://www.uni-muenster.de/FB10/historie Geschichte
- Dissertation "Über die Axiome produktabgeschlossener arithmetischer Klassen [On the axioms of product-closed arithmetic classes]"
- Über die Axiome produktabgeschlossener arithmetischer Klassen . Arnold Oberschelp . Archive for Mathematical Logic . 4 . 3 . 95 - 123 . Jan 1958 . 10.1007/BF01973146 . 119721234 . - Review: 2270214 . J. Weinstein . Review . The Journal of Symbolic Logic . 32 . 4 . 532 - 533 . Dec 1967 . 10.2307/2270214 . 118127906 .
- Habilitation thesis: Untersuchungen zur mehrsortigen Quantorenlogik . Arnold Oberschelp . . 145 . 4 . 297 - 333 . 1962 . 10.1007/BF01396685 . 123363080 . - Review: 2964130 . H. Arnold Schmidt . Review . The Journal of Symbolic Logic . 27 . 2 . 225–226 . Jun 1962 .
- Zur Geschichte der Logik in Kiel by Otmar Spinas
- Gegenüberstellung von ZFC in klassenlogischer und prädikatenlogischer Form [Comparison of ZFC in class logic vs. predicate logic form], in: Oberschelp, Allgemeine Mengenlehre, 1994, p. 261
- translated: German Association for Mathematical Logic and Foundational Research in the Exact Sciences
- https://www.din.de/de/din-und-seine-partner/din-e-v/ehrungen/verleihung-der-beuth-denkmuenze-an-herrn-dr-rer-nat-arnold-oberschelp-655962 Verleihung der Beuth-Denkmünze an Herrn Dr. rer. nat. Arnold Oberschelp