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

pascalの日記: 双子素数は無限に存在する(らしい)。 1

日記 by pascal

本家slashdotから

fustflum writes "R. F. Arenstorf from Vanderbilt University has presented a 38-page possible proof of the twin-prime conjecture using methods from classical analytic number theory. The paper is on arxiv.org and is freely available to the public. Twin primes are pairs of primes where both p and p + 2 are prime. "It is conjectured that there are an infinite number of twin primes ... but proving this remains one of the most elusive open problems in number theory." More information about twin primes can be found on Mathworld."

ほええ、証明されちゃったのか。まだ確認の段階ってことかしらん。数学ってそういうわかりやすい未解決問題が多いけど、その辺がみんな解けちゃったらそれはそれでつまんないかも(何

# let rec f n = if n = 1 then "end" else if n mod 2 = 0 then f (n/2) else f (n*3+1);;
が必ず止まるとかそういう未解決問題も単純で奥が深いよね。

だってさ、
# let rec f n = if n = 1 then "end" else if n mod 2 = 0 then f (n/2) else f (n*3-1);;
っていう風に+を-に変えて「収束しやすいかな」とか甘いこと考えてたら7→20→10→5→14→7とかいう無限ループにはまる罠だし。

#でもOcamlは正負ともに30bitずつしか使えないんだっけ。Ocamlで配列使うとめんどくさくなるげ。gccでlong long int使ったほうが素直でよろしいな。つかこれくらいならアセンブリでいいか、、、

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

犯人はmoriwaka -- Anonymous Coward

読み込み中...