Eigentlich ist die Luft aus dem Thema ja langsam raus, aber das finde ich wirklich eine gute Idee: James Tauber arbeitet nach und nach in seinem Poincaré Project die Poincare Vermutung und den Beweis auf verständlichem Niveau auf.

I am currently working through the mathematics required to understand the Poincaré Conjecture and the possible solution recently proposed. I want to blog my journey and I'm starting out summarising the basic foundations of pure mathematics necessary to get to the conjecture-specific parts.
So weit ist er schon gekommen:

* Journey to the Poincare Conjecture
* Poincare Project: Thinking Like a Pure Mathematician
* Poincare Project: Adding Structure to Sets
* Poincare Project: Metric Spaces
* Poincare Project: Open Balls and Continuity
* Poincare Project: Open Sets
* Poincare Project: Topologies and Topological Spaces
* Poincare Project: Injections, Surjections and Bijections
* Poincare Project: Further Thoughts on Topologies and Open Sets
* Poincare Project: Homeomorphisms
* Poincare Project: Connectedness, Closed Sets and Topological Properties
* Poincare Project: A Basis for a Topology
* Poincare Project: The Standard Topology for Ordered Sets
* Poincare Project: Open Coverings and Compactness
* Poincare Project: More on Compactness
* Poincare Project: Separation Axioms
* Poincare Project: More on Separation Axioms
* Poincare Project: Manifolds
* Poincare Project: Switching from Analysis to Algebra
* Poincare Project: Associativity
* Poincare Project: Binary Operations
* Poincare Project: Identities and Monoids
* Poincare Project: Inverses
* Poincare Project: Groups
* Poincare Project: Paths
* Poincare Project: Topological Properties Revisited
* Paths as homeomorphisms of the closed interval from 0 to 1
* Homotopy
* Continuous Functions are between Topological Spaces not Sets
* Path Homotopy
* Homotopy as a Way of Distinguishing Topological Spaces
* Equivalence Relations
* Equivalence Classes
* Homotopy Classes and Simple Connectedness
* Closed Manifolds
* The Poincare Conjecture
* Number of Connected One-Dimensional Manifolds
* The Circle is Not Simply Connected
* Poincare Update

Die Sache mit der Million wird wohl doch nicht so einfach, Perelman möchte den Beweis anscheinend nicht in einem Fachjournal publizieren? Schreibt jedenfalls der Deutschlandfunk

Die Poincaré-Vermutung gilt als eines der kniffligsten mathematischen Rätsel der Welt. Gleichwohl scheint der russische Mathematiker Grigori Perelman das Rätsel 2003 gelöst zu haben. Allerdings hat der sehr menschenscheue Denker seine Lösung nur mündlich und im Internet vorgestellt, eine Veröffentlichung in einem Fachjournal verweigerte er bisher. Damit läuft er Gefahr, zumindest das Preisgeld von ein Million Dollar zu verlieren, das die das Clay Mathematics Institute für den Beweis der Poincaré-Vermutung ausgesetzt hat. Offenbar haben auch schon Dritte begonnen, Blätter aus seinem akademischen Lorbeer zu zupfen.
Den Beitrag gibt es auch zum Nachhören via Flash oder als Mp3.

Der Beweis von von Grigori Perelman von 2003 scheint endlich bestätigt worden zu sein, scheibt die New York Times (Anmeldung erforderlich). Ich hatte den Beweis ja schon einige Male erwähnt (und dass die eine Million von der Clay Foundation damit fällig wird). Jetzt ist Perelman natürlich heisser Kandidat für die Verleihung der Fields Medallie nächste Woche. Das scheint auch seine einzige Chance zu sein, sie zu bekommen, denn der Herr ist 1966 geboren und man darf dazu nicht älter als 40 Jahre sein... [via ./]

Die Frage, wie man rundes Obst am besten stapelt, war für die ZEIT eigentlich erledigt. Damals hieß es, der US-Mathematiker Thomas Hales habe nun bewiesen, dass man Kugeln nicht platzsparender aufschichten kann als die kunstvoll aufgetürmten Orangen-Pyramiden auf dem Wochenmarkt (ZEIT 14/99). Was man an den Fruchtständen seit eh und je intuitiv wusste, hatte den Wissenschaftlern allerdings jahrhundertelang Kopfzerbrechen bereitet.
[Weiterlesen (via mathematik.de)]

findet man unter www.beweise.mathematic.de. Sie drehen sich alle um das Thema der Unendlichkeit der Menge der Primzahlen. Vor allem die unterschiedlichen Beweisführungen sind sehr interessant!

Der bereits erwähnte Beweis zur Primzahlverteilung von Goldston und Yildirim hat anscheinend eine Lücke.

Nach dem von Goldston/Yildirim im März vorgelegten Beweis gibt es in der unendlichen Folge von Primzahlen immer wieder Pärchen mit kleinen Abständen. Doch eine Abschätzung war nach den Erkenntnissen von Granville/Soundararajan in dem insgesamt 25 Seiten umfassenden Beweispapier nicht korrekt; jetzt suchen die Mathematiker fieberhaft nach einem Workaround -- ganz so wie bei fehlerhaften Prozessoren.
[Weiter bei heise.de]

Andrew Wiles Beweis von Fermats letztem Satz soll als pdf im Netz zu finden sein. Kanns mir leider nicht selbst ansehen, bin gerade an einem etwas altertümlichen Rechner... [via de.sci.mathematik]

Dieser Artikel beschäftigt sich mit den Grenzen der Mathematik

Doch schon in den 30er Jahren zeigten die Arbeiten von Gödel, Church, Turing und anderen, daß es auch in der Mathematik Grenzen gibt. Gregory Chaitin konnte sogar zeigen, daß der reine Zufall sogar in der Mathematik zu finden ist.

Has the Riemann Hypothesis finally been proved? The proof is a couple of months old, and to the best of my knowledge a Swedish newspaper is the only one to take up the story yet, so there is certainly a possibility that this is a hoax, or a less than watertight proof.
Weiter bei Slashdot.org...