UNDERSTANDNG THE “KEPLER THEOREM”

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

***

***

PODCAST: https://www.bing.com/videos/search?q=Kepler+Theorem&&view=detail&mid=1A1D9AE369C3DC6BE5A11A1D9AE369C3DC6BE5A1&&FORM=VRDGAR

Assessment: Your thoughts are appreciated.

BUSINESS, FINANCE, INVESTING AND INSURANCE TEXTS FOR DOCTORS:

1 – https://lnkd.in/ebWtzGg

2 – https://lnkd.in/ezkQMfR

3 – https://lnkd.in/ewJPTJs

THANK YOU

%d bloggers like this: