エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
人による四色問題の証明
http://oshiete1.goo.ne.jp/kotaeru.php3?q=708981 の回答11を見て気になりました。 四色問題がコンピュ... http://oshiete1.goo.ne.jp/kotaeru.php3?q=708981 の回答11を見て気になりました。 四色問題がコンピュータを使って証明された事に対して 「数学者たちから「コンピュータで証明できたとしても、それを人が確認できなければ本当に『正しい』と言えるのか?」のような反発があり、人が検証できる別の証明方法が考え出された。それによって数学者たちは面目を保った」 というような話を読んだ記憶があります。インターネットは普及していなかった頃なので、本か雑誌だったと思います。 ところが今になってネットで検索しても、それらしい話を見つけられません。真相はどうなんでしょうか?