Wie kann die physische Welt eine abstrakte mathematische Struktur a la Tegmark sein?

Dies ist Tegmarks kurze Formulierung des „mathematischen Universums“ (von Kritikern umschrieben als „Realität aus Mathematik“), und er gibt sich alle Mühe zu betonen, dass er das „ist“ wörtlich meint: „ Während die übliche Terminologie in Physiklehrbüchern ist, dass die äußere Realität durch Mathematik beschrieben wird, besagt die MUH [Hypothese des mathematischen Universums], dass es sich um Mathematik handelt (genauer gesagt um eine mathematische Struktur) . Deutsche gibt eine verwandte physikalische Church-Turing-These , ungefähr "jeder physikalische Prozess ist auf einer Turing-Maschine realisierbar", obwohl er etwas vorsichtiger ist.

Da schrillen bei mir alle möglichen kantischen Alarmglocken. Der Grund für „beschrieben durch“ in Lehrbüchern ist, dass „mathematische Struktur“ eine Repräsentation ist, während „physische Welt“ keine ist, sodass einer aus konzeptionellen Gründen nicht buchstäblich der andere „sein“ kann. Die Repräsentation an sich ist keine Repräsentation von irgendetwas, sie kann nur durch ein Korrespondenzschema etwas anderes darstellen, so wie ein Buch ohne einen „Leser“ (möglicherweise unbelebt) nur ein Objekt ist, das Tinte und Papier kombiniert. Im Falle einer Entsprechung zu etwas Physikalischem würde das Schema selbst normalerweise aus einigen physikalischen Vorgängen bestehen, die „Kräfte“ mit Kräften, „Massen“ mit Massen, „Bewegung“ mit Bewegung usw. in Beziehung setzen. So wird „so und so“ beschrieben Mathematik" wird üblicherweise interpretiert.

Tegmarks expansive Formulierung scheint jedoch keinen Raum für eine solche Interpretation zu lassen. Es würde nicht helfen zu sagen, dass die beteiligten physikalischen Verfahren selbst mathematische Strukturen sind oder auf einer Turing-Maschine realisierbar sind, denn was wir zu verstehen versuchen, ist genau das, was es bedeutet, dass das Physische so strukturiert oder so realisierbar ist. Wir wären wieder bei derselben Frage, nur jetzt gefragt nach den physikalischen Verfahren, die das Entsprechende bewirken. Es würde nicht helfen zu sagen, dass es anstelle von "mathematischer Struktur" auch eine physikalische Realisierung davon bedeutet, aus demselben Grund lösen beide einen unendlichen Rückschritt aus.

Was bedeutet es also? Wenn wir "beschrieben" wieder einsetzen, dann macht " physische Welt wird durch eine abstrakte mathematische Struktur beschrieben " Sinn, aber ich denke, dass Tegmark mehr will, wie "vollständig beschrieben". Ich verstehe jedoch nicht, wie man so etwas verstehen soll. Wie "belebt" man Idealitäten, ohne auf Physisches oder Übernatürliches zurückzugreifen? Alte Philosophen beriefen sich auf Gottes Kräfte ( sub specie aeternitatis ?), aber das würde für Tegmark kaum funktionieren, und es erklärt nicht.

