アカウント名:
パスワード:
しかし、あまりに複雑なプログラムのため他人による検証が困難であることや、コンピュータの誤りの可能性を考慮して、この証明に疑問視する声があった。その後、プログラムの改良が進められており、現在、四色問題の解決を否定する専門家はいない。ウィキペディア
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
人生unstable -- あるハッカー
18年かけたからこそ? (スコア:1, 興味深い)
18年間の時間をかけたからこそ,読みきれたと言っても信用してもらえるのかな.
この局面探索に漏れが無い,間違いが無いという検証ってできるのでしょうか.
Re:18年かけたからこそ? (スコア:3, 参考になる)
Computer-assited proof (英語版) [wikipedia.org]によると、人間による検証ができないということで、証明とは認めない数学者の立場もあるようです。