Arnold Oberschelp - Arnold Oberschelp - Wikipedia

Arnold Oberschelp, Cáchy 1978

Arnold Oberschelp (narozen 5. února 1932 v Recklinghausen ) je Němec matematik a logik. Byl mnoho let profesorem logiky a teorie vědy[vyjasnit ] v Kiel.

Život

Oberschelp studoval matematiku a fyziku na univerzitách v Göttingen a Münster. V Münsteru získal v prosinci 1957 doktorát z matematické logiky pod Hans Hermes.[1][2][3][4] V roce 1958 působil jako vědecký pracovník na Matematickém ústavu Technické vysoké školy v Hannoveru (nyní Leibniz University Hannover ) kde se v roce 1961 habilitoval v matematice.[1][5] V roce 1968 přijal jmenování řádným profesorem logiky a vědy na University of Kiel. Oberschelp je emeritním profesorem od roku 1997.[6]

Arnold Oberschelp vyvinul obecnou třídní logiku, ve které lze utvářet libovolné třídy bez rozporů naivních teorie množin. Další axiomy vedou k Teorie množin Zermelo – Fraenkel, což je mnohem užitečnější v jeho třídně logickém vyjádření než obvykle predikát logický zastoupení.[7]

V roce 1962 přednášel jako pozvaný řečník na VŠE Mezinárodní kongres matematiků ve Stockholmu o třídách jako „prvotních prvcích“ v teorii množin.

V letech 1970 až 1976 byl předsedou Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften [de ],[8] na jehož palubě působil v letech 1965 až 1978.

V září 2019 obdržel Německý institut pro normalizaci Beuth Memorial Coin jako uznání za jeho zásluhy o standardizaci v matematice a technických základech.[9]

Vybraná díla

  • Arnold Oberschelp (1964). „Eigentliche Klassen als Urelemente in der Mengenlehre“. Mathematische Annalen. 157 (3): 234–260. doi:10.1007 / BF01362438. S2CID  122569882.
  • Arnold Oberschelp (červen 1968). „K teorému o interpolaci Craig-Lyndon“. The Journal of Symbolic Logic. 33 (2): 271–274. doi:10.2307/2269873. JSTOR  2269873.
  • Arnold Oberschelp (1972). Aufbau des Zahlensystems. Moderne Mathematik v elementárním Darstellungu. 7 (2. vyd.). Göttingen: Vandenhoek + Ruprecht.
  • 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“. V Joachim Ballweg a Hans Glinz (ed.). Grammatik und Logik - Jahrbuch 1979 des Instituts für deutsche Sprache (PDF). Sprache der Gegenwart - Schriften des Instituts für deutsche Sprache. 50. Düsseldorf: Pädagogischer Verlag Schwann. str. 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). Rekursionstheorie. Mannheim: B.I. Wissenschaftsverlag. ISBN  978-3-411-16171-3. — Posouzení: Petr Hájek (červen 1996). "Posouzení". 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. 2. vydání, Metzler, Stuttgart / Weimar 1997, ISBN  3-476-01545-9.

Reference

  1. ^ A b Záznam v akademické databázi univerzity v Kielu
  2. ^ Geschichte [Historie univerzity v Münsteru], část II „1945—1969“, App.C "Matematické disertační práce od roku 1945 do roku 1969", str. 322
  3. ^ Dizertační práce „Über die Axiome produktabgeschlossener arithmetischer Klassen [O axiomech aritmetických tříd uzavřených produktem]“
  4. ^ Arnold Oberschelp (leden 1958). „Über die Axiome produktabgeschlossener arithmetischer Klassen“. Archiv pro matematickou logiku. 4 (3): 95–123. doi:10.1007 / BF01973146. S2CID  119721234. — Posouzení: J. Weinstein (prosinec 1967). "Posouzení". The Journal of Symbolic Logic. 32 (4): 532–533. doi:10.2307/2270214. JSTOR  2270214.
  5. ^ Habilitační práce: Arnold Oberschelp (1962). „Untersuchungen zur mehrsortigen Quantorenlogik“. Mathematische Annalen. 145 (4): 297–333. doi:10.1007 / BF01396685. S2CID  123363080. — Posouzení: H. Arnold Schmidt (červen 1962). "Posouzení". The Journal of Symbolic Logic. 27 (2): 225–226. JSTOR  2964130.
  6. ^ Zur Geschichte der Logik v Kielu Otmar Spinas
  7. ^ 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, str. 261
  8. ^ přeloženo: Německá asociace pro matematickou logiku a základní výzkum v exaktních vědách
  9. ^ Verleihung der Beuth-Denkmünze a Herrn Dr. rer. nat. Arnold Oberschelp (zahrnuje fotografii z roku 2019)

externí odkazy