Арнольд Обершельп (родился 5 февраля 1932 года в Реклингхаузене ) - немецкий математик и логик . Он много лет был профессором логики и теории естествознания [ пояснить ] в Киле .
Жизнь
Обершельп изучал математику и физику в университетах Геттингена и Мюнстера . В Мюнстере он получил в декабре 1957 года докторскую степень по математической логике под руководством Ганса Гермеса . [1] [2] [3] [4] В 1958 году он был научным сотрудником Математического института Технического колледжа Ганновера (ныне Ганноверский университет имени Лейбница ), где в 1961 году получил степень бакалавра по математике. [1] [5] In В 1968 году он принял назначение профессором логики и естественных наук в Кильском университете . Обершельп является почетным профессором с 1997 года. [6]
Арнольд Обершельп разработал общую логику классов, в которой произвольные классы могут быть сформированы без противоречий наивной теории множеств . Дополнительные аксиомы приводят к теории множеств Цермело – Френкеля , которая гораздо удобнее в его классово-логическом представлении, чем в обычном логическом представлении предикатов . [7]
В 1962 году в качестве приглашенного докладчика на Международном математическом конгрессе в Стокгольме он прочитал лекцию о классах как «первичных элементах» в теории множеств.
С 1970 по 1976 год он был председателем Deutsche Vereinigung für Mathematische Logik унд für Grundlagenforschung дер exakten Wissenschaften , [8] , на чьей борту он служил с 1965 по 1978 год.
В сентябре 2019 года он получил мемориальную монету Бейт Немецкого института стандартизации в знак признания его заслуг в области стандартизации в математике и технических основах. [9]
Избранные работы
- Арнольд Обершельп (1964). "Eigentliche Klassen als Urelemente in der Mengenlehre" . Mathematische Annalen . 157 (3): 234–260. DOI : 10.1007 / BF01362438 . S2CID 122569882 .
- Арнольд Обершельп (июнь 1968 г.). "Об интерполяционной теореме Крейга-Линдона". Журнал символической логики . 33 (2): 271–274. DOI : 10.2307 / 2269873 . JSTOR 2269873 .
- Арнольд Обершельп (1972). Aufbau des Zahlensystems . Современная математика в elementarer Darstellung. 7 (2-е изд.). Геттинген: Ванденхук + Рупрехт.
- Elementare Logik und Mengenlehre I / II . Библиографический институт, Мангейм / Вена / Цюрих 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.
- Юрген-Михаэль Глубрехт, Арнольд Обершельп, Гюнтер Тодт: Klassenlogik . Библиографический институт, Мангейм / Вена / Цюрих, 1983 г., ISBN 3-411-01634-5 .
- Арнольд Обершельп (1993). Рекурсиятеория . Мангейм: BI 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 .
Рекомендации
- ^ a b Запись в академической базе данных Кильского университета
- ↑ Geschichte [История Мюнстерского университета], Часть II «1945-1969», Приложение C «Математические диссертации с 1945 по 1969 год» , стр. 322
- ^ Диссертация "Über die Axiome produktabgeschlossener arithmetischer Klassen [Об аксиомах классов арифметики, замкнутых по продукту]"
- ^ Арнольд Обершельп (январь 1958 г.). "Убер Die Axiome produktabgeschlossener arithmetischer Klassen" . Архив математической логики . 4 (3): 95–123. DOI : 10.1007 / BF01973146 . S2CID 119721234 .- Обзор:Дж. Вайнштейн (декабрь 1967 г.). "Рассмотрение". Журнал символической логики . 32 (4): 532–533. DOI : 10.2307 / 2270214 . JSTOR 2270214 .
- ^ Дипломная работа:Арнольд Обершельп (1962). "Untersuchungen zur mehrsortigen Quantorenlogik" . Mathematische Annalen . 145 (4): 297–333. DOI : 10.1007 / BF01396685 . S2CID 123363080 .- Обзор:Х. Арнольд Шмидт (июнь 1962 г.). "Рассмотрение". Журнал символической логики . 27 (2): 225–226. JSTOR 2964130 .
- ^ Zur Geschichte дер Logik в Киль по Отмаром Spinas
- ^ Gegenüberstellung von ZFC в klassenlogischer und prädikatenlogischer Form [Сравнение ZFC в логике классов и форме логики предикатов], в: Oberschelp, Allgemeine Mengenlehre, 1994, p. 261
- ^ переведено: Немецкая ассоциация математической логики и фундаментальных исследований в точных науках.
- ^ Verleihung дер Beuth-Denkmünze в Herrn доктора RER. физ. Арнольд Обершельп (включает фото 2019 года)
Внешние ссылки
- Литература по и о Арнольд Oberschelp в Немецкой национальной библиотеки каталог
- "Профессор Обершельп ан дер Кильский университет" . Архивировано из оригинального 29 сентября 2007 года.