24/05/08 12:29:56.50 BBjhKMzB.net
>>559
＞自己と自己言及を区別するのがラッセルの型理論な
全然説明できてませんね
ｎ階の対象に対して｛ｘ｜￢ｘ∈ｘ｝を一つ上の階の対象とすることで
パラドックスが導けないようにした、ってことでしょ
なんでこんな簡単明解な説明ができないのかな 全然分かってないからでしょ
いっとくけど、そういう区分けがないから型理論じゃないとか論理学だとかいえませんよ
24/05/08 12:29:56.50 BBjhKMzB.net
>>559
＞自己と自己言及を区別するのがラッセルの型理論な
全然説明できてませんね
ｎ階の対象に対して｛ｘ｜￢ｘ∈ｘ｝を一つ上の階の対象とすることで
パラドックスが導けないようにした、ってことでしょ
なんでこんな簡単明解な説明ができないのかな 全然分かってないからでしょ
いっとくけど、そういう区分けがないから型理論じゃないとか論理学だとかいえませんよ