Pi ist genau 3

Orangen stapeln

Listen Later

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.

     

    ...more
    View all episodesView all episodes
    Download on the App Store
    Pi ist genau 3By Petra Schwer und Thomas Kahle

    More shows like Pi ist genau 3

    View all
    Radiowissen by Bayerischer Rundfunk

    Radiowissen

    113 Listeners

    IQ - Wissenschaft und Forschung by Bayerischer Rundfunk

    IQ - Wissenschaft und Forschung

    51 Listeners

    Geschichten aus der Geschichte by Richard Hemmer und Daniel Meßner

    Geschichten aus der Geschichte

    199 Listeners

    Hörsaal - Deutschlandfunk Nova by Deutschlandfunk Nova

    Hörsaal - Deutschlandfunk Nova

    27 Listeners

    Quarks Science Cops by Quarks

    Quarks Science Cops

    16 Listeners

    LANZ & PRECHT by ZDF, Markus Lanz & Richard David Precht

    LANZ & PRECHT

    334 Listeners

    Was bisher geschah - Geschichtspodcast by Joachim Telgenbüscher, Nils Minkmar

    Was bisher geschah - Geschichtspodcast

    46 Listeners

    Geschichten aus der Mathematik by detektor.fm – Das Podcast-Radio

    Geschichten aus der Mathematik

    2 Listeners

    Eine kurze Geschichte über... by NOISER

    Eine kurze Geschichte über...

    17 Listeners