436 :
ご冗談でしょう?名無しさん:
>>404 >>398 証明可能であることは推論可能であることの十分条件ではない
>>388 証明しても意味無いから
なぜなら矛盾により肯定の証明と否定の証明が同時に行えるので
真偽を決定出来ないから
真偽決定不可能ならば推論可能とは言えない
マジで理解できないのなWWWWWWWWW
お前単語に脊髄反射する人工無能だわ
未だに理解出来ないのか?ん?
なんなら真偽決定不能なのに推論可能と言えるケースの存在を証明してみろ
きゅむの分が悪いな
438 :
ご冗談でしょう?名無しさん:2013/08/19(月) NY:AN:NY.AN ID:VUFes2dY
>>435 そもそも収束なんてもんは正確さとは無関係だがな
なぜなら数値計算のリソースは有限だから実際には収束などしない
>>438 もう屁理屈しか書けないのか
ご苦労さん
負け犬の言う正確ってのは何かはっきりさせてよw
後出しで色々出してくるから、正直疲れるんだけどw
あと、はよ資料出してねw
資料出せば済む話なんだから
440 :
ご冗談でしょう?名無しさん:2013/08/19(月) NY:AN:NY.AN ID:VUFes2dY
>>439 は?
正確性なんて解析解との差に決まってんだろ
数値解と解析解とのノルムでいい