Auf den ersten Blick sieht es so aus, als hätte Tegmark hier einfach einen groben Kategorienfehler begangen. Ich werde die Zeitung genauer lesen und berichten.
Um den alten Witz zu paraphrasieren: Biologen halten sich für Chemiker, Chemiker für Physiker, Physiker für Gott und Gott für eine Turing-Maschine.
Wenn Pferde Götter hätten, bemerkte Xenophanes, würden sie wie Pferde aussehen. Das gilt offenbar auch für Mathematiker. Aber ich verstehe nicht, warum Tegmarks Position die physische Korrespondenz ausschließt. Es kehrt nur das Verhältnis von „Beschreibung“ zu „Rezept“ um. Eine mathematische Ontologie verleiht allem, was mathematisch definierbar oder "nicht unmöglich" ist, Existenz. Das Physische wird nur eine Reduktion aller mathematischen Möglichkeiten auf so etwas wie Kants raumzeitliche „Form der sinnlichen Anschauung“, die bereits eine „Vorstellung“ ist. Ist das nicht nur Kant mit „kategorialer“ Mathematik?
@nelson Alexander: Kommt für Kant das Gedankenzeug nicht vorher; sowie das Noumenal?
Wenn man denkt, dass Geist-Stoff eine wesentliche Verbindung mit dem Noumenalen hat; dadurch klingt es eher nach Atman und Brahman; aber ich könnte Links machen, wo eigentlich keine sind; Es wäre interessant, einen Einblick zu bekommen, wie die indische Philosophie die deutsche Philosophie zu Kants Zeiten beeinflusst hat.
Drückt Tegmark hier nicht einfach einen strukturalistischen Standpunkt aus, oder genauer gesagt einen in restrukturalistischen / aristotelisch-realistischen Standpunkt, wobei die Objektivierung einer mathematischen Struktur durch ihre reale Instanziierung erfolgt. Ich habe eine entsprechende Antwort gepostet, aber gelöscht, da es völlig unmöglich erscheint, dass Sie sich dieser Sichtweise nicht bewusst sind. Es wäre jedoch hilfreich für mich zu wissen, warum Sie dies nicht als Antwort betrachten würden.
@NickR Nun, es müsste eher platonisch als aristotelisch sein, da unter Hylomorphismus die "Struktur" von der "Materie" nicht trennbar ist. Und sowohl Aristoteles als auch Plato haben „Wissende“, um entweder Ideen mit sinnlichen Dingen zu verbinden oder Formen aus ihrer physischen Materie zu entfernen, was genau das Stück ist, das angeblich in Tegmarks „mathematischem Universum“ fehlt. Daher meine Verwunderung.
@Conifold Notiz an mich selbst: Überprüfen Sie die Klassiker - längst überfällig. Ich habe gerade erst angefangen, über Strukturalismus zu lesen. Ich schätze, mein Verständnis ist immer noch ziemlich ungebildet.
Ich habe einige Zeit damit verbracht, darüber nachzudenken und zu versuchen, da ich vielleicht nicht verstehen kann, was Tegmark vorschlägt. Doch etwas daran scheint richtig zu sein. Sie sagen, Sie haben „kantische“ Bedenken, aber da eine mathematische Struktur (als Ding, nicht als Beschreibung) nur im Kopf existieren kann, scheint dies eine eher kantische Idee zu sein. Aber so wie es ist kann ich es nicht nachvollziehen. Ich nehme an, man könnte die Matrix eine mathematische Struktur nennen, aber die Köpfe, die sie instanziieren, sind nicht Teil des mathematischen Systems. .
„mathematische Struktur“ ist eine Repräsentation, „physische Welt“ dagegen nicht. Ist das nicht ein Argument gegen mathematischen Platonismus im Allgemeinen? Oder glaubst du, man kann ein mathematischer Platoniker sein und trotzdem denken, dass alle mathematischen Formen Repräsentationen sind? Wenn ja, welche Form würde die Mandelbrot-Menge oder ein zellulärer Automat wie Conways Spiel des Lebens darstellen? Wie auch immer, für diejenigen, die den mathematischen Platonismus nicht rundheraus ablehnen, habe ich hier eine Antwort gegeben, die einen Weg zeigt, Tegmarks Vorschlag philosophisch zu verstehen .
@Hypnosifl Platons Formen sind keine mathematischen Strukturen im modernen Sinne. Sie sind fast lebendig und wirken auf Sinnliche durch Teilhabe, im Neuplatonismus geschieht dies durch die Kräfte des Geistes Gottes, von denen sie Teile sind. Wenn Tegmark so etwas befürworten würde, gäbe es kein Problem, aber ich bezweifle, dass er bei seinen Kollegen viel Anklang finden würde. Das Problem ist, dass er es in beide Richtungen will, platonische Formen mit unglaublichen Kräften haben und sie auch mit der Seriosität eines Physikers auffressen. Der moderne mathematische Platonismus erfordert keine physische Aktion, daher hilft er Tegmark überhaupt nicht.
Wenn Sie sich in Ihrem letzten Satz auf "modernen mathematischen Platonismus" beziehen, habe ich auch daran gedacht, als ich meinen Kommentar abgegeben habe, und ich habe mich nicht auf Platons spezifische Ideen bezogen. Aber ich verstehe nicht, was Sie in diesem Satz mit "erfordern einer körperlichen Aktion" meinen. Wenn Sie sich meine verlinkte Antwort auf den anderen Thread zur Interpretation von Tegmarks Vorschlag im Hinblick auf die Idee psychophysischer Gesetze (oder vielleicht „psychomathematischer Gesetze“) ansehen, die dazu führen, dass bewusste Erfahrungen in jeder mathematischen Form mit der richtigen Struktur entstehen, würden Sie sagen Gibt es da irgendeine "physische Aktion"?
@Hypnosifl Es ist sehr lang und ich habe jetzt keine Zeit, es genau zu lesen, aber die Identifizierung von abstrakt mit mental, unter Berufung auf psychophysische Gesetze, Bewusstsein, subjektive Erfahrung usw., ist für die meisten Mathematiker (wegen Psychologismus) und Physiker nicht sehr attraktiv (aus Idealismus), die die Zielgruppe von Tegmark sind. Die Reaktionen auf Penrose sind in dieser Hinsicht aufschlussreich. Und davon hält sich Tegmark in seinen MUH-Ausstellungen fern. Er versucht den Eindruck zu hinterlassen, dass dünner moderner Platonismus ausreicht, aber das billigt nur kausal träge Abstraktionen, ist es also nicht.
Ich glaube nicht, dass die Reaktion auf Penrose etwas über die Empfänglichkeit der Wissenschaftler für psychophysikalische Gesetze aussagt, weil er vorschlägt, dass die Erklärung menschlichen Verhaltens neue Gesetze der Physik erfordert. Anekdotisch denke ich, dass Sie viele Wissenschaftler finden können, die sich in ihrem Verständnis von Verhalten wie hartgesottene Materialisten verhalten, aber die Argumente im Stil von Chalmers/Nagel sympathisieren, dass es noch ein weiteres Mysterium in der subjektiven Erfahrung gibt. Zum Bsp. TH Huxley, Darwins Kollege und Hauptverteidiger des Darwinismus in Debatten, scheint ein Epiphänomenalist gewesen zu sein .
Für einige neuere Beispiele siehe Kommentare des Kognitionswissenschaftlers Steven Pinker hier oder den Artikel des Neurowissenschaftlers Christof Koch hier . Koch ist einer der Befürworter der „integrierten Informationstheorie“, die als eine Art psychophysisches Gesetz vorgeschlagen wurde, das den „Bewusstseinsgrad“ physikalischer Systeme bestimmen würde, und Tegmark befürwortet dies auch, wie ich in dem anderen Thread besprochen habe.

Antworten (7)

Douglas Hofstadter würde das eine seltsame Schleife nennen. Wenn man glaubt, dass Mathematik die Realität "vollständig beschreiben" kann, kann man behaupten, dass die Realität eine Teilmenge der Mathematik ist. Empirisch gesehen würden diese beiden identisch aussehen. Tegmark argumentiert, dass Sie sich dafür entscheiden können, die Realität in die Mathematik zu stecken, anstatt die Mathematik in die Realität zu stecken. Wie alle Ontologien ist sie sehr schwer zu hinterfragen. Wenn Sie sagen, dass Realität nicht Mathematik ist, und er sagt, Realität ist Mathematik, wie können wir dann wirklich entscheiden, welche davon „richtig“ ist?

