130 :
ご冗談でしょう?名無しさん:
>>128 >>108 は?
完全にお前論破されてるぞ?
>> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
>> めに制限し、ラッセル集合が定義出来ないようにする(公理的集合論)
>> (b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする(型理論)
これは数学的に同値
だからすべての公理的集合論は型理論を内包してる
>>121 いやあ、悪い悪い
忙しくてな
申し訳ないんで
>陰解法でもCFL条件を満たさなければ解は不正確になる
>安定な不正確な解が出るだけの話
や
>この情報とエネルギーの伝播を保証するのはCFL条件と言われていてあらゆるシミュレーションで必須の拘束条件
>これを破るシミュレーションは正しい結果をもたらさない
を主張してる資料を低脳が提示してくれたら低脳の勝ちでいいよ!
>>111 みたいな事は言わないので
どの大学/企業/研究所の誰が書いたのかはっきりしてれば
講義資料だろうと査読受けてない論文だろうと発表資料だろうと構わない
低脳の書いてる事が正しいなら資料もすぐ見つかるだろうし
待ってるぜ
ひとつ書き忘れた
資料を提示できない場合は
低脳の負け
シンプルでいいだろ
133 :
131=132:2013/08/05(月) NY:AN:NY.AN ID:O4uncyk2
忙しくて書き漏らしが多過ぎるなw
期限を決めておこうか
2013/08/11(日)の23時59分までに低脳が
資料を出せない場合は低脳の負けってことでよろしく
楽しみだわw
当然永久機関を歓迎しましょう
一応君達に永久機関を全否定出来ますか?
無論御前達に永久機関を論破出来ますか?
多分貴方達に永久機関の可能性を無視出来ますか?
135 :
きゅむ代弁:2013/08/05(月) NY:AN:NY.AN ID:???
>>133 そんなもの必要ない
とっくに論破済み(キリッ
とレスが来るでしょう
ええ
136 :
ご冗談でしょう?名無しさん:2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky
137 :
ご冗談でしょう?名無しさん:2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky
>>133 そもそも十分性が示されてない
十分性って意味わかるか?ん?
138 :
ご冗談でしょう?名無しさん:2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky
>>132 十分性を示せて無い時点でお前の負け
すでに負けてるんだよ
139 :
ご冗談でしょう?名無しさん:2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky
140 :
ご冗談でしょう?名無しさん:2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky
>>128 >>108 は?
完全にお前論破されてるぞ?
>> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
>> めに制限し、ラッセル集合が定義出来ないようにする(公理的集合論)
>> (b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする(型理論)
これは数学的に同値
だからすべての公理的集合論は型理論を内包してる
141 :
ご冗談でしょう?名無しさん:2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA
完全にきゅむの負けw
142 :
ご冗談でしょう?名無しさん:2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky
>>141 悔しかった?
十分性を示せて無い時点でお前の負け