なぜ悪質な永久機関ビジネスはなくならないのか？４
97 ：ご冗談でしょう？名無しさん：
>>95
お前まだ理解出来てないのかＷＷＷＷＷＷＷ
これ、完璧に俺の言ってる事そのものだから
>>94
＞> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞> めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
＞> (b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）
お前まだ理解出来てないのかＷＷＷＷＷＷＷ
これ、完璧に俺の言ってる事そのものだから
>>94
＞> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞> めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
＞> (b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）
|
|
|
98 ：ご冗談でしょう？名無しさん：2013/08/03(土) NY:AN:NY.AN ID:B0LODvQC
>>93
お前偏差値50しかない鳥取大だろ？ん？
お前偏差値50しかない鳥取大だろ？ん？
99 ：ご冗談でしょう？名無しさん：2013/08/03(土) NY:AN:NY.AN ID:4LDfFYVs
こいつが根拠にしてる「特許」は審査されずに廃棄されてる
つまり正しさが認められてない
つまり正しさが認められてない
100 ：ご冗談でしょう？名無しさん：2013/08/03(土) NY:AN:NY.AN ID:4LDfFYVs
635 名前:ご冗談でしょう？名無しさん :2013/07/17(水) NY:AN:NY.AN ID:tH9rs92j
>>633
＞今どきラッセルの型理論なんて歴史的興味しかなくて
はいブンケー低学歴確定しました
ベキ集合知らないのは高卒
>>633
＞今どきラッセルの型理論なんて歴史的興味しかなくて
はいブンケー低学歴確定しました
ベキ集合知らないのは高卒