Seine Theorie enthält einige interessante Fäden, an denen man ziehen kann. In CUH (seiner Computable Universe Hypothesis) argumentiert er, dass die gesamte Welt berechenbar ist. Nicht entscheidbare Dinge, wie das Problem , dass Bandlücken nicht entscheidbar sind, werden gelöst, indem festgestellt wird, dass nur die Beschreibung von Dingen berechenbar sein muss, nicht die tatsächliche zeitliche Entwicklung davon. Dies impliziert, dass er die Realität und die Beschreibung der Realität als ein und dasselbe betrachtet. Er gibt auch bereitwillig zu, dass dies bedeutet, dass unser Universum Fragen enthalten kann, die innerhalb des Universums nicht beantwortet werden können.Ob dies in der eigenen Ontologie akzeptabel ist oder nicht, ist die eigene Sache. Es gibt jedoch einen Einblick, wie er die Dinge sehen würde. Wenn es in der Realität etwas gäbe, das nicht vollständig aus einer mathematischen Struktur besteht, könnte er es so behandeln, als wäre es etwas, das mathematisch beschrieben werden kann, aber nicht entscheidbar ist. Sie wären nicht in der Lage, einen logischen Prozess zu finden, um seine Behauptung zu widerlegen, denn seine Behauptung ist, dass man seine Behauptung innerhalb dieses Universums weder beweisen noch widerlegen kann.

Paradoxerweise könnten Sie auch nicht auf unsere nicht-mathematische Realität zeigen. Wenn Sie ihn erfolgreich in Begriffen darauf hinweisen könnten, die er als Identifizierung eines Objekts erkennen würde, müssten Sie dies in einer formalen Sprache tun (er würde nichts anderes akzeptieren). Damit liefern Sie eine mathematische Beschreibung für die Sache (Sie haben dafür eine formale Sprache verwendet), und er könnte auf seiner Behauptung bestehen, dass es sich lediglich um eine unentscheidbare Zeitentwicklung handelt, buchstäblich bis zum Ende der Zeit.

Am Ende würde ich seine Theorie als prüfbar, aber nicht falsifizierbar bezeichnen. Er argumentiert, dass er überprüfbare Hypothesen aufstellt, dass wir mehr mathematische Strukturen finden werden, aber es gibt nichts in der Theorie, das eine Poppersche Falsifikation zulässt. Damit steht sie neben vielen asiatischen Konzepten wie der Traditionellen Chinesischen Medizin, die eine Prüfung, aber keine Fälschung zulassen. Daher muss seine Theorie genauso Anwendung finden wie die TCM. Es wird von Menschen aufgegriffen, die das Gefühl haben, dass ihr Leben dadurch verbessert wird, aber es wird von der Wissenschaft abgelehnt, weil es nicht den strengen Regeln entspricht, die die Wissenschaft heute anwendet.

