Арнольд Обершельп - Arnold Oberschelp

Арнольд Обершельп, Ахен, 1978

Арнольд Обершельп (родился 5 февраля 1932 г. в г. Recklinghausen ) немец математик и логик. Он много лет был профессором логики и теория науки[уточнить ] в Киль.

Жизнь

Обершелп изучал математику и физику в университетах Гёттинген и Мюнстер. В Мюнстере он получил в декабре 1957 г. докторскую степень по математической логике под эгидой Ганс Гермес.[1][2][3][4] В 1958 году он был научным сотрудником Математического института Технического колледжа Ганновера (ныне Университет Лейбница в Ганновере ) где он получил степень по математике в 1961 году.[1][5] В 1968 году он принял назначение профессором логики и естественных наук в Кильский университет. Обершельп является почетным профессором с 1997 года.[6]

Арнольд Обершельп разработал общую логику классов, в которой произвольные классы могут формироваться без противоречий наивного теория множеств. Дополнительные аксиомы приводят к Теория множеств Цермело – Френкеля, что гораздо удобнее в его классово-логическом представлении, чем в обычном логический предикат представление.[7]

В 1962 году он прочитал лекцию в качестве приглашенного докладчика на Международный конгресс математиков в Стокгольме о классах как «примитивных элементах» теории множеств.

С 1970 по 1976 год он был председателем Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der exakten Wissenschaften [де ],[8] в чьем правлении служил с 1965 по 1978 год.

В сентябре 2019 года он получил Немецкий институт стандартизации монета Beuth Memorial Coin в знак признания его заслуг в области стандартизации математики и технических основ.[9]

Избранные работы

  • Арнольд Обершельп (1964). "Eigentliche Klassen als Urelemente in der Mengenlehre". Mathematische Annalen. 157 (3): 234–260. Дои:10.1007 / BF01362438. S2CID  122569882.
  • Арнольд Обершельп (июнь 1968 г.). "Об интерполяционной теореме Крейга-Линдона". Журнал символической логики. 33 (2): 271–274. Дои:10.2307/2269873. JSTOR  2269873.
  • Арнольд Обершельп (1972). Aufbau des Zahlensystems. Moderne Mathematik в elementarer Darstellung. 7 (2-е изд.). Геттинген: Ванденхук + Рупрехт.
  • Elementare Logik und Mengenlehre I / II. Bibliographisches Institut, Мангейм / Вена / Цюрих 1974/1978, ISBN  3-411-00408-8.
  • Арнольд Обершельп (1980). "Prinzipien des Aufbaus von Syntax und Semantik formaler Sprachen". В Иоахиме Бальвеге и Гансе Глинце (ред.). Grammatik und Logik - Jahrbuch 1979 des Instituts für deutsche Sprache (PDF). Sprache der Gegenwart - Schriften des Instituts für deutsche Sprache. 50. Дюссельдорф: Pädagogischer Verlag Schwann. С. 9–27. ISBN  3-590-15650-3.
  • Юрген-Михаэль Глубрехт, Арнольд Обершельп, Гюнтер Тодт: Классенлогик. Bibliographisches Institut, Мангейм / Вена / Цюрих, 1983 г., ISBN  3-411-01634-5.
  • Арнольд Обершельп (1993). Рекурсия. Мангейм: B.I. Wissenschaftsverlag. ISBN  978-3-411-16171-3.Рассмотрение: Петр Гайек (июнь 1996 г.). "Рассмотрение". Журнал символической логики. 61 (2): 699–701. JSTOR  2275689.
  • Allgemeine Mengenlehre. BI-Wiss.-Verlag, Мангейм / Лейпциг / Вена / Цюрих 1994, ISBN  3-411-17271-1.
  • Logik für Philosophen. 2-е изд., Метцлер, Штутгарт / Веймар 1997, ISBN  3-476-01545-9.

Рекомендации

  1. ^ а б Записывать в академической базе данных Кильского университета
  2. ^ Geschichte [История Мюнстерского университета], Часть II «1945-1969», Прилож.C «Математические диссертации 1945-1969 гг.», стр.322
  3. ^ Диссертация "Об аксиомах классов арифметики, замкнутых по произведениям". "Убер die Axiome produktabgeschlossener arithmetischer Klassen"
  4. ^ Арнольд Обершельп (январь 1958 г.). "Über die Axiome produktabgeschlossener arithmetischer Klassen". Архив по математической логике. 4 (3): 95–123. Дои:10.1007 / BF01973146. S2CID  119721234.Рассмотрение: Дж. Вайнштейн (декабрь 1967 г.). "Рассмотрение". Журнал символической логики. 32 (4): 532–533. Дои:10.2307/2270214. JSTOR  2270214.
  5. ^ Дипломная работа: Арнольд Обершельп (1962). "Untersuchungen zur mehrsortigen Quantorenlogik". Mathematische Annalen. 145 (4): 297–333. Дои:10.1007 / BF01396685. S2CID  123363080.Рассмотрение: Х. Арнольд Шмидт (июнь 1962 г.). "Рассмотрение". Журнал символической логики. 27 (2): 225–226. JSTOR  2964130.
  6. ^ Zur Geschichte der Logik в Киле Отмар Спинас
  7. ^ Gegenüberstellung von ZFC в klassenlogischer und prädikatenlogischer Form [Сравнение ZFC в классовой логике с формой логики предикатов], в: Oberschelp, Allgemeine Mengenlehre, 1994, p. 261
  8. ^ переведено: Немецкая ассоциация математической логики и фундаментальных исследований в области точных наук
  9. ^ Verleihung der Beuth-Denkmünze an Herrn Dr. rer. физ. Арнольд Обершельп (включает фото 2019 г.)

внешняя ссылка