テスト

http://toro.2ch.net/test/read.cgi/kitchen/1389357430/82-83

>>10
http://uni.2ch.net/test/read.cgi/sci/1375192413/469-470
469 ：ご冗談でしょう？名無しさん ：2013/08/19(月) 21:29:40.77 ID:ugZGoGhZ
>>398
証明可能であることは推論可能であることの十分条件ではない


と言ってやると白痴は理解出来ずに混乱するのかＷＷＷＷＷＷ

>>388
証明しても意味無いから
なぜなら矛盾により肯定の証明と否定の証明が同時に行えるので
真偽を決定出来ないから
真偽決定不可能ならば推論可能とは言えない

マジで理解できないのなＷＷＷＷＷＷＷＷＷ
お前単語に脊髄反射する人工無能だわ

470 ：ご冗談でしょう？名無しさん ：2013/08/19(月) 21:30:05.14 ID:ugZGoGhZ
おっかしいなー
解析解が存在しなければ定義不可能なラックス・リヒトマイヤー安定性を持ち出しておいて


>>442
＞っていうかさ、解析解が存在しないシミュレーションなんて
＞幾らでもあるわけだけどその場合は


？？？？？

もしかして全く理解してない付け焼き刃？