Loading article…
アルノルド・オーバーシェルプ（1932年2月5日 - 2024年8月31日）はドイツの数学者、論理学者であった。彼は長年キールにおいて論理学と科学の教授を務めた。
人生とキャリア
オーバーシェルプはゲッティンゲン大学とミュンスター大学で数学と物理学を学んだ。1957年12月、ミュンスターでハンス・ヘルメスの指導の下、数理論理学の博士号を取得した。[1] [2] [3] [4] 1958年にハノーバー工科大学数学研究所（現ハノーバー・ライプニッツ大学）の研究助手となり、1961年に同大学で数学の学位を取得した。 [1] [5] 1968年にキール大学の論理学および科学の教授に就任。1997年より名誉教授。[6]
アーノルド・オーバーシェルプは、素朴集合論の矛盾なしに任意のクラスを形成できる一般クラス論理を開発した。追加の公理はツェルメロ・フランケル集合論をもたらし、これは通常の述語論理表現よりも彼のクラス論理表現の方がはるかに便利である。[7]
1962年、彼はストックホルムで開催された国際数学者会議に招待講演者として出席し、集合論における「基本要素」としてのクラスについて講演した。
1970 年から 1976 年まで、彼は数学論理ドイツ法教育協会会長を務め、1965 年から 1978 年まで理事を務めました [8] 。
2019年9月、彼は数学と技術基盤の標準化への貢献が認められ、ドイツ標準化機構のボイト記念コインを受賞した。 [9]
オーバーシェルプは2024年8月31日に92歳で亡くなった。[10]
選りすぐりの作品
- アーノルド・オーバーシェルプ (1964)。 "Eigentliche Klassen als Uelemente in der Mengenlehre"。数学アンナレン。157 (3): 234–260。土井：10.1007/BF01362438。S2CID 122569882。
- Arnold Oberschhelp (1968 年6月) 。「Craig-Lyndon 補間定理について」。The Journal of Symbolic Logic。33 ( 2): 271–274。doi :10.2307/2269873。JSTOR 2269873。S2CID 30465874 。
- アーノルド・オーバーシェルプ (1972)。ザーレンシステムのオーフバウ。より基本的な Darstellung の現代数学。 Vol. 7（第2版）。ゲッティンゲン：ファンデンフック+ルプレヒト。
- アーノルド・オーバーシェルプ (1973)。クラスに対する集合理論 (Dissertationes Mathematicae (Rozprawy Matematyczne))。マテマティチニー・ポルスキー・アカデミ・ナウク研究所。
- エレメンターレ ロジックとメンゲンレーレ I/II。 Bibliographisches Institut、マンハイム/ウィーン/チューリッヒ、1974/1978、ISBN 3-411-00408-8。
- アーノルド・オーバーシェルプ (1980)。 「構文とセマンティックの形式的な表現の原則」。ヨアヒム・バルウェグとハンス・グリンツ（編）。 Grammatik und Logik — Jahrbuch 1979 des Instituts für deutsche Sprache (PDF)。 Sprache der Gegenwart — Schriften des Instituts für deutsche Sprache。 Vol. 50. デュッセルドルフ: Pädagogischer Verlag Schwann。 9–27ページ。ISBN 3-590-15650-3。
- ユルゲン・ミヒャエル・グルブレヒト、アーノルド・オーバーシェルプ、ギュンター・トッド:クラッセンロジック。 Bibliographisches Institut、マンハイム/ウィーン/チューリッヒ、1983 年、ISBN 3-411-01634-5。
- アーノルド・オーバーシェルプ (1993)。レクレーション理論。マンハイム: BI Wissenschaftsverlag。ISBN 978-3-411-16171-3。—レビュー: ペトル・ハジェク (1996 年 6 月)。 "レビュー"。記号論理ジャーナル。61 (2): 699–701。JSTOR 2275689。
- アルゲマイネ メンゲンレーレ。 BI-Wiss.-Verlag、マンハイム/ライプツィヒ/ウィーン/チューリッヒ、1994 年、ISBN 3-411-17271-1。
- 哲学のための論理。第 2 版、メッツラー、シュトゥットガルト/ワイマール、1997 年、ISBN 3-476-01545-9。
参考文献
- ^ ab キール大学の学術データベースの記録
- ^ ミュンスター大学の歴史、第2部「1945〜1969年」、付録C「1945年から1969年までの数学論文」、p.322
- ^ 論文「Über die Axiome produktabgeschlossener arithmetischer Klassen [積閉算術クラスの公理について]」
- ^ アーノルド・オーバーシェルプ (1958 年 1 月)。 「Über die Axiome produktabgeschlossener arithmetischer Klassen」。数理論理学のアーカイブ。4 (3):95-123。土井：10.1007/BF01973146。S2CID 119721234。—レビュー: J. Weinstein (1967 年 12 月)。「レビュー」。The Journal of Symbolic Logic。32 ( 4) : 532–533。doi :10.2307 / 2270214。JSTOR 2270214。S2CID 118127906 。
- ^ ハビリテーションの論文: Arnold Oberschelp (1962)。 「Untersuhungen zur mehrsortigen Quantorenlogik」。数学アンナレン。145 (4): 297–333。土井：10.1007/BF01396685。S2CID 123363080。—レビュー: H. Arnold Schmidt (1962 年 6 月)。「レビュー」。The Journal of Symbolic Logic。27 ( 2): 225–226。JSTOR 2964130。
- ^ Otmar Spinasによる「キールのZur Geschichte der Logik」
- ^ Gegenüberstellung von ZFC in klassenlogischer und prädikatenlogischer Form [クラス ロジックと述語ロジック形式での ZFC の比較]、Oberschelp、Allgemeine Mengenlehre、1994 年、p. 261
- ^ 翻訳:ドイツ数理論理学および精密科学の基礎研究協会
- ^ Verleihung der Beuth-Denkmünze an Herrn Dr. rer.いや。アーノルド・オーバーシェルプ (2019 年の写真を含む)
- ^ “アーノルド・オーバーシェルプ”.トラウアーアンツァイゲン。2024 年9 月 16 日に取得。
外部リンク
- ドイツ国立図書館のカタログにあるアルノルト・オーバーシェルプの著作およびオーバーシェルプに関する文献
- 「キール大学オーバーシェルプ教授」。 2007 年 9 月 29 日のオリジナルからアーカイブ。