Ich denke, Tegmarks CUH ist stärker als das: Er argumentiert , dass alle berechenbaren Strukturen existieren . Eine seltsame, wenn auch plausible Kombination aus Everetts Multiversum und Computerplatonismus.
Mein Problem ist nicht der Unglaube, wenn ich sagen würde, „Wahrheit ist ein Organ“, würde ich gefragt werden, was ich mit „ist“ meine, bevor es überhaupt dazu kommt, und zu antworten, dass ich die Wahrheit in den Körper einbette, wird es nicht schneiden. Dies unterscheidet sich vom Unglauben an Gott sagen, wo die Bedeutung klar ist. Ich vermute auch, dass das Ausbuchstabieren von „ist“ MUH aus den gleichen Gründen inkohärent machen könnte, aus denen „Welt“ der rationalen Metaphysik inkohärent war, wie Kant in der ersten Antinomie gezeigt hat.
Mathematische Universen wurden schon früher vorgeschlagen, zB von Platon, Leibniz oder kürzlich Penrose, aber sie hatten Extras, fantastische, damit sie funktionieren. Extras durch unverständliches „ist“ zu ersetzen, ist keine Lösung. Wenn alles MUH darauf hinausläuft, dass wir mehr Struktur entdecken werden, ist es nicht prüfbar, fast jede klassische Erkenntnistheorie „sagt“ das voraus, einschließlich der von Kant. Dies sind legitime Bedenken, Argumente und Meinungsverschiedenheiten können nur auftreten, nachdem Meinungen verständlich, kohärent (oder zumindest parakonsistent, wenn man dorthin gehen möchte) und nicht leer gemacht wurden.
„Damit steht es in einer Kategorie neben vielen asiatischen Konzepten wie der Traditionellen Chinesischen Medizin, die eine Prüfung, aber keine Fälschung zulassen.“ AFAICT TCM WURDE getestet UND als falsch erwiesen, also ist diese Behauptung auch falsch. Ob seine Praktizierenden die Fälschung akzeptieren wollen oder nicht, ist eine andere Sache.
Nebenbei bin ich auch neugierig auf etwas anderes: Wenn das Universum nicht berechenbare Elemente enthält, sind sie für jede Art von "nicht-algorithmischer Berechnung" nutzbar , zB um einen Nicht-Computer-"Computer" zu bauen, der lösen kann das Halteproblem? (Zum Beispiel können wir keinen Computer bauen, um das Phänomen zu bestimmen, aber wir könnten das Phänomen selbst als "Engine" der Berechnung über die Fähigkeiten endlicher Turing-Computer hinaus verwenden?)
Wenn wir uns dies noch einmal ansehen, scheinen dies keine "nicht entscheidbaren Phänomene " zu sein, dh als ob wir einen physikalischen Prozess gefunden hätten, der die Bits von Chaitins Omega ausgibt, sondern eher "nicht entscheidbare Fragen , die wir über Phänomene stellen können, die aus der Dynamik kommen Gesetze, die vielleicht noch auf einem Standard-Rechner ausführbar sind". Zum Beispiel ist Conways Spiel des Lebens ein einfaches, vollständig mathematisch beschreibbares (sogar für ein Kind!) "Universum", dessen dynamische Gesetze auf jedem Computer im Turing-Stil mit perfekter Genauigkeit ausgeführt werden können. Es gibt jedoch (Fortsetzung )
(Fortsetzung) Fragen dazu , die nicht so entschieden werden können, zB gibt es keinen Algorithmus, der entscheidet, ob ein bestimmtes Muster irgendwann aufhört zu wachsen oder für immer wächst. Unentscheidbare Fragen zu haben, die man darüber stellen kann, macht die Grundgesetze dann nicht unmathematisch oder nicht berechenbar. Wenn es andererseits einen physikalischen Prozess gibt, der beispielsweise die Ziffern eines Chaitin-Omega auf unbestimmte Zeit ausgibt, dann IST das Universum definitiv auf nicht berechenbaren Gesetzen basiert. (Fortsetzung)
(Fortsetzung) Aus dritter Hand aber, woher sollen wir das wissen? Es könnte sein, dass der Prozess nach etwa 10^1000 Jahren aufhört, Ziffern von Chaitin Omega herauszupumpen, oder sich zu wiederholen beginnt, wodurch nur eine (im zweiten Fall rationale) Annäherung entsteht. Aber wir könnten es niemals empirisch falsifizieren; Die Materie selbst wird wahrscheinlich vor etwa 10^200 Jahren zerfallen, und die Menschen werden mit ziemlicher Sicherheit noch lange vorher ausgestorben sein. Somit wird die Schlussfolgerung nicht geändert; die Berechenbarkeit oder "Mathematik" des Universums ist keine empirisch lösbare Frage.
(Interessanterweise würde uns das sagen, wenn der Prozess Chaitin Omega 10^1000 Jahre lang produziert und dann abgedreht hätte (wir könnten ihn nie ausführen, aber wenn wir ihn auf andere Weise ableiten würden), dass wir wahrscheinlich keine Hoffnung haben, ihn niederzuschreiben die genauen Gesetze des berechenbaren Universums, wenn dem so ist, denn die Ziffern von Chaitin Omega sind algorithmisch zufällig und daher würde es eine Reihe von "Gesetzen" in der Größenordnung von 10^1000 Jahren erfordern, um sie alle aufzuschreiben, oder a Formel ähnlicher Länge, um eine bestimmte Konstante darin aus Grundprinzipien zu berechnen.)
@mike3 Das ist das Interessante an nicht-algorithmischer Berechnung: Es gibt keinen bekannten Grund, warum dies nicht möglich ist, aber es kann furchtbar schwer zu nutzen sein. Wir in der modernen Welt sind so sehr an berechenbare Dinge gewöhnt, dass es unangenehm sein kann, darüber nachzudenken, was in einer Menge, die nicht berechenbar ist, getan werden kann und was nicht. Andererseits ist es auch wichtig, sich daran zu erinnern, dass wir noch nie eine Turing-Maschine gebaut haben und höchstwahrscheinlich auch nie bauen werden. Irgendetwas an diesem unendlichen Band macht die Sache immer schwierig.
@mike3 Und was die Fälschung der TCM angeht, denke ich, dass diese Situation auf eine unglaublich wichtige Sache hinweist, die der Schlüssel zum Verständnis der Wissenschaft ist: Fälschung ist relativ zu der Person, die das Urteil fällt – hat es immer getan und wird es immer tun. Wenn wir das vergessen, dann beginnt die Welt weniger Sinn zu machen. Zum Beispiel beginnen wir verwirrt darüber zu werden, wie irgendjemand möglicherweise an die globale Erwärmung zweifeln könnte. Es macht keinen Sinn, bis Sie bedenken, dass ihre Definition dessen, was als Fälschung gilt, anders ist als Ihre. Dann müssen wir herausfinden, was wir dagegen tun können, was ein ganz anderes Thema ist.
@Cort Ammon: Ja, was bedeutet, dass wir im Wesentlichen auch nicht jede Turing-Berechnung tatsächlich berechnen können (einige erfordern zu viel „Band“, um in das gesamte Universum zu passen. Um dies zu sehen, beachten Sie nur, dass die Menge aller berechenbaren Turing-Probleme zählbar unendlich ist , aber die Anzahl der Bits, die wir im zugänglichen Universum speichern können (z. B. Bekenstein-Hawking-Entropie), ist endlich, daher ist die Exponentialfunktion davon (Anzahl der Strings, die wir speichern können) auch endlich.). Das heißt, wir haben nur eine "Insel" von Turing-rechenbaren Problemen, die uns zugänglich ist. (Fortsetzung)
(Fortsetzung) Dennoch könnte die Frage bestehen, ob uns das Universum nicht auch eine "Insel" von nicht -Turing-berechenbaren Problemen zulässt. (Obwohl Sie vielleicht sagen könnten, dass es könnte, weil wir nur wieder mit der gleichen Begründung in der Lage sein werden, eine endliche Menge von Instanzen zu lösen, und das könnte theoretisch auch mit einer Turing-Maschine geschehen, wenn nicht anders, indem Sie sich nur etwas vorstellen das endliche Turing-Programm, das jede Antwort brutal kodiert. Vielleicht ist dies nicht eindeutig, aber wir könnten immer noch fragen, ob es eine "elegante" Lösung erlaubt, dh eine viel kompaktere als diese.)
Außerdem möchte ich darauf hinweisen, dass ich, wie bereits erwähnt, nicht sicher bin, ob die "Nichtentscheidbarkeit der Bandlücke" das Universum nicht mathematisch macht. Denn man kann nicht-algorithmisch entscheidbare Fragen über ein algorithmisches System stellen (z. B. sogar eine Turing-Maschine, das ist das ganze Geschäft mit dem "Halteproblem"). Doch Turing-Maschinen sind definitiv mathematisch und algorithmisch.
Auch in Bezug auf die TCM, ja, die Falsifizierbarkeit liegt "im Betrachter", aber sie ist dann keine Eigenschaft von "Konzepten".
Mathematische Systeme sind endlich und abgeschlossen, wobei die Definitionen „außerhalb“ von ihnen gemacht werden. Seltsame Schleifen berücksichtigen dies und geben der Entstehung von Bedeutung aus Informationen durch subjektive Erfahrungen eine Rolle .

