Ist eine vollständige mathematische Beschreibung der Realität möglich?

Es gibt definitiv Zustände von Systemen (wie dem Geist), die nicht quantifizierbar sind. Damit die Mathematik prinzipiell funktioniert, brauchen wir Zustände, die quantifizierbar oder messbar sind. Zeigt dies also, dass eine vollständige Beschreibung der Realität mit mathematischen Begriffen nicht möglich ist?

David Chalmers argumentiert, dass die Natur des Bewusstseins, das für subjektive Erfahrungen verantwortlich ist, dem Universum innewohnt. Ein Beispiel, das er oft anführt, ist Mary, eine Neurowissenschaftlerin, die alles über die Farbe Rot weiß, dh physikalisch weiß, die Farbe Rot immer noch nicht kennen wird, wenn sie sie zum ersten Mal erlebt.

Auch Wittgenstein in Tractatus argumentiert das

Ein logisches Bild von Tatsachen ist ein Gedanke.
Ein Gedanke ist ein Satz mit Sinn.

Aber es besteht allgemein Einigkeit darüber, dass bei Wittgenstein vieles übrig bleibt, was als Unsinn bezeichnet werden kann. Wie er selbst in seinem letzten Satz anerkennt

Worüber man nicht sprechen kann, darüber muss man schweigen.

Wenn es also Zustände auf der Welt gibt, die nicht einmal in Sprache angemessen ausgedrückt werden können, wie kann die Mathematik solche Zustände beschreiben?

Eine weitere Frage ist also, ob die Realität logisch ist?

