>>31 http://uni.2ch.net/test/read.cgi/sci/1375192413/97-100 97 :ご冗談でしょう?名無しさん :2013/08/03(土) 14:55:54.69 ID:B0LODvQC
>>95 お前まだ理解出来てないのかWWWWWWW
これ、完璧に俺の言ってる事そのものだから
>>94 >> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
>> めに制限し、ラッセル集合が定義出来ないようにする(公理的集合論)
>> (b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする(型理論)
98 :ご冗談でしょう?名無しさん :2013/08/03(土) 14:56:27.62 ID:B0LODvQC
>>93 お前偏差値50しかない鳥取大だろ?ん?
99 :ご冗談でしょう?名無しさん :2013/08/03(土) 15:07:26.04 ID:4LDfFYVs
こいつが根拠にしてる「特許」は審査されずに廃棄されてる
つまり正しさが認められてない
100 :ご冗談でしょう?名無しさん :2013/08/03(土) 15:08:25.84 ID:4LDfFYVs
635 名前:ご冗談でしょう?名無しさん :2013/07/17(水) 18:22:51.44 ID:tH9rs92j
>>633 >今どきラッセルの型理論なんて歴史的興味しかなくて
はいブンケー低学歴確定しました
ベキ集合知らないのは高卒