Wenn Mathematik der Aufbewahrungsort dessen ist, was sich alle Menschen intuitiv vorstellen können, dann kann alles, was hinter der materiellen Welt liegt, eine mathematische Struktur sein oder auch nicht, aber die Gesamtheit dessen, was wir jemals über die äußere Welt verstehen können, wäre es.

Angesichts dieser Theorie darüber, was Mathematik ist, lautet die Frage dann in Stufen fortschreitender Aggressivität:

  1. warum wir annehmen, dass es einen Rest gibt,
  2. ob wir überhaupt von der Existenz eines Restes wissen können, und
  3. ob, wenn wir sicher sind, dass wir es nicht wissen können, es logischer ist, einfach anzunehmen, dass es keine gibt.

Wie ich es sehe, schlägt Tegmark nur das genaue Gegenteil des kantischen Noumena-Begriffs in indirekter Form vor. Selbst für Kant ist die Natur von Noumena per definitionem eine unlösbare Frage. Wenn wir uns logisch auf Noumena für irgendeinen anderen Zweck als Inspiration verlassen würden, würde unsere Unfähigkeit, auf sie zuzugreifen, der Vorstellung widersprechen, dass wir voll und ganz in der Lage sind, Intelligenzen zu werden und Dinge wie moralisches Handeln zu tun.

Der einzige wirkliche Ausweg, der Noumena überhaupt intakt lässt, scheint die Hegelsche Antwort zu sein, dass wir uns ständig auf sie „zubewegen“. Aber Mathe selbst funktioniert nicht so: Was damit verbunden ist, wird gelöst, auch wenn Sie kein Platoniker sind. Ein mathematisches Modell der Dialektik wäre also eine einzige mathematische Struktur, unabhängig davon, ob sie es ermöglicht, alles mit einem einzigen Durchgang durch einen gegebenen Evolutionsprozess zu lösen oder unendlich viele Umkehrungen erfordert oder ob es sogar von jedem möglichen Verstand navigiert werden kann . Es ist immer noch der Abschluss einer Reihe von Folgerungen, die wir aufgrund unserer gegebenen Natur nicht in Frage stellen können. (Vermutlich sind mehr als zählbar viele Grundbegriffe beteiligt, da sonst die Natur der Sprache uns davon abhält, zum Abschluss zu kommen.) Der Endpunkt der gesamten Dialektik muss Teil des Modells sein.

Mathematik hat die Topologie hinter sich gelassen, und Grenzwerte machen uns keine Sorgen mehr. Wir kommen also nicht um die Frage von Ledger-de-Main herum. Noumena sind entweder Teil unseres Modells oder nicht. Aber wenn wir sie haben, können wir immer noch nichts über sie wissen – nicht einmal, ob sie wirklich da sind oder nicht.

Was ist in diesem Fall der Unterschied? Was diese Formen übersteigt, ist für uns verloren, und wir werden nichts darüber verstehen, geschweige denn beweisen können. Jede Seite einer Aussage, unabhängig von Ihrem System, ist offen für eine verlustfreie Übernahme in die Wahrheit.

Tegmarks Behauptung ist also zumindest eine unwiderlegbare Behauptung und eine, die den Rahmen von Occams Rasiermesser festlegt. Um dies zu bezweifeln, müssen wir nicht nur unnötige Entitäten erschaffen, sondern auch anerkennen, dass diese Entitäten für uns absolut nicht hilfreich sind, da sie notwendigerweise unerkennbar und unberücksichtigt bleiben.

Was ist das Risiko, anzunehmen, dass es wahr ist, da wir nie etwas darüber wissen können, warum es falsch sein könnte?

Die Verlängerung durch die Deutsche ist ungerechtfertigt und fast ohne Zusammenhang. Keine Turing-Maschine kann Zufälligkeit berechnen. Es gibt nur so viele Zustände, und wir werden in sie zurückgezogen. Ideen wie die hinter der klassischen Quantentheorie usw. sind also nicht mit Deutsch vereinbar. Tatsächlich macht Deutsch den gleichen Fehler, den Nietzsche beim Ableiten der ewigen Wiederkehr macht, nur in Bezug auf Nicht-Berechenbarkeit und nicht auf chaotische Dynamik. Willkürlich nah zu sein ist nicht richtig, und in endloser Zeit zeigt die Lücke schließlich eine Wirkung.

