Kepler's Conjecture/Historical Note

From ProofWiki
Jump to navigation Jump to search

Historical Note on Kepler's Conjecture

This result was conjectured by Johannes Kepler in $1611$.

While it is in a certain sense obvious that the most efficient technique for packing spheres is the one traditionally used by greengrocer's to stack orange's, it proved challenging to actually prove it.

Many mathematicians believe, and all physicists know, that the density cannot exceed $\dfrac \pi {\sqrt {18} }$.
-- Claude Ambrose Rogers


The proof by Thomas Callister Hales was finally declared complete and correct in $2014$, at the climax of a project spanning some $20$ years.


Sources