Beweis 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.
Buch: 50 Schlüsselideen Mathematik
Wer hat die Null erfunden? Warum hat die Minute 60 Sekunden? Wie groß ist unendlich? Wo treffen sich parallele Linien? Und kann der Flügelschlag eines Schmetterlings wirklich einen Sturm auf der anderen Seite der Erde auslösen?
Mit anschaulichen Grafiken, zahlreichen Beispielen und amüsanten Anekdoten eröffnet das Buch auch denjenigen den Zugang, die schon bei der bloßen Erwähnung des Wortes Mathematik in Panik geraten.
Buch: Das Poincaré-Abenteuer
Das Wettrennen um das größte Rätsel der Mathematik.
George G. Szpiro erzählt den weltweiten Wettlauf um den Beweis der Poincaré-Vermutung als aufregenden Krimi. 1904 erdachte Henri Poincaré die Formel, die die Geometrie des Universums beschreiben sollte – 100 Jahre lang konnten die Giganten der Mathematik sie nicht beweisen. Bis Grigori Perelman, ein geheimnisvolles Genie aus Russland, die Lösung einfach ins Internet stellte…
Buch: Der Beweis des Jahrhunderts
Er ist möglicherweise der brillanteste Kopf der Welt und lebt äußerst zurückgezogen bei der eigenen Mutter: Masha Gessen widmet dem exzentrischen russischen Mathematiker Grigori Perelman eine Biographie.
2002 konnte er die Poincaré-Vermutung, eines der Millenium Probleme, beweisen. Deren Lösung ist mit einer Millionen Dollar dotiert. Aber Perelman lehnte ab, nicht nur das Geld, sondern zunehmend auch die Welt.
Buch: Fermats letzter Satz
„Dieses Buch ist ein Wunder.“ – Süddeutsche Zeitung
Der Satz des Pythagoras: a²+b²=c² steht im Zentrum des Rätsels, um das es hier geht. Diese „Urformel“ gilt immer und überall, aber nur in der Zweier-Potenz, mit keiner anderen ganzen Zahl. In den Notizen des französischen Mathematikers Pierre Fermat, der im 17. Jahrhundert lebte, gibt es einen Hinweis, dass er den Beweis für dieses Phänomen gefunden hat. Doch der Beweis selbst ist verschollen...
Buch: Mathematische Rätsel für Liebhaber
Film: Der Beweis
Catherine und ihr Vater Robert haben ein sehr enges Verhältnis. Als der mathematisch begabte Vater erste Anzeichen einer mysteriösen Geisteskrankheit zeigt, gibt Catherine ihr Mathematikstudium auf, um sich um ihn zu kümmern. Catherine befürchtet, an der gleichen Krankheit wie ihr Vater zu leiden und bald stellt sich heraus, dass die Gespräche, die sie mit ihm führt, wenige Tage nach seinem Tod stattfinden. Mit Trailer.
Film: Dimensions
In neun Kapiteln erzählt dieser Film anschaulich und allgemeinverständlich Geschichten aus der Mathematik, die uns auf eine Reise in die vierte Dimension vorbereiten. Die Kapitel beinhalten Themen aus Geometrie und Geographie, erzählen von Escher, Schläfli und Ptolemäus, von platonischen Körpern, komplexen Zahlen und Projektionen.
Der Film ist in mehrere Kapitel unterteilt, die zunehmend komplexere Themen behandeln. Doch gerade die ersten 5 Kapitel sind auch für Einsteiger geeignet. Viel Spaß!
Film: Fermat's Last Tango
Basierend auf der wahren Geschichte von Andrew Wiles verfolgen wir in diesem Musical den Mathematiker Daniel Keane. Er präsentiert der Öffentlichkeit seinen Beweis zu Fermat's letztem Satz. Bald darauf aber muss er feststellen, dass dieser Lücken enthält. Als ihn schließlich der Geist von Fermat heimsucht, beginnt eine aufregende Jagd nach dem vollständigen Beweis.
Schauen Sie sich den Trailer zum Film an!
Film: Hard Problems
Diese spannende Dokumentation von George Csicsery begleitet das US-amerikanische Team beim härtesten Mathetest der Welt: der Mathematikolympiade IMO. Wir verfolgen junge, aufstrebende Mathematiker bei der Qualifikation für das Finalteam und stets steht die Frage im Raum, ob dies das Team ist, dass die Olympiade 2006 gewinnen kann.
Film: Julia Robinson and Hilbert's Tenth Problem
In dieser Dokumentation lernen wir die Mathematikerin Julia Robinson (1919 – 1985) kennen, die ihr Leben lang von der Mathematik fasziniert war und entscheidende Beiträge zur Lösung von Hilbert's zehntem Problem lieferte.
Film: N is a Number
Ein Mann ohne Heimat und ohne Festanstellung: Paul Erdős war einer der produktivsten Mathematiker, der je gelebt hat. Mehr als 1.300 veröffentlichte Paper tragen seinen Namen. Ein rastloses Genie, der sein Leben damit verbrachte, von der Natur gegebene Rätsel zu lösen. In „N is a Number“ wird Paul Erdős portraitiert.