Aber „alles was wir verstehen können“ und „alles was ist“ haben sehr unterschiedliche semantische und logische Eigenschaften, nicht zuletzt wegen der Unbestimmtheit der Ausdrucksmittel. Es gibt keine „geteilte Realität“ als fertiges Ding. Das Ignorieren des Unterschieds, in kantischer oder anderer Form, führt zu phantasielosen Übungen sowohl über die Realität als auch über das Verständnis und erschwert es, die Grenzen bestehender Mittel zu erkennen und neue zu entwickeln. Das meiste, was wir in Biologie, Psychologie und Geschichte wissen, ist aus einem bestimmten Grund nicht mathematisch. Aber abgesehen von der Subtilität schließt Tegmark Ihre Interpretation ausdrücklich aus.
Ich stecke im dialektischen Land fest. Also, nimm es von dort. Aus evolutionärer Sicht sollten wir einen Punkt erreichen, an dem „wir als Gott Gott kennen“. Wo wir jede Tatsache angesprochen und die richtige Perspektive dazu eingenommen haben. Es sollte also kein einzelnes Ding geben, das wir tatsächlich nicht wissen können (auch wenn wir nicht gleichzeitig gegensätzliche Dinge wissen können). Und was ist nicht mathematisch? Aus der Sicht des Eröffnungssatzes, Hinweis. Die moderne Mathematik enthält all diese Formen – Beziehungen, Grade, Prozesse, Strukturen …
Ich bin mir nicht sicher, ob Tegmark dies ausschließt, es ist keine „Darstellung“ oder „Interpretation“, es ist „Verkörperung“.
Evolution ist nicht teleologisch, es gibt mehrere Verzweigungen und keinen Omega-Punkt, also gibt es keine rückprojizierte „richtige Perspektive“ auf irgendetwas. Mehrere sind für verschiedene Zwecke "richtig", sogar in der Physik, geschweige denn in der Biologie. Heutige Konzepte, wie „individuelle Dinge“, funktionieren nicht einmal für einige existierende physikalische Theorien und werden wahrscheinlich in zukünftigen nutzlos werden. Versuche, eine mathematische Semantik sogar der natürlichen Sprache zu konstruieren, gingen aufgrund des inhärenten Pluralismus und der Mehrdeutigkeit nicht weit, Mathematik mischt sich nicht gut mit Mehrdeutigkeit.
Das gesamte Everett-Universum möglicher Welten ist eine richtig mathematische Struktur, ebenso wie parakonsistente Logiken. Mathematik braucht keine klassische Struktur, noch sagt die Geschichte zukünftiges Potenzial voraus. Die Zeit kann so komplex wie nötig parametrisiert werden. All diese Zweige sind dialektische Pfade. Sie geben der Symbolik kurzen Prozess, wenn Sie diese echten Einschränkungen mathematischer Modelle berücksichtigen. Sie sprechen bisher von den Grenzen der Mathematiker und der klassischen Logik und nicht von den Grenzen der Mathematik.
Everetts Multiversum besteht nicht aus „möglichen Welten“, das würde Erhaltungssätzen widersprechen, „mögliche Weltgespräche“ leiden an sich an der Problematik des fehlenden Zugangs, und Unvollständigkeit impliziert, dass sich „dialektische Pfade“ sowieso nicht in eine einzige Struktur stopfen lassen. "Mathematik" mag keine Grenzen haben, aber wir wissen nicht, was solche "Mathematik" bedeutet, wir können nur in heute verständlichen Begriffen sprechen, oder wir verstehen nicht, wovon wir sprechen. Ich mache mir keine Sorgen um verbale Formalitäten, vertraute Hinterhöfe auf die Welt zu projizieren ist keine Quelle großer Einsichten.
Sie stellen eine Frage darüber, was möglicherweise eine mathematische Struktur sein könnte. Angenommen, Sie wissen bereits, welche mathematischen Strukturen Sie zulassen werden, war es sinnlos, die Frage zu stellen. Wenn Sie darauf bestehen, dass Mathematik mit bekannten Aspekten der Realität nicht umgehen kann, warum sollten Sie dann überhaupt Tegmarks Hypothese in Betracht ziehen?
Unvollständigkeit sagt überhaupt nichts Nützliches über Strukturen wie Everetts aus, die mehr als kontinuierlich viele Symbole haben, und das ist nur der einfachste Weg, um zu versuchen, mögliche dialektische Pfade zu modellieren, also sagt es sicherlich nichts Nützliches über alle möglichen Erklärungspfade aus. Abgesehen vom Vokabular scheinen Sie die Optionen einfach ausschließen und die Frage verwerfen zu wollen, ohne Optionen in Betracht zu ziehen, die noch nicht vor unserer Geburt abgedeckt waren.
Ich frage nicht, was möglicherweise eine "mathematische" Struktur sein kann, oder schreibe vor, was die "Mathematik" (der Zukunft) handhaben kann oder nicht, weder ich noch Tegmark wissen, was sie "zulassen" wird. Aber er bringt seine Hypothese heute voran, und es ist fair zu fragen, was sie jenseits leerer Worte ist. Mögliche Weltgespräche und platonische Vervollständigungen sprengen oft bekannte Blasen auf die Größe von "alles, was ist", im Gegenteil, ich bitte um mehr Optionen, Einblicke, wie Mathematik realer gemacht werden kann, nicht um Aussagen. Unvollständigkeit tritt ein, weil sie uns sagt, wie wir es nicht tun sollen, da wir keinen platonischen Zugang haben.
Dies erscheint mir als Ausweichmanöver durch Erbsenzählerei. Sie brauchen einen ziemlich starken Dualismus, um einen Unterschied zwischen den beiden Fragen "Was sind die Grenzen dessen, was mathematisch sein kann?" und "Kann die gesamte (physikalische) Realität mathematisch sein?". Wie ich es sehe, schlägt Tegmark wirklich nur das Gegenteil von Kant vor - dass Phänomene (die mathematisch sind, wenn Sie die Definition von Mathematik aus der ersten Zeile der Antwort akzeptieren) keine Noumena benötigen, um sie zu stützen. Wenn Sie nur die Eröffnungsprämisse ablehnen, müssen Sie den Rest des Beitrags nicht grob herablassend behandeln.
Ich habe meine Verteidigung in den Beitrag selbst eingefügt, da diese Kommentare etwas sperrig werden.
Vielleicht war ich nicht klar genug, beide Fragen sind strittig, weil die Antworten darauf bedeutungslos sind. Ein sinnvoller Vorschlag wäre, nicht mathematische Aspekte der Realität zu nehmen, zu analysieren, was die Hindernisse sind, und Ideen zu ihrer Überwindung zu skizzieren. Die Analogie wäre Michelson, der 1902 über „einen einzigen kompakten Körper wissenschaftlicher Erkenntnis “ dozierte, wo „ alle Phänomene des physikalischen Universums … Manifestationen der verschiedenen Bewegungsmodi einer alles durchdringenden Substanz – des Äthers “ im Vergleich zu Einstein sind tatsächlich (übrigens unter kantischen Einflüssen) an einer Synthese jenseits solcher Projektionen arbeiten.
Wenn Sie letztere Frage für bedeutungslos halten, warum fragen Sie danach? Ich dachte, du wolltest einen Sinn daraus machen und es nicht nur sinnlos verwüsten. Und angesichts der Definition von Mathematik, die ich verwende (die eine unmittelbare Folge der MUH sein muss, wenn nicht sogar eine Voraussetzung dafür, dass sie überhaupt Sinn macht), können Sie von nichts "nicht mathematische Aspekte nehmen". Zu dem Zeitpunkt, an dem Sie es "nehmen" und es als Objekt behandeln, haben Sie es auf Symbole reduziert, wenn auch nur unscharfe, ob dies Ihre Absicht war oder nicht.
Ich versuche herauszufinden, ob Tegmark tatsächlich etwas nicht Triviales im Sinn hat, auch wenn er es ungeschickt ausdrückt. Aber ich habe die üblichen platonischen Bewegungen, die Sie vorgeschlagen haben, durchdacht, sie funktionieren nicht ohne ein gottähnliches Add-On. Ihre Definition von "Mathematik" ist für mich unverständlich und wahrscheinlich inkohärent, weil "all das ..." stark selbstbezogen ist, ich bezog mich auf die umgangssprachliche. Zum Beispiel sind Probleme bei der Mathematisierung der biologischen Evolution wahrscheinlich auf den derzeitigen Mangel an mathematischen Konzepten für indeterministische dynamische Systeme zurückzuführen, die nicht im einfachen Sinne der QM probabilistisch sind.
Meiner Meinung nach ist das Einzige, was hier nicht platonisch ist, dass die Semantik des Reiches nicht unbedingt klassisch ist, er hat den Bezug auf perfekte Logik vermieden, indem er sie in Mathematik umbenannt hat. Alle „Rechenstrukturen“ existieren, und auf mehr können wir uns nicht verlassen, weil wir selbst in einer Welt von Symbolen gefangen sind. Die Welt besteht also aus Ideen, aber die Regeln des idealen Bereichs können so etwas wie der russische Konstruktivismus sein. Er scheint Wittgensteins „Schlusswort“ ernst zu nehmen und „Wovon wir nicht sprechen können“ nicht nur dem Schweigen, sondern dem Nichtsein zu überlassen.
Diese Aussage löste bei mir Dissonanz aus. „Irgendwie per definitionem ist selbst für Kant die Natur der Noumena eine unlösbare Frage“. Das ist nicht der Fall. Die Bewußtseinsforscher kommen zu einem anderen Schluß als Kant. Zunächst einmal ist Kants Idee, dass es mehr als ein Noumenon gibt, logisch inkohärent, da sie immer als identisch definiert werden müssen. Sagen wir einfach, dass viele Menschen der Vorstellung widersprechen würden, dass wir die Fakten über diese Dinge nicht kennen können. Kant behauptet, dass wir es nicht wissen können, beweist es aber nicht.
@PeterJ Ihre individuelle Dissonanz ist kein Anliegen der Philosophie. Ich bräuchte einen Beweis dafür, dass diese "vielen Leute" tatsächlich existieren und keine Spinner sind.
@jobermark - Klingt nach Zeit für eine Recherche.

