アカウント名:
パスワード:
四色問題については、「四色問題の証明の『正しさそのもの』を計算機が対話的に検証する」という取り組みがなされています。
同様の手法により、『「ルービックキューブは26手以内で揃う」の証明は正しかった」ことを計算機で実証する人も現れるでしょう。
# 科研費をこのネタで申請するのでAC
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
ソースを見ろ -- ある4桁UID
シミュレーションでは証明にならない (スコア:0)
Re:シミュレーションでは証明にならない (スコア:2, 参考になる)
バグの可能性も否定できないので、数学による証明が待たれます。
Re:シミュレーションでは証明にならない (スコア:2, 参考になる)
数え上げが数学ではない。という論調が見受けられますが、それは間違いです。
事実が証明できるなら、それは数学です。
エレガントではない、エレファントな解法だ。ってことで好まれないことは事実ですが。
それに、背理法や帰納法だって、最後に待っているのは数え上げでしょ?
かのガウスも、この手の数値実験を好んでいた。といわれています。
Re:シミュレーションでは証明にならない (スコア:1, 興味深い)
四色問題については、「四色問題の証明の『正しさそのもの』を計算機が対話的に検証する」という取り組みがなされています。
同様の手法により、『「ルービックキューブは26手以内で揃う」の証明は正しかった」ことを計算機で実証する人も現れるでしょう。
# 科研費をこのネタで申請するのでAC