Die Schwerkraft ist kein Bauchgefühl. Florian Aigner

Vermutung“. Sechs ist drei plus drei, acht ist fünf plus drei, vierundzwanzig ist dreizehn plus elf. Man kann das für Milliarden Zahlen nachprüfen, immer findet man mindestens eine Möglichkeit, die Zahl aus zwei Primzahlen zusammenzusetzen. Aber ob das wirklich für alle Zahlen gilt, bis ins Unendliche, ist bis heute nicht bewiesen.

      David Hilbert wäre in jungen Jahren noch völlig überzeugt gewesen, dass es nur eine Frage der Zeit sein kann, bis man entweder beweisen kann, dass die Goldbach’sche Vermutung für alle geraden Zahlen gilt, oder aber beweisen kann, dass irgendeine Zahl dagegen verstößt. Heute wissen wir: Es kann sein, dass es einen solchen Beweis einfach nicht gibt.

      Je nach persönlichem Geschmack kann man das schön oder traurig finden – es ist einfach so. Gödels Ergebnisse entwerten die Mathematik nicht, sie schärfen unseren Blick darauf, was die Mathematik aussagen kann und was nicht. Dass wir nicht alles beweisen können, mindert nicht die Zuverlässigkeit des bereits Bewiesenen. Wenn uns die Astronomie sagt, dass es viele Sterne gibt, die wir niemals sehen können, weil uns ihr Licht niemals erreichen wird, dann entwertet das auch nicht unser Wissen über die Sterne, die wir bereits kennen. Wir verstehen dadurch nur besser, auf welches Wissen wir in Zukunft hoffen dürfen und warum manches für immer im Dunkeln bleiben wird.