Bitte hinterlassen Sie einen Kommentar, warum Sie denken, dass dies eine unangemessene Frage ist. Ich habe seit einiger Zeit diese Frage - wie weit lässt sich die Realität durch Mathematik beschreiben?
Wer weiß? Und warum behaupten, dass „es Weltzustände gibt, die nicht einmal in Sprache angemessen ausgedrückt werden können“. Wenn wir sie nicht mit Sprache beschreiben können, was/wo sind sie dann? Und Mathematik ist Sprache.
Mit Sprache meinte ich dort die Sprache des gemeinsamen Diskurses. Ja, Mathematik ist eine Sprache, aber sie ist nicht so flexibel wie beispielsweise Englisch. Ich denke also, dass es Aussagen geben könnte, die auf Englisch ausgedrückt und verstanden werden können, aber nicht auf Mathematik - zum Beispiel sagen wir - Kaffee ist "sehr" heiß. Ja, ich verstehe, dass es eine Frage ist, die niemand perfekt versteht, aber das bedeutet dennoch nicht, dass sich einige Leute wirklich damit beschäftigen. Mein Zweck mit dieser Frage ist also, dass jemand auf den aktuellen Stand der Forschung / Gedanken dazu hinweist.
Wir wissen auch, dass Physiker beiläufig von einer Theorie von allem sprechen. Wäre es nicht hilfreich, wenn jemand erklären könnte, was Physiker mit allem meinen. Jeder, der eine solche Theorie verfolgt, muss sicherlich verstehen, was seine Theorie beantworten wird oder nicht. Das setzt also auch voraus, diese Frage a priori zu beantworten.
Es gibt viele Objekte in der Mathematik, die nicht auf Englisch oder in Mathematik ausgedrückt werden können. Zum Beispiel fast alle reellen Zahlen. Der Grund ist einfach: Die Menge der englischen Sätze oder mathematischen Formeln ist abzählbar. Die Menge der reellen Zahlen ist größer als das – unzählbar. Die überwiegende Mehrheit der reellen Zahlen kann also nicht durch eine Formel oder einen englischen Satz benannt werden.
@ursächlich. "Also kann die überwiegende Mehrheit der reellen Zahlen nicht mit einem englischen Satz benannt werden." Aber genau das hast du gerade getan. Ich versuche hier nicht schlau zu werden, ich glaube, es gab einen Kollegen von Russell, der darauf hinwies, dass viele Dinge, die in mathematischen Notationen zusammenhangslos sind, in perfekt zusammenhängenden Sätzen beschrieben werden können,
@NelsonAlexander Wir können diese nicht benennbaren Zahlen als Satz benennen, entweder in Englisch oder in Mathematik, was ich, wie Sie sagen, gerade oben getan habe. Was wir nicht tun können, ist, irgendeinen einzelnen von ihnen zu nennen oder irgendeine Formel für einen einzelnen von ihnen aufzustellen.
Es gibt Systeme, die noch nicht quantifizierbar sind . Und Sie haben Wittgenstein falsch verstanden. Er sagt nicht, dass es „Weltzustände“ gibt, die nicht angemessen in Sprache ausgedrückt werden können, er sagt, dass wir aufhören sollten, die Sprache zu verdrehen, um „auszudrücken“, was nicht da ist, und als Ergebnis Unsinn zu produzieren. Die Frage, ob die Realität logisch ist, wäre für ihn ein Beispiel für Letzteres – Logik gilt nicht für die Realität, sondern nur für die Sprache. Ob es eine mathematische „Theorie von allem“ gibt, ist noch unklar, und es wird erwartet, dass die Fragen auf dieser Seite spezifisch und beantwortbar sind.
@Conifold 'Logik gilt nicht für die Realität' und 'Logik gilt für Sprache' - bedeuten nicht beide Aussagen zusammengenommen zumindest für Wittgenstein, dass die Natur der Realität nicht angemessen durch Sprache beschrieben werden kann?
@SwamiVishwananda Diese Frage beantwortet einen Teil der Frage, aber ich denke, die Frage hier ist umfassender und kann einige andere Antworten / Gedankengänge auslösen.
Im Gegenteil, die Logik ermöglicht das Beschreiben, zumindest in seiner idealen Sprache, zu der Tractatus eine Leiter sein soll. Logik ist eine Reihe von Montageregeln, um verbale „Bilder“ der Realität zu erstellen, eine Erweiterung der Grammatik, die verkleidetes Kauderwelsch blockiert. Sie müssen Regeln befolgen, um ein Montagepuzzle zu lösen, aber sie sagen nichts über den Inhalt des zusammengesetzten Puzzles aus. Nur weil Sie Regeln befolgen müssen, um Ihr Werkzeug richtig zu verwenden, heißt das nicht, dass sie etwas damit zu tun haben, wofür es verwendet wird.
@Conifold, so wie ich es verstehe, wird Ihnen eine Version des Arguments vorgelegt, dass - "Summe mehr / anders als ihre Teile ist" in dem Sinne, dass die Realität anders sein könnte als die Summe aller Logik und Bestandteile, die zu ihrer Beschreibung verwendet werden.
Ich vermute nur Wittgenstein, und nein, das ist nicht seine These. Ob das Ganze mehr als die Summe seiner Teile ist oder nicht, spielt dabei keine Rolle. Logik ist kein Bestandteil oder Teil einer Gesamtheit, die die Realität beschreibt, sie ist nur ein Beschreibungswerkzeug, eine Darstellungshilfe, wie Alphabet und Bleistift.
"Es gibt definitiv Zustände von Systemen (wie dem Geist), die nicht quantifizierbar sind." Sagt wer? Können Sie einen einzigen Nobelpreisträger für Physik nennen, der diese Ansicht vertritt?
(Eigentlich kenne ich einen ernsthaften Physiker, der diese Ansicht vertritt, aber selbst er gibt zu, dass sie so ziemlich allem anderen widerspricht, woran er glaubt, und dass sie sicherlich nicht auf irgendeiner physikalischen Theorie basiert, sondern nur auf einem philosophischen Argument, das ich ziemlich wackelig finde .)

Antworten (4)

Vollständigkeit in der Mathematik hat eine besondere Bedeutung . Gödels Unvollständigkeitssätze zeigten, dass dies für die Mathematik als Ganzes nicht möglich ist, und beendeten die meisten verbleibenden Teile des Hilbert-Programms, einschließlich des Ziels, die Physik zu axiomatisieren.

