Арнольд Обершельп - Arnold Oberschelp
Арнольд Обершельп (родился 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.
Рекомендации
- ^ а б Записывать в академической базе данных Кильского университета
- ^ Geschichte [История Мюнстерского университета], Часть II «1945-1969», Прилож.C «Математические диссертации 1945-1969 гг.», стр.322
- ^ Диссертация "Об аксиомах классов арифметики, замкнутых по произведениям". "Убер die Axiome produktabgeschlossener arithmetischer Klassen"
- ^ Арнольд Обершельп (январь 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.
- ^ Дипломная работа: Арнольд Обершельп (1962). "Untersuchungen zur mehrsortigen Quantorenlogik". Mathematische Annalen. 145 (4): 297–333. Дои:10.1007 / BF01396685. S2CID 123363080. — Рассмотрение: Х. Арнольд Шмидт (июнь 1962 г.). "Рассмотрение". Журнал символической логики. 27 (2): 225–226. JSTOR 2964130.
- ^ Zur Geschichte der Logik в Киле Отмар Спинас
- ^ Gegenüberstellung von ZFC в klassenlogischer und prädikatenlogischer Form [Сравнение ZFC в классовой логике с формой логики предикатов], в: Oberschelp, Allgemeine Mengenlehre, 1994, p. 261
- ^ переведено: Немецкая ассоциация математической логики и фундаментальных исследований в области точных наук
- ^ Verleihung der Beuth-Denkmünze an Herrn Dr. rer. физ. Арнольд Обершельп (включает фото 2019 г.)
внешняя ссылка
- Литература Арнольда Обершельпа и о нем в Немецкая национальная библиотека каталог
- "Профессор Обершельп-ан-дер-Кильский университет". Архивировано из оригинал 29 сентября 2007 г.
Эта статья о математике заглушка. Вы можете помочь Википедии расширяя это. |