Ihre Beiträge sind uns willkommen! Schreiben Sie uns Ihre Fragen und Anregungen, Ihre Kritik oder Zustimmung. Wir veröffentlichen hier laufend Ihre aktuellen Zuschriften.
Korrektur: "Hales arbeitet deswegen seit 2003 daran, einen formal vollständigen Beweis der keplerschen Vermutung zu erstellen." - das Projekt ist seit 2014 fertig, nennt sich Flyspeck und steht komplett auf Github.
Polemik: Ich trau keinem Mathematiker, der sich selbst mehr traut als einem Computer. Die Arroganz die dafür nötig ist sollte einen von jeglichem peer review ausschließen :D
Bitte erlauben Sie Javascript, um die volle Funktionalität von Spektrum.de zu erhalten.
Ist schon bewiesen
05.11.2017, Jazzpiratehttps://github.com/flyspeck/flyspeck
Polemik: Ich trau keinem Mathematiker, der sich selbst mehr traut als einem Computer. Die Arroganz die dafür nötig ist sollte einen von jeglichem peer review ausschließen :D