Jeder kennt den Witz vom Mathematiker, der in der Wüste einen Löwen fangen will, deshalb einen Zaum um sich herum baut und dann definiert: ich bin außen.

Differenzierbarkeit auf Sphären.

Noch einige Erklärungen zum mathematischen Hintergrund von SnapPy:

Sullivan und Yau erhalten dieses Jahr den Wolfpreis, neben Fieldsmedaille und Abelpreis die wichtigste Mathematik-Auszeichnung.

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.

Wie im vorigen Beitrag geschrieben, ist am Mittwoch der Preprint von Hill-Hopkins-Ravenel zur Kervaire-Vermutung auf dem ArXiv erschienen. Eine der Anwendungen, die sich daraus ergeben, ist die Klassifikation ‘exotischer Sphären’.

Am Mittwoch ist der seit April avisierte Preprint von Hill-Hopkins-Ravenel zur Kervaire-Vermutung auf dem ArXiv erschienen. Der Beweis war im April auf der Atiyah80-Konferenz angekündigt worden (wir hatten hier und hier berichtet).