ピーター・アクゼルとは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > ピーター・アクゼルの意味・解説 

ピーター・アクゼル

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/10/23 15:15 UTC 版)

Peter Aczel
ピーター・アクゼル (左) 、Michael Rathjenと共にオーバーヴォルファッハ数学研究所にて(2004年)。
生誕 Peter Henry George Aczel
(1941-10-31) 1941年10月31日(81歳)
研究機関
出身校 オックスフォード大学
論文 Mathematical problems in logic (1967)
博士課程
指導教員
John Newsome Crossley
主な業績 アクゼルの反基底公理(Aczel's Anti-Founded Axiom, AFA)
公式サイト
www.cs.man.ac.uk/~petera/
プロジェクト:人物伝
テンプレートを表示

ピーター・ヘンリー・ジョージ・アクゼル(Peter Henry George Aczel, 1941年10月31日 - 2023年8月1日) は、英国の数理論理学者、計算機科学者。マンチェスター大学数学・計算機科学部名誉教授だった。

フレーゲ構造(Frege structure)、構成的集合論、非有基的集合論(non-well-founded set theory)の一つであるアクゼル集合論(ZFC-+AFA)などの業績で知られる。

業績

フレーゲ構造(Frege structure)

ゴットロープ・フレーゲ(1848-1925)は、算術を論理化するという論理主義(logicism)の企図を実行するため、『算術の基本法則』(Grundgesetze der Arithmetik)第一卷(1893)、第二卷(1903)を著し、その計画を形式的にも厳密に展開したが、第二卷の刊行直前の1902年、イギリスのバートランド・ラッセルから関数の値域(course of values)に基づく同一性を定めた第V公理に関するパラドックス(ラッセルのパラドックス)を指摘されるに至り、フレーゲの回避策も虚しく、論理主義の計画を放棄せざるを得なくなった、と言われる。

アクゼルは、この第V公理に関するパラドックスの原因を、あらゆる対象を命題(: proposition, : Satz)へと変換するフレーゲの水平線(horizontal stroke)"−"に求めた。

− :: Any -> Proposition

この水平線を用いれば、体系のあらゆる対象、例えば数字の0であっても水平線を作用させた"−0"は体系の対象の中でも特に命題(proposition)へと変換されてしまう[1]。カントールの素朴集合論以来、集合の内包的定義(comprehensional definition)は、

{x | "なにかxを含む命題" }

というように命題を用いることでなされてきた。水平線を持つ体系であれば、その内容が捉えにくいものであってもあらゆる対象を命題とすることができ、しかも、それが特に特別な命題である真(true)に等しくありさえすれば、自分自身を含む集合 { x | x ∈ x } さえ定義できるような強力な「内的」定義可能性("internal" definability)[2]を持つ。

このように矛盾する『基本法則』の構成からその原因を突き止めたアクゼルは、矛盾しない正当であると考えられる部分を取り出し、それをフレーゲ構造(Frege structure)と名付けた。

アクゼルのフレーゲ構造は、型無しλ計算に基づいて命題(proposition)、真理(truth)、さらには集合(set)を付け加えた体系で、特に(構成的)集合はλ式として表現されるが、水平線を持たないため内的定義可能性は素朴集合論よりも大幅に減ぜられる。そのため、ラッセルのパラドックスを引き起こすような病的巨大集合はそもそも内的定義できないため、パラドックスは消極的に回避されることになる。

フレーゲによる関数の「値域」と構成的集合

フレーゲ構造の体系において、(構成的)集合は、スコットのクラス抽象をλ式で表現することに倣って、λ式で表現される。具体的には次のように定義される。

(構成的)集合

命題を返す関数 f のλ抽象 λx. f(x)

集合の内包表記 {x | e[x] }

命題を返す関数が<e[x]|x>で表されるとき、その集合(λ抽象) λx . <e[x]|x> を特に {x | e[x]} と表す[3]

著作論文

脚注

  1. ^ "−0"は「0が存在する」というようにとることができる。
  2. ^ 命題を用いた集合の内包的定義の自由度であり、集合の外延的定義には影響しない。
  3. ^ 『〜は偶数である』を命題とするとき、<『xは偶数である』[x] | x>は、2を引数にとるとき『2は偶数である』という命題を返す命題関数となる。

関連項目

参考文献




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「ピーター・アクゼル」の関連用語

ピーター・アクゼルのお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



ピーター・アクゼルのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのピーター・アクゼル (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS