469 :
ご冗談でしょう?名無しさん:
>>398 証明可能であることは推論可能であることの十分条件ではない
と言ってやると白痴は理解出来ずに混乱するのかWWWWWW
>>388 証明しても意味無いから
なぜなら矛盾により肯定の証明と否定の証明が同時に行えるので
真偽を決定出来ないから
真偽決定不可能ならば推論可能とは言えない
マジで理解できないのなWWWWWWWWW
お前単語に脊髄反射する人工無能だわ
470 :
ご冗談でしょう?名無しさん:2013/08/19(月) NY:AN:NY.AN ID:ugZGoGhZ
おっかしいなー
解析解が存在しなければ定義不可能なラックス・リヒトマイヤー安定性を持ち出しておいて
>>442 >っていうかさ、解析解が存在しないシミュレーションなんて
>幾らでもあるわけだけどその場合は
?????
もしかして全く理解してない付け焼き刃?