アカウント名:
パスワード:
発見された新たな定理って、人間にも理解できるんだろうか。現有人類の誰にも理解できない定理は定理と呼べるのだろうか。
4色定理って、最終的にコンピュータの力技で全ての場合を数え上げたと聞くけど、あれは理解できたことになるのかな…？なんで4色？って聞かれても、やってみたらそうだったからとしか答えられないような？
多いか少ないかの違いだけで数学の証明って本質的に全パターンに対して真かどうかを調べているだけという実態はあるので、程度の問題になっちゃってる印象。全てはやってみたらそうだったとしか言えない
確認できなかったら証明できているとは言えないので、そもそも証明成功と発表できないでしょう。出来たから4色定理が証明されたとされたのです。コンピュータによる証明は人による自然言語も交えた怪しい証明とは違って異論の余地がなくなりますし、昨今は人の手で証明されてもコンピュータで論理飛躍が無いか確認しますから。昨今の超厳密な数学の証明はまるでアセンブラーでプログラムを書くかのような状態になっていて、バグ混入の確認が困難なのでコンピュータ支援はよく使われているようです。
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
目玉の数さえ十分あれば、どんなバグも深刻ではない -- Eric Raymond
コンピュータだけがわかる世界 (スコア:0)
発見された新たな定理って、人間にも理解できるんだろうか。
現有人類の誰にも理解できない定理は定理と呼べるのだろうか。
Re: (スコア:0)
4色定理って、最終的にコンピュータの力技で全ての場合を数え上げたと聞くけど、あれは理解できたことになるのかな…？なんで4色？って聞かれても、やってみたらそうだったからとしか答えられないような？
Re:コンピュータだけがわかる世界 (スコア:0)
多いか少ないかの違いだけで数学の証明って本質的に全パターンに対して真かどうかを調べているだけという実態はあるので、程度の問題になっちゃってる印象。
全てはやってみたらそうだったとしか言えない
Re:コンピュータだけがわかる世界 (スコア:1)
Re: (スコア:0)
確認できなかったら証明できているとは言えないので、そもそも証明成功と発表できないでしょう。
出来たから4色定理が証明されたとされたのです。
コンピュータによる証明は人による自然言語も交えた怪しい証明とは違って異論の余地がなくなりますし、昨今は人の手で証明されてもコンピュータで論理飛躍が無いか確認しますから。
昨今の超厳密な数学の証明はまるでアセンブラーでプログラムを書くかのような状態になっていて、バグ混入の確認が困難なのでコンピュータ支援はよく使われているようです。