Stephen Hawking setzte sich hier mit den Konsequenzen für die Physik auseinander und mit der Natur dessen, was eine Theorie von allem wäre: Gödel und das Ende der Physik .

Gödels Theoreme sind antifundamentalistisch – ein „endgültiges Vokabular“ ist nicht möglich. Das liegt daran, dass die Köpfe, die Sprache erschaffen und verwenden, seltsame Schleifen sind, mit verworrenen Hierarchien, die Selbstreferenzen und Rückkopplungsschleifen enthalten. Damit ein Geist die Welt verstehen kann, muss er auch sich selbst verstehen, was sich selbst verkompliziert und mehr Verständnis erfordert, eine Aufgabe, die niemals abgeschlossen werden kann. Geister sind dynamisch, kreativ und existieren als Interaktionen, auch durch Intersubjektivität. Die bestmögliche Verständigung muss auch dynamisch, interagierend, lebendig sein.

Als kleine Spitzfindigkeit bei der Eröffnung hat Vollständigkeit in der Mathematik mehrere spezifische Bedeutungen - und Gödel selbst hat auch gezeigt , dass das logische Standardgerüst für Mathematik in einem anderen Sinne vollständig ist ! Siehe hier .
Als schwerwiegenderer Einwand schließt Gödels Unvollständigkeitssatz nur eine berechenbar axiomatisierbare vollständige konsistente Theorie aus, die eine bestimmte technische "Stärke" -Bedingung erfüllt. Hier gibt es also ziemlich viele Nuancen - eine vollständige Theorie ist möglich, sie muss nur ziemlich kompliziert sein.
@CriglCragl hier gehen Sie davon aus, dass es eine Eins-zu-Eins-Entsprechung zwischen Mathematik und Realität gibt? Denn soweit ich weiß, sagt sogar Hawkings, dass Gödels Theorem für die Mathematik das gleiche ist wie die M-Theorie für die Physik. Er impliziert nur, dass es, da Gödels Theorem für die Mathematik gilt, eine Theorie in der Physik geben könnte, die unvollständig ist, aber das ist keine ausgemachte Sache, weil wir immer noch ziemlich weit von einer physikalischen Theorie entfernt sind, die alle Phänomene beschreibt, die wir katalogisiert haben ...
...Also, im Prinzip denke ich, dass es Spielraum für Gesetze gibt, die für die gesamte physikalische Welt gelten, wie der 2. Hauptsatz der Thermodynamik, der dazu führt, dass immer neuere exotische Objekte mit sehr unterschiedlicher Physik aus grundlegenderen Komponenten hervorgehen.
@prateek: Aber kein vollständiger Satz von Gesetzen, um die Entwicklung des Universums zu verstehen. Kein Axiom oder Axiome, aus denen sich alles ableiten lässt. In Mathematik oder Physik.
@CriglCragl - Eine Version von Gödels Theorem könnte besagen, dass keine Reihe von Gesetzen uns sagen kann, ob ein beliebiger physischer Computer jemals anhalten wird oder nicht (und dies könnte Auswirkungen auf andere Arten von physikalischen Prozessen haben, die möglicherweise für immer andauern können, aber möglicherweise auch Stopp je nach Anfangsbedingungen). Aber Gödels Theorem gibt keinen Grund zu der Annahme, dass wir nicht die genauen Gesetze finden könnten, die bestimmen, in welchem ​​Zustand sich ein beliebiges System zum Zeitpunkt T1 befinden wird, vorausgesetzt, dass sein Zustand zum Zeitpunkt T0 ausreichend bekannt ist, wobei T1-T0 ein endliches Zeitintervall ist.
Es ist durchaus möglich, einen vollständigen Satz von Gesetzen für die Evolution des Universums zu haben. Das Universum ist ein eingeschränkteres Thema als die gesamte Mathematik, daher gilt Gödels Unvollständigkeitssatz nicht. Die Gesetze von Conways Spiel des Lebens lassen sich leicht niederschreiben und beschreiben vollständig, wie sich der Netzzustand im Laufe der Zeit verändert. Das Universum ist nicht so einfach, aber es ist nicht unmöglich, dass es ähnliche Gesetze haben könnte.
@causative: Stephen Hawking dachte anders, als ich verlinkte. Hat er etwas verpasst? Verstehst du Physik besser?
In Ihrem Link verwendet Hawking Gödels Unvollständigkeitssatz als Analogie zur teilweisen Unterstützung seiner Idee. Er verwendet es nicht deduktiv, um irgendetwas über Physik zu beweisen. zB "Aber dann legen unsere Erfahrungen mit Supergravitation und Stringtheorie und die Analogie von Gödels Theorem nahe, dass sogar diese Formulierung unvollständig sein wird." Es ist wichtig zu erkennen, dass Hawkings Vermutung zwar richtig sein kann und keine endliche Axiomatisierung der Physik möglich ist - ob sie richtig oder falsch ist, hängt jedoch von den tatsächlichen Gesetzen der Physik ab. Conways Spiel des Lebens ist ein Universum, in dem es falsch ist.

