アカウント名:
パスワード:
人間であれ、証明支援系であれ、実際の証明の確認に伴う演算は、必ず物理系を通して行われる。
実行時の物理系の内部状態に対する無知から、物理系を用いた計算は必ず0でない有限の確率で間違う。
従って、ある証明が科学的に正しいと主張する時は、証明が正しい確率を示さなければならない。
何年もかかるような計算の時はなおさらである。
残念、あなたの主張は、大昔にデカルトが本に書いて発表してます。「三角形の内角の和が180度だなんて、悪魔がそう思い込ませてるだけかもしれないじゃないか」と、当時としてはいちゃもんとしか言い様のないことを主張してます。
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
長期的な見通しやビジョンはあえて持たないようにしてる -- Linus Torvalds
数学者が言う証明完了は科学的に誤りである (スコア:0)
人間であれ、証明支援系であれ、実際の証明の確認に伴う演算は、必ず物理系を通して行われる。
実行時の物理系の内部状態に対する無知から、物理系を用いた計算は必ず0でない有限の確率で間違う。
従って、ある証明が科学的に正しいと主張する時は、証明が正しい確率を示さなければならない。
何年もかかるような計算の時はなおさらである。
Re:数学者が言う証明完了は科学的に誤りである (スコア:0)
残念、あなたの主張は、大昔にデカルトが本に書いて発表してます。
「三角形の内角の和が180度だなんて、悪魔がそう思い込ませてるだけかもしれないじゃないか」と、当時としてはいちゃもんとしか言い様のないことを主張してます。