Arnold Oberschelp - Arnold Oberschelp - Wikipedia

Arnold Oberschelp, Axen 1978 yil

Arnold Oberschelp (1932 yil 5-fevralda tug'ilgan) Recklinghausen ) nemis matematik va mantiqchi. U ko'p yillar davomida mantiq professori va fan nazariyasi[oydinlashtirish ] yilda Kiel.

Hayot

Oberschelp universitetlarida matematika va fizikani o'qidi Göttingen va Myunster. Münsterda u 1957 yil dekabrida matematik mantiq bo'yicha doktorlik dissertatsiyasini oldi Xans Hermes.[1][2][3][4] 1958 yilda u Gannover texnika kolleji matematik institutida ilmiy xodim (hozirda) edi Leybnits universiteti Gannover ) u 1961 yilda matematikada habilitatsiya qilgan.[1][5] 1968 yilda u mantiq va fanning to'liq professori lavozimiga qabul qilindi Kiel universiteti. Oberschelp 1997 yildan beri nomzod professor hisoblanadi.[6]

Arnold Oberschelp sodda qarama-qarshiliklarsiz o'zboshimchalik bilan sinflar tuzilishi mumkin bo'lgan umumiy sinf mantig'ini ishlab chiqdi. to'plam nazariyasi. Qo'shimcha aksiomalar natijada Zermelo-Fraenkel to'plamlari nazariyasi, bu odatdagidan ko'ra uning sinfiy-mantiqiy tasvirida ancha qulayroq mantiqiy predikat vakillik.[7]

1962 yilda u taklif etilgan ma'ruzachi sifatida ma'ruza qildi Xalqaro matematiklar kongressi Stokgolmda "nazariy elementlar" sifatida sinflar bo'yicha.

1970 yildan 1976 yilgacha u rais bo'lgan Deutsche Vereinigung für matematik Logik und für Grundlagenforschung der exakten Wissenschaften [de ],[8] u 1965 yildan 1978 yilgacha kimning taxtasida xizmat qilgan.

2019 yil sentyabr oyida u qabul qildi Germaniya standartlashtirish instituti Matematikada va texnik asoslarda standartlashtirish bo'yicha xizmatlarini e'tirof etgan Beuth Memorial Coin.[9]

Tanlangan asarlar

  • Arnold Oberschelp (1964). "Eigentliche Klassen als Urelemente in der Mengenlehre". Matematik Annalen. 157 (3): 234–260. doi:10.1007 / BF01362438. S2CID  122569882.
  • Arnold Oberschelp (1968 yil iyun). "Kreyg-Lindon interpolatsiya teoremasi to'g'risida". Symbolic Logic jurnali. 33 (2): 271–274. doi:10.2307/2269873. JSTOR  2269873.
  • Arnold Oberschelp (1972). Aufbau des Zahlensystems. Darstellung boshlang'ich sinfidagi Matematik matematikasi. 7 (2-nashr). Göttingen: Vandenxuk + Ruprext.
  • Elementare Logik und Mengenlehre I / II. Bibliografiya instituti, Mannheim / Wien / Tsyurix 1974/1978, ISBN  3-411-00408-8.
  • Arnold Oberschelp (1980). "Prinzipien des Aufbaus von Syntax und Semantik formaler Sprachen". Yoaxim Ballveg va Xans Glinz (tahrir). Grammatik und Logik - Jahrbuch 1979 des Instituts für deutsche Sprache (PDF). Sprache der Gegenwart - Schriften des Instituts für deutsche Sprache. 50. Dyusseldorf: Pädagogischer Verlag Shvann. 9-27 betlar. ISBN  3-590-15650-3.
  • Yurgen-Maykl Glubrext, Arnold Oberschelp, Gyunter Todt: Klassenologik. Bibliografiya instituti, Mannheim / Wien / Tsyurix 1983, ISBN  3-411-01634-5.
  • Arnold Oberschelp (1993). Rekursionstheorie. Manxaym: B.I. Wissenschaftsverlag. ISBN  978-3-411-16171-3.Sharh: Petr Hajek (1996 yil iyun). "Ko'rib chiqish". Symbolic Logic jurnali. 61 (2): 699–701. JSTOR  2275689.
  • Allgemeine Mengenlehre. BI-Viss.-Verlag, Manxaym / Leypsig / Vien / Tsyurix 1994, ISBN  3-411-17271-1.
  • Logik für Filosof. 2-nashr, Metzler, Shtuttgart / Veymar, 1997, ISBN  3-476-01545-9.

Adabiyotlar

  1. ^ a b Yozib olish Kiel universiteti akademik ma'lumotlar bazasida
  2. ^ Geschichte [Myunster universiteti tarixi], II qism "1945—1969", App.C "1945 yildan 1969 yilgacha bo'lgan matematik dissertatsiyalar", 322-bet
  3. ^ Dissertatsiya "Über die Axiome produktabgeschlossener arithmetischer Klassen [Mahsulotlar bilan yopiq arifmetik sinflar aksiomalari to'g'risida]"
  4. ^ Arnold Oberschelp (1958 yil yanvar). "Über die Axiome produktabgeschlossener arithmetischer Klassen". Matematik mantiq uchun arxiv. 4 (3): 95–123. doi:10.1007 / BF01973146. S2CID  119721234.Sharh: J. Vaynshteyn (1967 yil dekabr). "Ko'rib chiqish". Symbolic Logic jurnali. 32 (4): 532–533. doi:10.2307/2270214. JSTOR  2270214.
  5. ^ Habilitatsiya tezisi: Arnold Oberschelp (1962). "Untersuchungen zur mehrsortigen Quantorenlogik". Matematik Annalen. 145 (4): 297–333. doi:10.1007 / BF01396685. S2CID  123363080.Sharh: X. Arnold Shmidt (1962 yil iyun). "Ko'rib chiqish". Symbolic Logic jurnali. 27 (2): 225–226. JSTOR  2964130.
  6. ^ Kyurdagi Zur Geschichte der Logik Otmar Spinas tomonidan
  7. ^ Gegenüberstellung von ZFC in klassenlogischer und prädikatenlogischer formasi [ZFCni sinf mantig'ida predikatsion mantiq bilan taqqoslash], ichida: Oberschelp, Allgemeine Mengenlehre, 1994, p. 261
  8. ^ tarjima qilingan: Nemis matematik mantiq va aniq fanlarda asosli tadqiqotlar assotsiatsiyasi
  9. ^ Verleihung der Beuth-Denkmünze va Herrn doktor rer. nat Arnold Oberschelp (2019 yilgi fotosuratni o'z ichiga oladi)

Tashqi havolalar