Hales Aufsatz [Der Autor hat gezeigt, dass die Vermutung besteht Kepler]: ca. 120 Seiten der konventionellen Mathematik. Aber es ist ein Computerprogramm, das analysiert rund 5.000 übrigen Fällen, für die es noch die Funktionen von mehr als 200 Variablen zu optimieren. Nach mehreren Jahren der Arbeit des Ausschusses von Experten, die Annals [Mathematik] in Auftrag Review-Artikel hat das Handtuch geworfen, das Gefühl nicht bis ins kleinste Detail prüfen in angemessener Zeit, eine Aufgabe, die im Vergleich mit der Erfassung, ein von ein, für die Richtigkeit aller Daten aus dem New Yorker Telefonbuch.

Aber hat der Ausschuss die entsprechenden Anzahl der Kontrollen, um ihren Glauben an die Richtigkeit der Test mit, sagen wir, eine Wahrscheinlichkeit von 99% halten werden. Aber ist das genug?

Ein mathematischer Beweis ist eine Kette von Überlegungen, die manchmal sehr lange unter uns von einem Start-Hypothese zu einer Theorie der Ankunft, die wahrscheinlich jedem, der die Zeit und die entsprechende Ausbildung hat, verknüpft werden. Aber das ist nicht der Testfall Hales. Die Annalen ein enormes Dilemma und die Lösung kann nicht befriedigen eklektischen Partie: der Archetyp veröffentlicht, dass die traditionellen passt, sondern diese um eine redaktionelle Warnung, dass die Prüfung hängt davon ab, ein Programm, das auf einem anderen Computer-Zeitschrift erscheint. Die Herausgeber weisen darauf hin, dass dies ein Fall der Angleichung der Mathematik auf die Praxis der experimentellen Wissenschaft ist, wie die Überprüfung der Computer muss mit den Kriterien erfolgen, die durch ein Experiment bestätigt, aber nicht mit dem traditionellen Mathematik.

Annals ist eine Jahrhunderte alte zweimonatlich erscheinende Zeitschrift veröffentlicht in Princeton (USA) gemeinsam von der Universität und dem Institute for Advanced Study. Die Anforderungen für die auf Ihren Seiten sind sehr streng: Es muss ein wichtiges Ergebnis mit Original-Techniken gezeigt. Kein Wunder, dass das Thema in den Annals of Wunsch für Mathematiker veröffentlicht wird und deren Bemühen um die besten Ergebnisse zu erzielen.

Die Verzögerung zwischen der Ankunft und der Veröffentlichung eines Artikels sind etwa zwei Jahre, aber das ist eine Tatsache, dass Annals mit anderen Zeitschriften, die nicht mehr so viel ein Instrument der Kommunikation, da die Ergebnisse im Netz, bevor Umlauf sind geteilt wird , sondern eine Garantie für Qualität. Das ist jetzt der Hauptgrund für den besten Zeitschriften. Aber diese sind in der Minderheit sind die meisten viel entspannter Kriterien: daher, dass ihre Publikationen sind oft nur Lärm und entbehrlich.

Im Gegensatz zum Beweis des Satzes von Fermat, der die überaus moderne mathematische Genie gefordert hat, glaube ich den Beweis der Kepler-Vermutung, ohne dass dadurch beeinträchtigen die Arbeit der Hales, seit Jahrhunderten durchgeführt zu haben, hatte die Kalkulations-Tools haben wir jetzt in unserer Reichweite. Bedeutet dies zeigen, dass wir an der Schwelle einer neuen Ära, wenn Maschinen für den Nachweis Sätze zuständig sein wird? Die Mathematiker sind eine gefährdete Spezies?

Ehrlich gesagt, ich glaube, die Antwort ist ein klares Nein, obwohl es eine Binsenweisheit, dass der Computer ist ein unschätzbares Werkzeug, ein fast unentbehrliches Hilfsmittel in der aktuellen Untersuchung. Aber es ist möglich, und ich würde sagen, sehr wünschenswert, dass die Maschinen in der Zukunft kümmern viele Routine und viele Demonstrationen Entwicklungen klonischen zu sehr damit beschäftigt die Aufrechterhaltung Mathematiker, die unermüdlich nach Binsenweisheit Binsenweisheit veröffentlicht. Füllen unvermindert an, mit der gegenseitigen Verweise, die Eintragung dieser grotesken Bordell, die in Philadelphia beruht. Veröffentlicht von den Maschinen, konnte dieser Künstler, nach dem guten Beispiel von Wiles und Hales, widmen ihre Bemühungen um die Lösung wirklich schwierig und interessante Probleme, die auch später erfolgen in den Annals of Mathematics.