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

pascal (11834) の日記

2004 年 05 月 30 日
午後 06:43

双子素数は無限に存在する(らしい)。

本家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使ったほうが素直でよろしいな。つかこれくらいならアセンブリでいいか、、、

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

アレゲはアレゲ以上のなにものでもなさげ -- アレゲ研究家

処理中...