Um mit „Ja“ antworten zu können, wäre eine vollständige Definition von „Realität“ erforderlich. Je mehr wir über unser Universum erfahren ... unsere Realität ... desto mehr erkennen wir, wie viel wir nicht wissen. Ohne diese vollständige Definition ist diese Frage unbeantwortbar.

Eine Frage, die es möglicherweise wert ist, gestellt zu werden, lautet: "Wird unser Verständnis der Mathematik jemals ausreichen, um eine unserer Vorstellungen davon, was die Realität sein könnte, vollständig zu beschreiben?". Zu dieser Frage, wenn ich mir nur anschaue, was in den Antworten auf diese Frage gesagt wurde, würde ich sagen ... wahrscheinlich nicht.

Das hängt von den Gesetzen der Physik ab.

Beachten Sie zunächst, dass es in der Mathematik viele Objekte gibt, die nicht in Mathematik ausgedrückt werden können. Zum Beispiel wird nur ein winziger Bruchteil der reellen Zahlen von einer mathematischen Formel benannt. Der Grund ist einfach: Die Menge der mathematischen Formeln ist abzählbar. Die Menge der reellen Zahlen ist größer als das – unzählbar. Die überwiegende Mehrheit der reellen Zahlen kann also nicht durch eine Formel benannt werden.

Es ist jedoch möglich, bestimmte Gesetze zu beschreiben , die für alle reellen Zahlen gelten, auch wenn die meisten von ihnen nicht durch eine Formel einzeln benannt werden können.

Nun, hier sind einige Möglichkeiten für die Gesetze der Physik, zusammen mit den Konsequenzen jeder Möglichkeit dafür, wie gut Mathematik die Gesetze der Physik beschreiben kann. Jede Möglichkeit kann in eine der folgenden Kategorien fallen: berechenbar, berechenbar in der Grenze (näherungsweise), nicht berechenbar, aber beschreibbar, nicht berechenbar oder beschreibbar.

  1. Es kann sein, dass Raum und Zeit grundsätzlich diskret sind. Darüber hinaus kann es sein, dass die Evolutionsregel, die den nächsten Zustand des Universums aus dem vorherigen ableitet, zufällig berechenbar ist. Wenn dies zutrifft, dann kann die Mathematik nicht nur alles im Universum beschreiben – mit genügend Informationen könnte eine Turing-Maschine alles perfekt vorhersagen. (Kategorie = berechenbar)

  2. Es mag sein, dass Raum und Zeit im Grunde diskret sind, aber die Evolutionsregel nicht berechenbar ist. In diesem Fall wird, egal wie viele Informationen wir sammeln, kein Computer in der Lage sein, perfekt vorherzusagen, was die Gesetze der Physik tun werden. Es kann jedoch immer noch möglich sein, die Gesetze der Physik abstrakt zu spezifizieren, auch wenn wir sie nicht berechnen können. (Kategorie = in der Grenze berechenbar, oder Kategorie = nicht berechenbar aber beschreibbar)

  3. Es mag sein, dass Raum und Zeit im Grunde kontinuierlich sind, aber die Gesetze der Physik können durch niedergeschriebene Differentialgleichungen beschrieben werden. Beispielsweise ist die Bewegung eines Pendels kontinuierlich, wird aber durch einen einfachen Satz von Differentialgleichungen beschrieben. Wenn dies der Fall ist, ist die Mathematik in der Lage, die Gesetze des Universums zu beschreiben. Abhängig von den spezifischen Gesetzen kann es möglich sein oder auch nicht, das Ergebnis eines physikalischen Prozesses schrittweise so genau anzunähern, wie wir es wünschen. (Kategorie = in der Grenze berechenbar, oder Kategorie = nicht berechenbar aber beschreibbar)

  4. Es mag sein, dass Raum und Zeit im Grunde stetig sind und die Gesetze der Physik nicht mathematisch beschreibbar sind. Dies ist denkbar, weil die Menge aller möglichen physikalischen Gesetze sehr groß ist – mindestens so groß wie die reellen Zahlen, denn ein physikalisches Gesetz kann eine reelle Zahl als Parameter enthalten. Und die Menge aller möglichen physikalischen Gesetze, die durch eine mathematische Formel benannt werden können, ist viel kleiner – abzählbar. In diesem Fall kann keine mathematische Berechnung das, was im Universum vor sich geht, perfekt annähern oder auch nur beschreiben. (Kategorie = nicht berechenbar oder beschreibbar).

