Hipótesis del universo matemático
En física y cosmología, la hipótesis del universo matemático (MUH), también conocida como la teoría del conjunto último, es una teoría especulativa. 34;teoría del todo" (TOE) propuesto por el cosmólogo Max Tegmark. Según la hipótesis, el universo es un objeto matemático en sí mismo. Además, Tegmark sugiere que el universo no sólo es matemático, sino que también es computable.
La hipótesis ha resultado controvertida. Jürgen Schmidhuber sostiene que no es posible asignar el mismo peso o probabilidad a todos los objetos matemáticos a priori debido a que hay infinitos de ellos. Los físicos Piet Hut y Mark Alford han sugerido que la idea es incompatible con el primer teorema de incompletitud de Gödel.
Descripción
MUH de Tegmark es la hipótesis de que nuestra realidad física externa es una estructura matemática. Es decir, el universo físico no es simplemente descrito por las matemáticas, sino que es las matemáticas específicamente, una estructura matemática. La existencia matemática es igual a la existencia física, y todas las estructuras que existen matemáticamente también existen físicamente. Los observadores, incluidos los humanos, son "subestructuras autoconscientes (SAS)". En cualquier estructura matemática lo suficientemente compleja como para contener tales subestructuras, "se percibirán subjetivamente como si existieran en un mundo físicamente "real". mundo".
La teoría puede considerarse una forma de pitagorismo o platonismo en el sentido de que propone la existencia de entidades matemáticas; una forma de matemático en el sentido de que niega que exista algo excepto los objetos matemáticos; y una expresión formal del realismo estructural óntico.
Tegmark afirma que la hipótesis no tiene parámetros libres y no se descarta observacionalmente. Por lo tanto, razona, la Navaja de Occam la prefiere a otras teorías del todo. Tegmark también considera aumentar el MUH con un segundo supuesto, la hipótesis del universo computable (CUH), que dice que la estructura matemática que es nuestra realidad física externa está definida por funciones computables. .
El MUH está relacionado con la categorización de Tegmark de cuatro niveles del multiverso. Esta categorización postula una jerarquía anidada de diversidad creciente, con mundos correspondientes a diferentes conjuntos de condiciones iniciales (nivel 1), constantes físicas (nivel 2), ramas cuánticas (nivel 3) y ecuaciones o estructuras matemáticas completamente diferentes (nivel 4).
Críticas y respuestas
Andreas Albrecht, del Imperial College de Londres, lo calificó de "provocativo"; solución a uno de los problemas centrales que enfrenta la física. Aunque él "no se atrevería" Incluso si llega a decir que lo cree, señaló que "en realidad es bastante difícil construir una teoría en la que todo lo que vemos sea todo lo que hay".
Definición del conjunto
Jürgen Schmidhuber sostiene que "aunque Tegmark sugiere que '... todas las estructuras matemáticas reciben a priori el mismo peso estadístico' no hay forma de asignar igual probabilidad que no desaparezca a todas (infinitas) estructuras matemáticas." Schmidhuber propone un conjunto más restringido que admite sólo representaciones del universo describibles mediante matemáticas constructivas, es decir, programas de ordenador; por ejemplo, la Biblioteca Global de Matemáticas Digitales y la Biblioteca Digital de Funciones Matemáticas, vinculaban representaciones de datos abiertos de teoremas fundamentales formalizados destinados a servir como bloques de construcción para resultados matemáticos adicionales. Incluye explícitamente representaciones universales describibles por programas sin detención cuyos bits de salida convergen después de un tiempo finito, aunque el tiempo de convergencia en sí puede no ser predecible mediante un programa con detención, debido a la indecidibilidad del problema de detención.
En respuesta, Tegmark señala que tampoco se ha construido aún una medida matemática constructiva formalizada de las variaciones de parámetros libres de dimensiones físicas, constantes y leyes en todos los universos para el panorama de la teoría de cuerdas, por lo que esto no debe considerarse como un & #34;espectacular".
Consistencia con el teorema de Gödel
También se ha sugerido que el MUH es inconsistente con el teorema de incompletitud de Gödel. En un debate a tres bandas entre Tegmark y sus colegas físicos Piet Hut y Mark Alford, el "secularista" (Alford) afirma que "los métodos permitidos por los formalistas no pueden probar todos los teoremas en un sistema suficientemente potente... La idea de que las matemáticas están "ahí fuera" es una cuestión que no se puede demostrar. es incompatible con la idea de que consiste en sistemas formales."
La respuesta de Tegmark es ofrecer una nueva hipótesis: que sólo las estructuras matemáticas completas de Gödel (totalmente decidibles) tienen existencia física. Esto reduce drásticamente el multiverso de Nivel IV, esencialmente colocando un límite superior a la complejidad, y puede tener el atractivo efecto secundario de explicar la relativa simplicidad de nuestro universo. Tegmark continúa señalando que, aunque las teorías convencionales en física son indecidibles según Gödel, la estructura matemática real que describe nuestro mundo aún podría ser completa según Gödel y "podría, en principio, contener observadores capaces de pensar en matemáticas incompletas según Gödel, simplemente". ya que las computadoras digitales de estado finito pueden probar ciertos teoremas sobre sistemas formales incompletos de Gödel como la aritmética de Peano." En él da una respuesta más detallada, proponiendo como alternativa a MUH la más restringida "hipótesis del universo computable" (CUH) que solo incluye estructuras matemáticas que son lo suficientemente simples como para que el teorema de Gödel no requiera que contengan teoremas indecidibles o incalculables. Tegmark admite que este enfoque enfrenta "serios desafíos", entre ellos (a) excluye gran parte del panorama matemático; (b) la medida del espacio de las teorías permitidas puede ser en sí misma incomputable; y (c) "prácticamente todas las teorías de la física históricamente exitosas violan la CUH".
Observabilidad
Stoeger, Ellis y Kircher señalan que en una verdadera teoría del multiverso, "los universos están entonces completamente separados y nada de lo que sucede en ninguno de ellos está causalmente relacionado con lo que sucede en cualquier otro". Esta falta de conexión causal en tales multiversos realmente los coloca más allá de cualquier soporte científico. Ellis critica específicamente al MUH, afirmando que un conjunto infinito de universos completamente desconectados es "completamente imposible de comprobar, a pesar de los comentarios esperanzadores que a veces se hacen; véase, por ejemplo, Tegmark (1998)". Tegmark sostiene que MUH es comprobable y afirma que predice (a) que "la investigación física descubrirá regularidades matemáticas en la naturaleza", y (b) al suponer que ocupamos un miembro típico del multiverso de estructuras matemáticas, se podría "empezar a probar las predicciones del multiverso evaluando qué tan típico es nuestro universo".
Plausibilidad del platonismo radical
El MUH se basa en la visión platónica radical de que las matemáticas son una realidad externa. Sin embargo, Jannes sostiene que “las matemáticas son, al menos en parte, una construcción humana”, basándose en que si son una realidad externa, entonces deberían encontrarse también en otros animales: “Tegmark sostiene que, si queremos dar una descripción completa de la realidad, entonces necesitaremos un lenguaje independiente de nosotros los humanos, comprensible para entidades sensibles no humanas, como los extraterrestres y las futuras supercomputadoras". Brian Greene sostiene de manera similar: “La descripción más profunda del universo no debería requerir conceptos cuyo significado dependa de la experiencia o interpretación humana. La realidad trasciende nuestra existencia y, por lo tanto, no debería depender, de ninguna manera fundamental, de ideas que hayamos creado."
Sin embargo, hay muchas entidades no humanas, muchas de las cuales son inteligentes y muchas de las cuales pueden aprehender, memorizar, comparar e incluso sumar aproximadamente cantidades numéricas. Varios animales también han pasado la prueba del espejo de la autoconciencia. Pero a pesar de algunos ejemplos sorprendentes de abstracción matemática (por ejemplo, se puede entrenar a los chimpancés para que realicen sumas simbólicas con dígitos, o el informe de un loro que comprende un "concepto similar al cero"), todos ellos ejemplos de La inteligencia con respecto a las matemáticas se limita a las habilidades básicas de contar. Añade que “deben existir seres inteligentes no humanos que comprendan el lenguaje de las matemáticas avanzadas”. Sin embargo, ninguno de los seres inteligentes no humanos que conocemos confirma el estatus de las matemáticas (avanzadas) como lenguaje objetivo." En el artículo "Sobre matemáticas, materia y mente" El punto de vista secularista examinado sostiene que las matemáticas están evolucionando con el tiempo, "no hay razón para pensar que están convergiendo a una estructura definida, con preguntas fijas y formas establecidas de abordarlas", y también que "las matemáticas están evolucionando con el tiempo". La posición platónica radical es simplemente otra teoría metafísica como el solipsismo... Al final, la metafísica simplemente exige que usemos un lenguaje diferente para decir lo que ya sabíamos." Tegmark responde que "la noción de estructura matemática está rigurosamente definida en cualquier libro sobre teoría de modelos", y que las matemáticas no humanas sólo diferirían de las nuestras "porque estamos descubriendo una parte diferente de la estructura matemática". lo que de hecho es una imagen consistente y unificada, por lo que las matemáticas están convergendo en este sentido." En su libro de 2014 sobre MUH, Tegmark sostiene que la solución no es que inventemos el lenguaje de las matemáticas, sino que descubramos la estructura de las matemáticas.
Coexistencia de todas las estructuras matemáticas
Don Page ha argumentado que "En el nivel último, sólo puede haber un mundo y, si las estructuras matemáticas son lo suficientemente amplias como para incluir todos los mundos posibles o al menos el nuestro, debe haber una estructura matemática única que describe la realidad última. Por eso creo que es un disparate lógico hablar del Nivel 4 en el sentido de la coexistencia de todas las estructuras matemáticas." Esto significa que sólo puede haber un corpus matemático. Tegmark responde que "Esto es menos inconsistente con el Nivel IV de lo que parece, ya que muchas estructuras matemáticas se descomponen en subestructuras no relacionadas y las separadas pueden unificarse".
Coherencia con nuestro "universo simple"
Alexander Vilenkin comenta que "El número de estructuras matemáticas aumenta con la complejidad, lo que sugiere que las estructuras matemáticas 'típicas' Las estructuras deberían ser terriblemente grandes y engorrosas. Esto parece estar en conflicto con la belleza y simplicidad de las teorías que describen nuestro mundo. Continúa señalando que la solución de Tegmark a este problema, la asignación de "ponderaciones" a las estructuras más complejas parece arbitrario ("¿Quién determina los pesos?") y puede no ser lógicamente consistente ("Parece introducir una estructura matemática adicional, pero se supone que todas ellas son ya incluido en el set").
La navaja de Occam
Tegmark ha sido criticado por no entender la naturaleza y aplicación de la navaja de Occam; Massimo Pigliucci recuerda que "la navaja de Occam es sólo una heurística útil, nunca debe usarse como árbitro final para decidir qué teoría debe ser favorecida".