19/09/12 11:19:23.22 2dM7jvB/.net
>>68 追加
URLﾘﾝｸ(kururu.hatenablo)ｇ.com/entry/20060608/1149748301
kururu_goedel’s diary 2006-06-08
正則性公理
(抜粋)
haskellもプログラミングにおける型理論もわかりませんが、正則性公理が型に通じているというのは多分鋭い考察です。ゲーデルがLの構成について講義したときに、まず最初にRから始めるバージョンをやったらしいです。そうすると、ラッセルの型理論に近い形で広がっていきます。
事実、ゲーデルはLの構成をラッセルの理論の拡張だと思っ