0:00-28:43
Streams straight from the publisher. podnod never proxies or re-hosts episode audio.
Lange war unklar, ob die Pyramidenform wirklich die platzsparendste Möglichkeit ist Orangen zu stapeln. Schon Johannes Kepler war sich sicher, dass das so sein muss. Als Thomas Hales fast 400 Jahre später seine Vermutung bewies verstand kein Mensch den Beweis.
Warum er sich trotzdem sicher sein kann alles richtig gemacht zu haben erfahrt ihr in dieser Episode.
- Thomas Hales: The Kepler conjecture (arXiv – frei zugänglich), sowie (Annals of Mathematics)
- Thomas Hales et al.: A formal proof of the Kepler conjecture
- Das Problem der Kugelpackungen
- Kugelpackungen in Dimension 8
- The geometry junkyard: Sphere packing and Kissing numbers
- In Retrospect: On the six-cornered snowflake
- Lattices, Linear Codes, and Invariants, Part I and Part II
- Buchtip: Sphere-packings, lattices and groups (Conway-Sloane)
- DLF Feature: Mathematiker Thomas Hales – Die Kunst, Orangen zu stapeln
- How to write a 21st century proof (L. Lamport)
- Beweishelfer: Lean und COQ.
Feedback gerne an feedback (bei) pi-ist-genau-3.de.
(Annals of Mathematics)
annals.math.princeton.eduDas Problem der Kugelpackungen
imaginary.orgKugelpackungen in Dimension 8
mathematik.dePart I
ams.orgPart II
ams.orgBuchtip: Sphere-packings, lattices and groups (Conway-Sloane)
link.springer.comDLF Feature: Mathematiker Thomas Hales – Die Kunst, Orangen zu stapeln
deutschlandfunk.deHow to write a 21st century proof (L. Lamport)
lamport.azurewebsites.netLean
leanprover.github.ioCOQ
coq.inria.fr