人気ブログランキング |

シリコンによる証明

コンピュータでさまざまな場合の計算をして、すべてを計算し尽くす方法を言います。これには賛否両論あるらしく、僕は「きちんと証明できれば、方法はなんでもいい。つまりコンピュータの証明には賛成」の考えでした。

でも、サイモン・シンさんの「フェルマーの最終定理」を読んで、僕はやはり甘いな、と分かりました。

コンピュータの証明では、証明の確認が非常に厄介なのだそうです。プログラムを検証して、そのプログラムで何度も確かめて、いつも同じ答えなら、まあ証明完了ですよね。でも、それは人間には検証が困難だったりする。

そもそも人が計算し尽くせないから機械にやらせるわけで、その確認を誰がやるのか? と言われたら・・ううむ。

エレガントとか洞察とは異なるレイヤーでの問題があったのだ。
by tomoarrow | 2013-09-23 07:00 | モチーフについて | Comments(0)