Loading article…
ピーター・アツェル | |
|---|---|
 2006年のアツェル | |
| 生まれる | ピーター・ヘンリー・ジョージ・アツェル 1941年10月31日 |
| 死亡 | 2023年8月1日 |
| 国籍 | イギリス |
| 母校 | オックスフォード大学 |
| 知られている | アチェルの反基礎公理 反射集合 構成 的集合論(CZF) |
| 科学者としてのキャリア | |
| フィールド | 数学的論理 |
| 機関 | |
| 論文 | 論理における数学的問題 (1967) |
| 博士課程の指導教員 | ジョン・ニューサム・クロスリー |
| Webサイト | 翻訳: |
ピーター・ヘンリー・ジョージ・アツェル（/ ˈ æ k s əl / ; 1941年10月31日 - 2023年8月1日）は、イギリスの数学者、論理学者であり、マンチェスター大学コンピュータサイエンス学部および数学部の名誉共同教授であった。[1]彼は、非整集合論、[2]構成的集合論、[3] [4]およびフレーゲ構造の研究で知られている。[5] [6]
教育
アツェルは1963年に数学の学士号を取得し[7]、続いて1966年にオックスフォード大学でジョン・クロスリーの指導の下で博士号を取得した[1] [8]。
キャリアと研究
ウィスコンシン大学マディソン校とラトガース大学で2年間客員研究員を務めた後、アツェルはマンチェスター大学に着任した。また、オスロ大学、カリフォルニア工科大学、ユトレヒト大学、スタンフォード大学、 インディアナ大学ブルーミントン校でも客員研究員を務めた。[7] 2012年には高等研究所の客員研究員を務めた。 [9]
アツェルは、ノートルダム形式論理学ジャーナル[10]とケンブリッジ理論計算機科学トラクトの編集委員を務めており、それ以前は記号論理学ジャーナルと純粋・応用論理年報の編集委員を務めていた。[7] [11]
彼は2023年8月1日に亡くなった。[12]
参考文献
- ^ ab 数学系譜プロジェクトのピーター・アツェル
- ^ Moss, Lawrence S. (2018年2月20日). 「非根拠集合論」. Zalta, Edward N. (編) 『スタンフォード哲学百科事典』. スタンフォード大学形而上学研究室 – スタンフォード哲学百科事典経由。
- ^ Aczel, P. (1977). 「帰納的定義入門」.数理論理学ハンドブック. 論理学と数学の基礎研究. 第90巻. pp. 739–201. doi :10.1016/S0049-237X(08)71120-0. ISBN 9780444863881。
- ^ Aczel, P.; Mendler, N. (1989). 「最終的なコアルゲーブラ定理」.カテゴリー理論とコンピュータサイエンス. コンピュータサイエンスの講義ノート. 第389巻. p. 357. doi :10.1007/BFb0018361. ISBN 3-540-51662-X。
- ^ Aczel, P. (1980). 「フレーゲ構造と命題、真理値、集合の概念」.クリーネシンポジウム. 論理学と数学の基礎研究. 第101巻. pp. 31–32. doi :10.1016/S0049-237X(08)71252-7. ISBN 9780444853455。
- ^ DBLP書誌サーバーの Peter Aczel
- ^ abc 「ピーター・アツェル、マンチェスター大学」
- ^ Aczel, Peter (1966). 論理学における数学的問題 (DPhil 論文). オックスフォード大学.(サブスクリプションが必要です)
- ^ 「学者」。高等研究所。2015年8月14日。
- ^ Dame、マーケティングコミュニケーション：Web | ノートル大学。「Notre Dame Journal of Formal Logic」。Notre Dame Journal of Formal Logic。
{{cite web}}: CS1 maint: 複数名: 著者リスト (リンク) CS1 maint: 数値名: 著者リスト (リンク) - ^ 「Annals of Pure and Applied Logic」 – www.journals.elsevier.com より。
- ^ 「Fom - [FOM] Peter Aczel - arc」.
外部リンク
ウィキメディア・コモンズのピーター・アツェルに関連するメディア