>>540 >>542-545

おっちゃん

http://www.ole-b.com/entry/2014/09/19/080456
円周率計算の世界記録は12.1兆桁らしいが、これって本当にあってるの？ - おれブログ: 2014-09-19
(抜粋)
先日新聞で読んだ円周率に関する記事。

計算桁数記録は現在12.1兆桁。日本人の近藤茂さんと米国人のアレクサンダー・Ｊ・イーさんのタッグで生み出された成果らしい。

12.1兆桁という途方もない桁数にも驚いたが、それよりも気になったのは前人未踏の12.1兆桁って誰がどうやって正しいことを証明するんだろうってこと (´・ω・`)

多分この疑問を解消してくれるエピソードが手計算時代にあったみたいです。

1850年頃から1873年にかけてウィリアム・シャンクスという人が段階的に707桁まで計算したんですね。

あれ？　さっき上では「1800年代に527桁」って書いたよね？

実はシャンクスさんは707桁まで計算したんですが、計算結果は527桁までしか合ってなかったんです。なので公式記録は527桁ってことになってます。
その計算ミスを確認したのが、先ほど最後の手計算記録として登場したD.F.ファーガソンなんです。彼が1945年に540桁まで計算したことで約70年前のシャンクスの計算ミスが判明したんです。そしてこの約70年の間はシャンクスの計算ミスした707桁の数値が信用されていたようです。

つまり、最長記録の計算結果が正しいかどうかってのは、記録が塗り替えられるときに初めて分かるってことなのかと。

なので、現在最長の12.1兆桁の結果も現時点では正しいのかどうかは分からないってことなんですかね。なんか微妙だけど、、、まぁ、そういうものなんでしょう。
(引用終り)