Die Keplersche Vermutung (Weihnachtsvorlesung 2019, Teil 2 von 2)

Im zweiten Teil wird erzählt, wie die Keplersche Vermutung (die eines der berühmten Hilbertschen Probleme war) von Thomas Hales schließlich bewiesen wurde, welche Rolle maschinengestützte Beweise dabei gespielt haben und was das über das Verhältnis der Mathematik zu Computern aussagt. Außerdem geht es um Kusszahlen und die Wurstkatastrophe.
* Teil 1: • Die Keplersche Vermutu...
* Mehr zu Kepler: • Kepler, Newton und das...
* Computeralgebrasysteme: • Computeralgebra
* Vierfarbensatz: • Der Vier-Farben-Satz (...
Mehr Weihnachtsvorlesungen: weitz.de/weihnachtsvorlesung.html
* Das GANZ NEUE Buch: weitz.de/GDM/
* Das NEUE Buch: weitz.de/PP/
* Das "alte" Buch: weitz.de/KMFI/
* Das Geometrie-Buch: weitz.de/EDG/
* Illustrationen von Heike Stephan: / haiartandillustration
* Mehr zur Wurstkatastrophe: taz.de/Die-Wahrheit/!5650422/
* Allgemeine Anmerkungen: weitz.de/youtube.html