ベストセラーなどの本を紹介します。:22「フェルマーの最終定理」は、17世紀フランスの数学者ピエール・ド・フェルマーさんのメモ書きから、360年の時を経て、イギリスの数学者アンドリュー・ワイルズさんによって証明されました。そのフェルマーの最終定理以上に、長い間世界中の数学者を苦しめた難問がありました。それが、「ケプラー予想」と呼ばれる問題です。これは、1611年、天文学者で数学者でもあったヨハネス・ケプラーさんが友人に宛てた「六角形の雪について」という小冊子の中で示した問題。面心立方格子が最密になると予想しました。「果物屋の店先にオレンジが積まれる時の方法と同じ」であるという予想です。問題ができてから、およそ200年後に証明されました。不規則な並べ方まで含めた場合まで証明するには、400年もの間、数学者を苦しめた難問として君臨したのです。この問題を1998年に解決したのが、米ミシガン大学の数学者トーマス・C・ヘイルズさんでした。証明するには、これだけの年月を要したのです。数学者たちの苦闘の歴史を描きます。ようなものであり、ケプラー予想に関するトーマスの証明は電話帳のようなもの」これは数学者で一般向けの数学書の書き手として知られるイアン・スチュアートさんの言葉。月とすっぽんだと言っているのです。このような比喩が使われたかというと、ケプラー予想の証明は、コンピュータを使った力ずくの証明だったからです。通常、数学の証明でパターンが多くて調べきれない場合は、その問題の否定を考えて、矛盾を証明する背理法が使われます。コンピュータの発達により、近年ではしらみつぶしに調べていく方法も可能になったのです。その証明には「それは本当に証明なのか?」という非難も出てくることになります。「99%正しい」と報告されました。本書では、コンピュータを使った数学の証明問題についても多くのページを割いて描いています。数学の難問を扱う本ですが、数学者たちの人間ドラマとして書かれている面も多いので、ほぼ数学的な知識はなくても読むことができます。本書は、2005年4月に新潮社から刊行された『ケプラー予想』を文庫化に際し、改訳したものです。この本から何を活かすか?訳者の青木薫さんは翻訳にあたり、ビー玉やオレンジを実際にテーブルの上に積み上げて、ケプラー予想を体感したようです。ビー玉だと、転がってしまい、最密充填が実感できなかったようですが、オレンジでやってみると、手応えを感じたとか。私も、家にあった「みかん」を使って挑戦してみましたが、ちょっと違うな~という感じでした。動いてピタッとハマる感じがなくダメでした。プロフィールAuthor:ikadoku2006年に39歳でセミリタイアしました。私の強みは、早起きと読書量。年間300冊以上、本を読みます。北海道在住の男性、妻子あり。(トラリピ×投資本ブログ)最後に、若者に言っておきたいこと。~Todoリスト作成法、やる気を出す方法etc~管理者ページ3ヶ月以上更新のないブログは、一旦、相互リンクを解除させていただきます。(再開の場合は、改めてご連絡ください)このブログをリンクに追加するRSSフィードぜひ、RSSリーダーに登録してください。以下のボタンからどうぞ。記事を読む第四位プロの残業術。