テスト

>>58
http://toro.2ch.net/test/read.cgi/kitchen/1378139392/91-92

>>63
http://uni.2ch.net/test/read.cgi/sci/1375192413/436-440
436 ：ご冗談でしょう？名無しさん ：2013/08/18(日) 23:43:19.61 ID:73xMykX8
>>404
>>398
証明可能であることは推論可能であることの十分条件ではない

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

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

未だに理解出来ないのか？ん？
なんなら真偽決定不能なのに推論可能と言えるケースの存在を証明してみろ

438 ：ご冗談でしょう？名無しさん ：2013/08/19(月) 01:02:53.19 ID:VUFes2dY
>>435
そもそも収束なんてもんは正確さとは無関係だがな
なぜなら数値計算のリソースは有限だから実際には収束などしない

440 ：ご冗談でしょう？名無しさん ：2013/08/19(月) 02:00:38.83 ID:VUFes2dY
>>439
は？
正確性なんて解析解との差に決まってんだろ
数値解と解析解とのノルムでいい