「ルービックキューブは26手以内で揃う！」記事へのコメント

シミュレーションでは証明にならない

[saitoh (10803)]

単に総当りで調べたというだけなのでは？

Re:シミュレーションでは証明にならない

[imaic (31975)]

四色問題 [wikipedia.org]もコンピュータによる証明が先でしたね。

バグの可能性も否定できないので、数学による証明が待たれます。

Re:シミュレーションでは証明にならない

[Anonymous Coward]

四色問題については、「四色問題の証明の『正しさそのもの』を計算機が対話的に検証する」という取り組みがなされています。

• http://en.wikipedia.org/wiki/Four_color_theorem [wikipedia.org]
• "A computer-checked proof of the Four Colour Theorem", Benjamin Werner and Georges Gonthier, 2004http://research.microsoft.com/~gonthier/4colproof.pdf [microsoft.com]

同様の手法により、『「ルービックキューブは26手以内で揃う」の証明は正しかった」ことを計算機で実証する人も現れるでしょう。

# 科研費をこのネタで申請するのでAC