Seit einigen Tagen liegt ein vorgeblicher Beweis der Collatz-Vermutung auf dem ArXiv, gestern schaffte es ein Artikel über den Beweisversuch sogar in die Top-Meldungen von Spiegel Online.
“eher geeignet für das Guinness-Buch der Rekorde als für ein mathematisches Journal”
“Was ist eine Kurve?”, Euklid auf Sächsisch und der Jordansche Kurvensatz.
Ein neues Angebot der Universität Edinburgh: bei TheoryMine kann man für nur 15 britische Pfund einen neuen, mit Computerhilfe gefundenen mathematischen Satz nach sich selbst oder, falls man noch ein Weihnachtsgeschenk braucht, auch nach jemand anderem benennen lassen.
Neulich beim Kaffee-Trinken ging es mal wieder darum, wie ausführlich Beweise in mathematischen Arbeiten aufzuschreiben seien.
Früher war alles besser – oder zumindest einfacher.
Wie werden neue mathematische Sätze gefunden? Standardwerkzeuge und ‘kultureller’ Hintergrund.
Mathematik zwischen Strenge und Verständlichkeit.
Von “Abstruse Goose”: Wie mathematische Beweise geschrieben werden:
Michael Freedman schlägt vor, komplexitäts-theoretische Vermutungen als zusätzliche Axiome zur üblichen ZF-Mengenlehre zu postulieren. Als Anwendung beweist er eine Ungleichung für die Weite von Knoten.
Letzte Kommentare