Dies ist eine naive Frage, aus meiner Erfahrung heraus; Entschuldigung im Voraus.
Goldbachs Vermutung und viele andere ungelöste Fragen in der Mathematik können als kurze Formeln in Prädikatenrechnung geschrieben werden. Zum Beispiel Cooks Artikel "Können Computer routinemäßig mathematische Beweise entdecken?" formuliert diese Vermutung als
Wenn wir die Aufmerksamkeit auf polynomial lange Beweise beschränken, dann sind Theoreme mit solchen Beweisen in NP. Wenn also P = NP ist, können wir bestimmen, ob zB die Goldbachsche Vermutung in der Polynomzeit wahr ist.
Meine Frage ist: Könnten wir auch in polynomialer Zeit einen Beweis vorlegen?
Bearbeiten . Nach den Kommentaren von Peter Shor und Kaveh hätte ich meinen Anspruch begründen müssen, dass wir feststellen könnten, ob die Vermutung von Goldbach wahr ist, wenn es sich tatsächlich um einen der Sätze mit einem kurzen Beweis handelt. Was wir natürlich nicht wissen!