パスワードを忘れた? アカウント作成
10679939 submission

とある数学の証明、そのファイルサイズが13GBにも及んだためチェックが困難に

タレコミ by Anonymous Coward
あるAnonymous Coward 曰く、
「長すぎてチェックできない」という、数学的問題に対する証明が話題になっている(本家NewScientist)。 その問題とは、数学者ポール・エルデシュが予想した未解決問題の1つで、I PROGRAMMERにて解説されているが、「とある数列x n が与えられたとき、任意の自然数Cに対し、適切な正の整数kdを選択すれば|Σ k i=1 x id | > Cを満たす数列x d , x 2d , x 3d ,...x kd が存在する、というものらしい。 この問題に対し、コンピュータを使って証明を試みた結果、その証明は13GBにもおよぶものになってしまったという。この試み事態が論文として公開されている(A SAT Attack on the Erdos Discrepancy Conjecture)が、これは「人間が読み切れないほどの証明というのは認められるべきなのか」というまた新たな問題を引き起こす結果となったようだ。
この議論は、 ログインユーザだけとして作成されたが、今となっては 新たにコメントを付けることはできません。
typodupeerror

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

読み込み中...