Johannes Kepler bei vismath
Blog-Artikel: Beweis der Kepler Vermutung erfolgt
13.08.2014 –
Mehr als 400 Jahre nachdem die sogenannte „Keplersche Vermutung“ aufgestellt wurde, liegt nun offenbar ein vollständiger, formaler Beweis vor. Die Mathematik hat dabei wiedereinmal besondere Wege beschritten. Kepler selbst stellte seine Vermutung 1611 auf, konnte sie aber nie beweisen. Thomas Hales hat bereits 1998 eine erste Lösung vorgestellt, die allerdings „nur“ auf massiven Computerberechnungen basierte.
2003 begann Hales damit, seinen Beweis zu Formalisieren – und scheint dieses „Flyspeck“ getaufte Projekt nun erfolgreich zum Abschluss gebracht zu haben. Wir wollen hier kurz auf die Keplersche Vermutung und den Prozess der Beweisfindung eingehen.
Blog-Artikel: Keplers Weltmodell
09.09.2013 –
Johannes Kepler (1571 – 1630) war ein deutscher Philosoph, Astronom, Mathematiker und Gelehrter. Kepler glaubte um 1600, die Planetenbewegungen in unserem Sonnensystem durch die platonischen Körper beschreiben zu können. Seine Messungen gaben ihm Recht: Die Bewegungen der Planeten wich um weniger als 10% von seinem Modell ab.
Zometool: Keplers Kosmos
Der Wissenschaftler Johannes Kepler glaubte, dass die Gesetze des Universums durch die Beziehungen zwischen den fünf platonischen Körpern bestimmt sind. Mit diesem 158-teiligen Bausatz können Sie sein Weltmodell nachbauen.
Sie lernen Keplers Inspiration, den Einfluss seiner Zeitgenossen und andere Arbeiten von ihm kennen. Außerdem können Sie das Modell konstruieren, das alle fünf Körper miteinander verbindet.