スレ立てテスト Part.1

このエントリーをはてなブックマークに追加
31ひよこ名無しさん
32ひよこ名無しさん:2014/01/23(木) 10:31:04.69 ID:???
>>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
>今どきラッセルの型理論なんて歴史的興味しかなくて


はいブンケー低学歴確定しました
ベキ集合知らないのは高卒