ケプラー予想: 四百年の難問が解けるまで (新潮文庫―Science&History Collection)

ケプラー予想: 四百年の難問が解けるまで (新潮文庫―Science&History Collection)
17世紀初頭、大科学者ケプラーは、「同一の球を最も効率よく三次元空間に詰め込む方法は、果物屋のオレンジの積み方と同じ」という予想を立てた。が、一見簡単に見えるこの命題の証明にかかった年月は実に400年。「フェルマーの最終定理」に並ぶ超難問として知られ、20世紀末に天才数学者ヘールズがコンピューターを駆使して最終証明を果たした問題を巡る感動のノンフィクション。

年末年始に読むか。