アカウント名:
パスワード:
証明が正しいことの証明が正しいことはどうやって証明したんですか?
複雑な証明の場合、その正しさは「確認」されます。この場合のことは詳しくは知らないのですが、証明が非常に多くの場合分けや多くの補題の組合せになっていて、それらの組合せや場合分けが必要十分であることが「答え合わせ」で確認されたと考えればよいと思います。で、その確認というは計算機実験で証明に挙げられている場合以外が出てこないということを時間をかけてしらみつぶしで確認するなどが行われます。
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
海軍に入るくらいなら海賊になった方がいい -- Steven Paul Jobs
FAQ (スコア:1)
証明が正しいことの証明が正しいことはどうやって証明したんですか?
Re:FAQ (スコア:4, 参考になる)
複雑な証明の場合、その正しさは「確認」されます。
この場合のことは詳しくは知らないのですが、証明が非常に多くの場合分けや多くの補題の組合せに
なっていて、それらの組合せや場合分けが必要十分であることが「答え合わせ」で確認された
と考えればよいと思います。
で、その確認というは計算機実験で証明に挙げられている場合以外が出てこないということを
時間をかけてしらみつぶしで確認するなどが行われます。