Kann es sein, dass man heute noch ein Fehler im Beweis von Perelman zur Poincaré-Vermutung findet oder steht die Gültigkeit fest?
Kann es sein, dass man heute noch ein Fehler im Beweis von Perelman zur Poincaré-Vermutung findet oder steht die Gültigkeit fest?
4 Antworten
wiki (Perelman) sagt
Die Arbeit Perelmans wurde lange Zeit (2003–2006) von der mathematischen Fachwelt überprüft
Das Clay-Institut in Cambridge, Massachusetts, USA, das auch die Überprüfung des Beweises durch Tian und Morgan sowie ein weiteres Team finanzierte, sprach Perelman trotzdem nach eingehenden Prüfungen am 18. März 2010 das Preisgeld für die erste Lösung eines der sieben Millenniums-Probleme zu.
.
Trotzdem ? Weil P die Anforderung , dass der Beweis in einer math Fachzeitschrift (was gleichzeitig eine Überprüfung bedeutet ) veröffentlicht wird , nicht einhielt . Der Bew steht nur im Internet
Natürlich ist auch das möglich. Da aber alle Prüfer mit dem Thema selbst geforscht haben , und mehr als einer geprüft hat , eher nich .
Und glaub mir , nix finden manchen Matheematiker besser als einem Fachkollegen , der vielleicht nach arrogant daherkommt , einen Fehler nachzuweisen . !
Dann kann man aber jeden komplizierteren ( viele Seiten ) Beweis in Frage stellen .
Sogar ,wenn man es selbst bewiesen hat , kann sich ein Fehler eingeschlichen haben .
Als konnte man sich 2010 eigentlich zu 100 % sicher sein, dass der Beweis richtig ist?
Man kann theoretisch jeden Beweis in ein Computeralgortihmus einspeisen und dieser wertet dann aus, ob der Beweis richtig ist oder nicht. (Proof checker) D.h. man bricht den Beweis bis auf die Axiome runter, wenn dann kein Widerspruch entsteht, ist der Beweis richtig. Du kannst mal nachschauen, ob die Vermutung durch einen Proof checker verifiziert wurde, dann kann man sich zu 100% sicher sein
In der ursprünglichen Fassung war noch ein Fehler, der dann schnell beseitigt wurde. Der Beweis ist damit vollständig und richtig - und inzwischen gibt es auch ein paar Vereinfachungen, denn der ursprüngliche Beweis war sehr lang und komplex.
Kann man sich sicher sein, dass der Beweis damit vollständig und richtig ist?
Wie lange hat es nach der ursprünglichen Veröffentlichung gedauert, bis man sich sicher sein konnte, dass es richtig und vollständig ist
Unzählige Mathematiker haben sich seine Theorie über einen langen Zeitraum angeschaut. Ich denke, einer hätte bestimmt einen vorhandenen Fehler gefunden.
Hätte es sein können, dass Tian und Morgan und ein weiteres Team einen Fehler übersehen hat?