Stimmst du Alexanders nettem Witz nicht zu?

Mathematisches Universum bedeutet, dass unsere „reale“ Welt eine „virtuelle“ Realität ist, die von mathematischen Algorithmen entworfen und ausgeführt wird.

Es ist schwierig, Argumente gegen diese Ansicht zu finden. Ein mögliches Gegenargument: Wir sollten mehr Anomalien durch Rundungsfehler der Berechnung mit endlicher Genauigkeit registrieren.

Das Universum als Simulation mag für die Deutsche funktionieren, aber nicht für Tegmark, das Problem verschiebt sich einfach dahin, was es bedeutet, dass der Simulator eine Struktur ist, es besteht keine Notwendigkeit, es zu widerlegen. Ich mag den Witz, aber ich habe eine andere Interpretation davon: Was sie alle denken, ist eine "Reduktion", die beim Nachdenken entweder unverständlich oder inkohärent ist :) Ähnlich wie der naive Realismus und die "rationale Metaphysik", die Kant in den Antinomien zerlegt hat.

Unsere physikalische Welt ist keine abstrakte mathematische Struktur. Es existierte schon lange, bevor die Mathematik erfunden wurde ! Es ist einfach so, dass Mathematik von uns (Menschen) verwendet werden kann, um einige Teile davon zu verstehen (einen Sinn zu machen). Mathematik ist nur ein "Werkzeug" , das von (innerhalb) unserer Vorstellungskraft geschaffen wird. Wie kann etwas in unserem Gehirn (Gedanken) physische Materie „erschaffen“? Es gibt keine Möglichkeit!

1. Du bringst zu viele vorgefasste Meinungen hinein. Bei der Philosophie geht es darum, den Unglauben aufzuheben und die Ideen anderer Menschen zu erforschen, nicht zu sagen: "DAS GEHT NICHT!" Ohne zu begründen, warum das so ist. In Anbetracht Ihrer vorherigen Punkte scheinen Sie auch einige starke vorgefasste Meinungen über die Natur der Mathematik zu haben. 2. Tegmark argumentiert, dass Mathematik nicht „erfunden“ oder „ein Werkzeug“ ist, sondern tatsächlich der grundlegende Baustein oder Kanal der Realität ist.
Es mag den Anschein haben, dass Mathematik „erfunden“ wurde, aber viele Menschen (mich eingeschlossen) glauben, dass Mathematik tatsächlich entdeckt , nicht erfunden wurde. Jeder wahre Satz ist unabhängig von Zeit und Raum und allem anderen wahr.

Tegmark unterscheidet zwischen mathematischer Notation und mathematischen Strukturen . Die Modelltheorie macht genau die gleiche Unterscheidung zwischen den Konzepten einer Theorie und einem Modell dieser Theorie . Eine mathematische Struktur ist keine Darstellung, sondern eher eine platonische Form .

