パスワードを忘れた? アカウント作成
この議論は賞味期限が切れたので、アーカイブ化されています。 新たにコメントを付けることはできません。

ケプラー予想の証明が完了」記事へのコメント

  • 人間であれ、証明支援系であれ、実際の証明の確認に伴う演算は、必ず物理系を通して行われる。

    実行時の物理系の内部状態に対する無知から、物理系を用いた計算は必ず0でない有限の確率で間違う。

    従って、ある証明が科学的に正しいと主張する時は、証明が正しい確率を示さなければならない。

    何年もかかるような計算の時はなおさらである。

    • by Anonymous Coward on 2014年08月15日 23時07分 (#2657469)

      残念、あなたの主張は、大昔にデカルトが本に書いて発表してます。
      「三角形の内角の和が180度だなんて、悪魔がそう思い込ませてるだけかもしれないじゃないか」と、当時としてはいちゃもんとしか言い様のないことを主張してます。

      親コメント

長期的な見通しやビジョンはあえて持たないようにしてる -- Linus Torvalds

処理中...