Journey into Maths Country
The Kepler Conjecture, or How to Store Your Cannonballs
Directed by Denis van WaerebekeS2 • E7 Oct 10, 2023 10m
When mathematics tells us the best way to stack oranges...
Formulated in 1611, Kepler's conjecture was finally proved by Thomas Hales... in 1998! Using computational methods unorthodox for his colleagues. The certification of mathematical demonstrations is an arduous and tedious process.
Formulated in 1611, Kepler's conjecture was finally proved by Thomas Hales... in 1998! Using computational methods unorthodox for his colleagues. The certification of mathematical demonstrations is an arduous and tedious process.