In Tegmarks MUH wird behauptet, dass es wirklich eine einzige ontologische Welt gibt, die aus mathematischen Entitäten stammt, wie ein Computerstapel, die endgültigen Bildschirmausgaben werden letztendlich von seinen CPU-Anweisungen erzeugt. MUH ist eine Form der „idealen Formenwelt“ des klassischen Platonismus und konzentriert sich auf abstrakte mathematische Strukturen anstelle der alten, konkreteren platonischen „Form der Güte“-Ethik. MUH muss mathematische Strukturen wie Raum/Zeit als reale Substanz begreifen, damit das Physische aus dem Ideal geboren werden kann. Er ist ein guter theoretischer Physiker, und so wie die metaphysische Philosophie vieler anderer moderner Physiker wird die QM String-theoretische Welt zunehmend zu einer Anwendung der algebraischen Geometrie, von der man hofft, dass sie die endgültige Theorie von Allem enthält.

Eine viel wichtigere und interessantere Frage aus meiner Sicht ist jedoch, wie entweder MUH oder der klassische Platonismus "Bewusstsein" erklären und ableiten können. Für mich, egal wie schlau in der MUH-Mathematik eingesetzt werden kann, um eine Metrik „integrierter Information“ zu konstruieren, die aus den Neurowissenschaften entlehnt ist (Tononi, et al), ist es letztendlich nur eine Vorstellung, die nur in einem bewussten rationalen Verstand verstanden wird. Also behauptet MUH im Wesentlichen, dass Mathematik Bewusstsein schafft, während traditionelle Idealisten das Gegenteil behaupten, wie die Eier-Hühner-Falle. Ähnlich wie Searle's Chinese Room Argument oder Leibniz' Mill Argument, hat ein Computer oder jede Entität, die Mathematik verarbeitet, kein wirkliches Verständnis von Mathematik an sich. Daher bevorzuge ich persönlich die traditionelle idealistische Ansicht, dass der Geist die ultimative wirkliche ontologische Existenz ist. Wie der Renaissance-Kardinal und Philosoph Nikolaus von Kues es ausdrückte:

Ich habe immer verstanden, dass das Bewusstsein einen Großteil der schweren Arbeit leistet, wenn er sagt, das Universum sei mathematisch und die Realität sehr weit entfernt von den Bildern, die uns unsere Sinne liefern.

Sein Kapitel über die bewusste Illusion des Zeitflusses liefert eine Vorlage dafür, wie groß die Rolle bewusster Erfahrungen ist. Und weil es eine so große Lücke zum Verständnis bewusster Erfahrung gibt, kann für spätere Wissenschaftler viel hineingestopft werden. Er schreibt routinemäßig, dass die meiste verbleibende Arbeit für Psychologen und Biologen bestimmt sein wird.

Nur in dieser fast unergründlichen Kluft zwischen äußerer Realität und subjektivem Bewusstsein macht Tegmarks Formulierung Sinn. Was verleiht diesen mentalen Eigenschaften des Schmerzes oder des Zeitflusses? Vermutlich kommen sie auf etwas hinzu. Liegt es an der Rechenstruktur des Gehirns? An unbekannte physikalische Prozesse oder Objekte? Oder könnte es sogar an mathematischen Strukturen liegen? Da die Erklärungslücke für etwas, das mentale Zustände hervorruft, so groß ist ("Wie Wasserstöße in Rohren Zahnschmerzen hervorrufen können, ist zwar völlig unverständlich, aber nicht weniger als elektrochemische Impulse entlang von Neuronen." -- Tim Mauldin https://doi.org/10.2307/2026650 ), sollten wir ihnen nicht so schnell einen mathematischen strukturellen Ursprung ausräumen.

Von diesen mentalen Zuständen aus müssen wir die Außenwelt untersuchen. Und da wir nicht absolut darauf vertrauen können, dass die Ontologien, die sie uns bis jetzt präsentiert haben, die "wahren" Ontologien sind, kann Tegmark sagen, dass ein Baum wirklich mathematisch ist . Das ist hier meine These, und ich glaube, was Tegmark im Sinn hatte. Wir müssen wirklich ernst nehmen, dass wir möglicherweise eine stark transduzierte Perspektive der Realität erleben. Was wir von einem klassisch existierenden Baum halten, ist eigentlich näher an etwas wie Mario, der denkt, dass er wirklich in Mushroom Kingdom existiert, und denkt, dass es auf einer grundlegenden Ebene wirklich existiert. Das ist das Maß an Täuschung, unter dem wir leben müssen, damit Tegmarks Bemerkungen Sinn ergeben.

Irgendwie kann eine mathematische Struktur etwas hervorbringen, in dem Glauben, dass sie Zeitfluss, Farben und existierende Bäume erfährt. Wenn Sie denken, dass Schaltkreise zu einem KI-Erlebnis führen können, denke ich, dass dieses Argument nicht schwer zu schlucken ist. Wenn der Zeitfluss nicht grundlegend ist, teilt er ebenfalls eine ähnliche Logik. Sie müssen nur darauf vertrauen, dass Sie Ihren eigenen Sinnen mehr misstrauen sollten, als Sie es wahrscheinlich tun.

„Nur in dieser nahezu unergründlichen Kluft zwischen äußerer Realität und subjektivem Bewusstsein macht Tegmarks Formulierung Sinn.“ Genau da ergibt für mich die Theorie von Tegmark überhaupt keinen Sinn. Wir haben genug Mühe, die Kluft zwischen Physik und Bewusstsein zu überbrücken. (Und das ist eine gewaltige Untertreibung!!!) Es gibt keinen vorstellbaren Weg, die Kluft zwischen Mathematik und Bewusstsein zu überbrücken.
@DanielAsimov Aber siehe das Maudlin-Zitat. Er glaubt, dass es auch keinen vorstellbaren Weg gibt, die Kluft zwischen Physikalismus und Bewusstsein zu überbrücken. Für Wissenschaftler und Philosophen, die die Kluft ebenfalls als "riesig" ansehen, warum nicht die globalste, universellste Theorie (Mathematik) auswählen und darauf aufbauen. Anstatt von Berechnung oder Physikalismus, die eher angenommen sind und eine ebenso lange Brücke erfordern, um die Lücke zu schließen