Alle vier dieser Möglichkeiten sind logisch möglich. Die Philosophie kann letztlich nicht sagen, ob das Universum mathematisch beschreibbar ist; das ist Sache der Physiker. Es ist denkbar, dass Physiker eine Theory of Everything finden, die das Universum perfekt beschreibt. Denkbar ist auch, dass die Gesetze des Universums grundsätzlich nicht durch mathematische Formeln beschreibbar sind. Das müssen Physiker herausfinden.

Der Begriff „Realität“ ist viel zu allgemein, um dies sinnvoll zu erklären. Aber ich glaube, dass die Antwort ganz klar Nein lautet ! Jede mathematische Beschreibung der „Realität“ wäre Teil dieser Realität und muss sich daher selbst beschreiben, was zu den Paradoxien der Selbstreferenz in der Mengenlehre und zu einem Droste-ähnlichen unendlichen Regress führt.

Geben Sie hier die Bildbeschreibung ein

Stellen Sie sich (kontrafaktisch) vor, dass die Gesetze der Realität zufällig Conways Spiel des Lebens sind. Conways Spiel des Lebens ist Turing-vollständig. Es ist daher möglich, dass ein Muster in Conways Spiel des Lebens eine Turing-Maschine emuliert, die selbst Conways Spiel des Lebens ausführt; Selbstbeschreibung in diesem Sinne ist kein Problem. Schauen Sie sich tangential das Konzept einer Quine an: en.wikipedia.org/wiki/Quine_%28computing%29 . Es gibt viele legitime Möglichkeiten für Systeme, sich selbst ohne Paradoxe oder Widersprüche zu beschreiben. Nur einige Wege sind problematisch.
Falls es nicht klar war, eine in Conways Spiel des Lebens emulierte Turing-Maschine, die selbst Conways Spiel des Lebens simuliert, ist eine genaue Metapher für einen Computer in unserem Universum, der selbst unser Universum simuliert. Offensichtlich kann diese Turing-Maschine nicht das gesamte Gitter simulieren, in dem sie sitzt, aber es gibt kein Problem damit, die Turing-Maschine ein kleineres Muster als sich selbst simulieren zu lassen, was bei Computersimulationen der Fall ist.
Interessant. Ich weiß nicht genug Mathematik, aber mathematische Selbstreplikatoren erschienen mir immer faul, besonders in dem mutmaßlich physikalischen, reibungsbedingten, thermodynamischen Kontext von „der gesamten Realität“. Und war nicht die Turing-Maschine selbst ursprünglich eine Demonstration der Unvollständigkeit? Ich bleibe einfach bei jeder sinnvollen Idee einer "vollständigen Selbstbeschreibung" hängen.