Das Buch des Universums ist in der Sprache der Mathematik geschrieben
Das Buch der Natur ist in der Sprache der Mathematik geschrieben
Also kann der menschliche Geist in dem, was an der Natur mathematisch ist, eine Gewissheit erreichen, die der Gottes gleichkommt, auch wenn er davon nur sehr wenig kennt.
Das Universum ist in mathematischen Figuren geschrieben, und was man darin beweist, wird so sicher gewusst, wie Gott es weiß.
„Das Buch des Universums ist in der Sprache der Mathematik geschrieben“ ist ein Argument von Galileo Galilei (Il Saggiatore (Die Goldwaage), 1623 (§ 6); Dialog über die beiden hauptsächlichen Weltsysteme, 1632 (Erster Tag), 1623) zur Frage „Kann man sich einer Sache sicher sein?“ (Antwort: ja, durch die vernunft). Seine These: Also kann der menschliche Geist in dem, was an der Natur mathematisch ist, eine Gewissheit erreichen, die der Gottes gleichkommt, auch wenn er davon nur sehr wenig kennt. Laut der Logikprüfung von AskPhilosophy (Z3-Solver) ist das Argument nur gültig, wenn man eine Prämisse zugesteht, die der Autor nicht ausdrücklich formuliert (P4). AskPhilosophy präsentiert 3 Einwände, davon 3 mit einer dokumentierten Erwiderung, sowie den Originaltext hinter jeder Prämisse, Wort für Wort geprüft.
Im Jahr 1623 antwortet Galilei „Sarsi“, dem Pseudonym des Jesuiten Orazio Grassi, der verteidigt hatte, dem Astronomen Tycho Brahe zu folgen: Wem sonst sollte man folgen? Galilei sieht darin den Glauben, man müsse sich in der Philosophie auf einen berühmten Autor stützen. Er entgegnet, die Philosophie sei kein Werk der Phantasie wie die Ilias, bei dem es kaum auf die Wahrheit ankomme. Sie sei in einem anderen Buch geschrieben, das immer offen vor unseren Augen liege: dem Universum. Dieses Buch sei in der Sprache der Mathematik geschrieben, mit Dreiecken, Kreisen und anderen Figuren. Im Dialogo (1632) geht er weiter: Bei den Sätzen der Geometrie und der Arithmetik, die wir verstehen, kommt unsere Gewissheit der Gewissheit Gottes gleich, auch wenn Gott unendlich viel mehr weiß als wir. Dieser Gedanke ist zu einem Leitspruch der modernen Physik geworden. Er wirft auch eine Frage auf, die niemand abgeschlossen hat: Was garantiert diese Gewissheit, wenn wir von der wirklichen Welt sprechen?
klicke auf eine Prämisse, um sie zurückzuweisen
Ohne die implizite Prämisse: Ohne P4 findet der Computer einen Fall, in dem die Natur in Mathematik geschrieben ist, in dem wir vollkommene Gewissheit über bewiesene mathematische Sätze haben und in dem wir dennoch keine Gewissheit über die Natur haben: Die bewiesenen Sätze können von idealen Figuren sprechen, nicht von wirklichen Körpern.
Einwände
3Jeder Einwand ist ein Gespräch: Klicke, um zu sehen, wer erwidert und wo die Debatte steht.
SSimplicio (in Galileis Dialogo) 1632 · greift Prämisse 3 anSimplicio, der Verteidiger des Aristoteles, sieht zunächst einen Widerspruch: Der menschliche Verstand wird als größte Gabe der Natur gepriesen, dann aber heißt es mit Sokrates, er verstehe nichts. Als Salviati antwortet, indem er ihm eine Gewissheit zuschreibt, die der Gottes gleichkommt, findet Simplicio diese Redeweise „sehr entschlossen und kühn“.
ein Verteidiger erwidert
Simplicio, der Verteidiger des Aristoteles, sieht zunächst einen Widerspruch: Der menschliche Verstand wird als größte Gabe der Natur gepriesen, dann aber heißt es mit Sokrates, er verstehe nichts. Als Salviati antwortet, indem er ihm eine Gewissheit zuschreibt, die der Gottes gleichkommt, findet Simplicio diese Redeweise „sehr entschlossen und kühn“.
David Hume 1748 · greift Prämisse 4 anDie Wahrheiten der Mathematik betreffen Beziehungen zwischen Ideen. Man entdeckt sie durch das Denken allein, und sie blieben wahr, selbst wenn es in der Natur keinen Kreis und kein Dreieck gäbe. Ihre Gewissheit rührt gerade daher, dass sie von nichts Existierendem abhängen. Bei den Tatsachen der Welt bleibt das Gegenteil stets möglich, da es keinen Widerspruch enthält: Nur die Erfahrung kann uns unterrichten, und sie gibt keine demonstrative Gewissheit.
Galilei erwidert
Die Wahrheiten der Mathematik betreffen Beziehungen zwischen Ideen. Man entdeckt sie durch das Denken allein, und sie blieben wahr, selbst wenn es in der Natur keinen Kreis und kein Dreieck gäbe. Ihre Gewissheit rührt gerade daher, dass sie von nichts Existierendem abhängen. Bei den Tatsachen der Welt bleibt das Gegenteil stets möglich, da es keinen Widerspruch enthält: Nur die Erfahrung kann uns unterrichten, und sie gibt keine demonstrative Gewissheit.
Albert Einstein 1921 · greift Prämisse 4 anEinstein, ein Physiker, der Galileis Gedanken weitergeführt hat, schränkt ihn selbst ein: „Soweit sich die Gesetze der Mathematik auf die Wirklichkeit beziehen, sind sie nicht sicher; und soweit sie sicher sind, beziehen sie sich nicht auf die Wirklichkeit.“ Die moderne Mathematik trennt das Formale (das gewiss ist) von seinem anschaulichen Gehalt. Wenn man die Geometrie auf die Welt anwendet, stellt man eine Hypothese auf, die die Erfahrung widerlegen kann.
Galilei erwidert
Einstein, ein Physiker, der Galileis Gedanken weitergeführt hat, schränkt ihn selbst ein: „Soweit sich die Gesetze der Mathematik auf die Wirklichkeit beziehen, sind sie nicht sicher; und soweit sie sicher sind, beziehen sie sich nicht auf die Wirklichkeit.“ Die moderne Mathematik trennt das Formale (das gewiss ist) von seinem anschaulichen Gehalt. Wenn man die Geometrie auf die Welt anwendet, stellt man eine Hypothese auf, die die Erfahrung widerlegen kann.