Gehen Sie mit der App Player FM offline!
Orangen stapeln
Archivierte Serien ("Inaktiver Feed" status)
When? This feed was archived on February 26, 2024 18:29 (). Last successful fetch was on March 01, 2024 02:22 ()
Why? Inaktiver Feed status. Unsere Server waren nicht in der Lage einen gültigen Podcast-Feed für einen längeren Zeitraum zu erhalten.
What now? You might be able to find a more up-to-date version using the search function. This series will no longer be checked for updates. If you believe this to be in error, please check if the publisher's feed link below is valid and contact support to request the feed be restored or if you have any other concerns about this.
Manage episode 308311055 series 2656246
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.
53 Episoden
Archivierte Serien ("Inaktiver Feed" status)
When? This feed was archived on February 26, 2024 18:29 (). Last successful fetch was on March 01, 2024 02:22 ()
Why? Inaktiver Feed status. Unsere Server waren nicht in der Lage einen gültigen Podcast-Feed für einen längeren Zeitraum zu erhalten.
What now? You might be able to find a more up-to-date version using the search function. This series will no longer be checked for updates. If you believe this to be in error, please check if the publisher's feed link below is valid and contact support to request the feed be restored or if you have any other concerns about this.
Manage episode 308311055 series 2656246
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.
53 Episoden
Alle Folgen
×Willkommen auf Player FM!
Player FM scannt gerade das Web nach Podcasts mit hoher Qualität, die du genießen kannst. Es ist die beste Podcast-App und funktioniert auf Android, iPhone und im Web. Melde dich an, um Abos geräteübergreifend zu synchronisieren.