UNDERSTANDNG THE “KEPLER THEOREM”
Courtesy: www.CertifiedMedicalPlanner.org
According to Wikipedia, the Kepler conjecture, named after the 17th-century mathematician and astronomer Johannes Kepler, is a mathematical theorem about sphere packing in three-dimensional Euclidean space. It states that no arrangement of equally sized spheres filling space has a greater average density than that of the cubic close packing (face-centered cubic) and hexagonal close packing arrangements. The density of these arrangements is around 74.05%.
In 1998 Thomas Hales, following an approach suggested by Fejes Tóth (1953), announced that he had a proof of the Kepler conjecture. Hales’ proof is a proof by exhaustion involving the checking of many individual cases using complex computer calculations. Referees said that they were “99% certain” of the correctness of Hales’ proof, and the Kepler conjecture was accepted as a theorem. In 2014, the Flyspeck project team, headed by Hales, announced the completion of a formal proof of the Kepler conjecture using a combination of the Isabelle and HOL Light proof assistants.
In 2017, the formal proof was accepted by the journal Forum of Mathematics, Pi
***
***
Assessment: Your thoughts are appreciated.
BUSINESS, FINANCE, INVESTING AND INSURANCE TEXTS FOR DOCTORS:
THANK YOU
Filed under: Health Economics, Research & Development | Tagged: Kepler Theorem |
Leave a Reply