Sind die jetzt für&n A****?
http://www.spiegel.de/wissenschaft/mens ... 32,00.html...Die Belohnung einer solchen wissenschaftlichen Ausdauerleistung: eine Veröffentlichung in der renommierten Fachzeitschrift "Annals of Mathematics". Normalerweise. Doch Robert MacPherson, einer der Herausgeber der "Annals", zögerte zunächst - wegen der in Mathematikerkreisen nicht gern gesehenen computergestützten Beweisführung. Schließlich setzte der Herausgeber, wie das Wissenschaftsmagazin "Nature" berichtet, statt der üblichen drei gleich ein Dutzend Gutachter auf den Beweis an.
Deren Aufgabe war nicht leicht: Da es sich als unmöglich erwies, jede einzelne Programmzeile zu studieren, mussten die Gutachter die zu Grunde liegenden Gedanken, die Annahmen und logischen Schlussfolgerungen Schritt für Schritt überprüfen.
Vier Jahre später gaben sie auf. Die Experten hatten zwar keinen Fehler gefunden, konnten aber auch nicht zeigen, dass Hales' Beweis hundertprozentig korrekt ist. "Die Nachrichten der Gutachter sind schlecht", habe MacPherson ihm damals geschrieben, erzählt Hales. "Sie werden den Beweis nicht bestätigen können, weil sie einfach am Ende sind." ...
