Arnold Oberschelp

Arnold Oberschelp, Aachen 1978

Arnold Oberschelp , född 5 februari 1932 i Recklinghausen , är en tysk matematiker och logiker . Han var under många år professor i logik och vetenskapsteori i Kiel .

Liv

Oberschelp studerade matematik och fysik vid universiteten i Göttingen och Münster . I Münster fick han i december 1957 sin doktorsexamen i matematisk logik under Hans Hermes . 1958 var han forskarassistent vid Mathematical Institute of Technical College of Hannover (numera Leibniz University Hannover ) där han habiliterade i matematik 1961. 1968 accepterade han en anställning som professor i logik och vetenskap vid universitetet i Kiel . Oberschelp har varit emeritusprofessor sedan 1997.

Arnold Oberschelp utvecklade en allmän klasslogik där godtyckliga klasser kan bildas utan motsättningarna i den naiva mängdteorin . Ytterligare axiom resulterar i Zermelo–Fraenkels mängdteorin , som är mycket mer praktisk i hans klasslogiska representation än i den vanliga predikatlogiska representationen.

1962 höll han en föreläsning som inbjuden talare vid International Congress of Mathematicians i Stockholm om klasser som "primala element" i mängdlära.

Från 1970 till 1976 var han ordförande i Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften , i vars styrelse han tjänstgjorde från 1965 till 1978.

I september 2019 mottog han det tyska standardiseringsinstitutets Beuth Memorial Coin som ett erkännande för sina tjänster till standardisering inom matematik och tekniska grunder.

Utvalda verk

•   Arnold Oberschelp (1964). "Eigentliche Klassen als Urelemente in der Mengenlehre" . Matematiska Annalen . 157 (3): 234–260. doi : 10.1007/BF01362438 . S2CID 122569882 .
•    Arnold Oberschelp (juni 1968). "Om Craig-Lyndon Interpolation Theorem". The Journal of Symbolic Logic . 33 (2): 271–274. doi : 10.2307/2269873 . JSTOR 2269873 . S2CID 30465874 .
• Arnold Oberschelp (1972). Aufbau des Zahlensystems . Modern Mathematik i elementarer Darstellung. Vol. 7 (andra upplagan). Göttingen: Vandenhoek+Ruprecht.
• Arnold Oberschelp (1973). Mängdlära över klasser (Dissertationes Mathematicae (Rozprawy Matematyczne)). Instytut Matematyczny Polskiej Akademii Nauk.
•   Elementare Logik und Mengenlehre I/II . Bibliographisches Institut, Mannheim/Wien/Zürich 1974/1978, ISBN 3-411-00408-8 .
•   Arnold Oberschelp (1980). "Prinzipien des Aufbaus von Syntax und Semantik formaler Sprachen". I Joachim Ballweg och Hans Glinz (red.). Grammatik und Logik — Jahrbuch 1979 des Instituts für deutsche Sprache (PDF) . Sprache der Gegenwart — Schriften des Instituts für deutsche Sprache. Vol. 50. Düsseldorf: Pädagogischer Verlag Schwann. s. 9–27. ISBN 3-590-15650-3 .
•   Jürgen-Michael Glubrecht, Arnold Oberschelp, Günter Todt: Klassenlogik . Bibliographisches Institut, Mannheim/Wien/Zürich 1983, ISBN 3-411-01634-5 .
•   Arnold Oberschelp (1993). Rekursionsteori . Mannheim: BI Wissenschaftsverlag. ISBN 978-3-411-16171-3 . — Recension:   Petr Hájek (juni 1996). "Recension". The Journal of Symbolic Logic . 61 (2): 699–701. JSTOR 2275689 .
•   Allgemeine Mengenlehre . BI-Wiss.-Verlag, Mannheim/Leipzig/Wien/Zürich 1994, ISBN 3-411-17271-1 .
•   Logik für Philosophen . 2nd ed., Metzler, Stuttgart/Weimar 1997, ISBN 3-476-01545-9 .

externa länkar

• Litteratur av och om Arnold Oberschelp i tyska nationalbibliotekets katalog
• "Professor Oberschelp an der Universität von Kiel" . Arkiverad från originalet den 29 september 2007.