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

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

  • by Anonymous Coward

    証明が正しいことの証明が正しいことはどうやって証明したんですか?

    • Re:FAQ (スコア:4, 参考になる)

      by new release (37404) on 2014年08月15日 21時30分 (#2657425) 日記

      複雑な証明の場合、その正しさは「確認」されます。
      この場合のことは詳しくは知らないのですが、証明が非常に多くの場合分けや多くの補題の組合せに
      なっていて、それらの組合せや場合分けが必要十分であることが「答え合わせ」で確認された
      と考えればよいと思います。
      で、その確認というは計算機実験で証明に挙げられている場合以外が出てこないということを
      時間をかけてしらみつぶしで確認するなどが行われます。

      親コメント

日本発のオープンソースソフトウェアは42件 -- ある官僚

処理中...