Scientists Deliver Formal Proof of Famous Kepler Conjecture | Mathematics | Sci-News.com
Scientists Deliver Formal Proof of Famous Kepler Conjecture | Mathematics | Sci-News.com
The Kepler conjecture: ‘no packing of congruent balls in Euclidean three-space has density greater than that of the face-centered cubic packing.’ This conjecture is the oldest problem in discrete geometry.
“He [Professor Thomas Hales] and a team of collaborators wrote out the entire proof in extraordinary detail using strict formal logic, which a computer program then checked with perfect rigor.” The paper not only settles a centuries-old mathematical problem, but is also a major advance in computer verification of complex mathematical proofs.
The Kepler conjecture: ‘no packing of congruent balls in Euclidean three-space has density greater than that of the face-centered cubic packing.’ This conjecture is the oldest problem in discrete geometry.
“He [Professor Thomas Hales] and a team of collaborators wrote out the entire proof in extraordinary detail using strict formal logic, which a computer program then checked with perfect rigor.” The paper not only settles a centuries-old mathematical problem, but is also a major advance in computer verification of complex mathematical proofs.
Comments
Post a Comment