Informe 3 — La mecánica cuántica y sus fundamentos matemático-lógicos

Informe de investigación (agente especializado). Complementa el mapa general en claude/fisica-cuantica-implicaciones-filosoficas.md.

1. ¿Por qué el espacio de Hilbert? El estatuto del formalismo

La axiomatización canónica es la de John von Neumann, Mathematische Grundlagen der Quantenmechanik (1932), precedida por sus tres artículos de 1927 en los Göttinger Nachrichten, donde probó por primera vez con rigor la equivalencia entre mecánica matricial y ondulatoria sin recurrir a la delta de Dirac —a la que reprochaba apoyarse en “funciones impropias con propiedades autocontradictorias”. El movimiento decisivo fue identificar estados con vectores (rayos) de un espacio de Hilbert separable, observables con operadores autoadjuntos, y proposiciones experimentales con proyectores.

Lo filosóficamente notable es que von Neumann abandonó su propia construcción. En una carta a Birkhoff de 1935 escribe: “I do not believe in Hilbert space anymore”. El motivo no era técnico sino conceptual: en el retículo de proyectores de un espacio de Hilbert no existe una dimensión-probabilidad canónica, mientras que en los factores de tipo II₁ sí hay una traza finita normalizada que induce una función dimensión continua. Von Neumann buscaba una estructura donde la probabilidad fuera intrínseca a la geometría, no un añadido. De ahí las “geometrías continuas” y los seis artículos de Murray–von Neumann sobre rings of operators (1936–1943), que clasifican los factores en tipos I, II y III.

La ironía histórica es doble. Primero, ese programa —concebido para superar Hilbert— acabó reforzando el arraigo del espacio de Hilbert separable. Segundo, von Neumann consideró los factores de tipo III patológicos; hoy son los relevantes. En teoría cuántica de campos algebraica (AQFT), las álgebras locales asociadas a regiones del espacio-tiempo con doble cono son genéricamente isomorfas al único factor hiperfinito de tipo III₁ de la clasificación de Connes (1973). Esto no es una curiosidad matemática: reconfigura la ontología.

Las consecuencias, con atribuciones precisas (Clifton–Halvorson, SHPMP 2001; Yngvason, Phys. Rep. 2005; Summers–Werner):

• Un factor de tipo III no tiene proyecciones atómicas: todo estado de un álgebra local es mezcla. No hay estados puros localizados; el estado de una región es “irreduciblemente mezclado”, no por ignorancia sino por estructura.
• Entre un álgebra local R y su conmutante R′ (la región causalmente separada) no existen estados producto. El vacío no es factorizable: todo estado global está intrínsecamente entrelazado a través de regiones espacialmente separadas.
• Por la caracterización de Connes–Störmer (1978), en tipo III₁ las operaciones unitarias locales aproximan estados arbitrarios, de modo que no cabe distinguir “grados” de entrelazamiento de forma razonable. La entropía de entrelazamiento no está definida sin regularización (de ahí la propiedad split y las cortadas ultravioleta).
• El teorema de Reeh–Schlieder refuerza esto: el vector de vacío es cíclico para cualquier álgebra local.

Lectura filosófica. La imagen de “sistemas separados que a veces se entrelazan” es un artefacto de la mecánica cuántica no relativista de tipo I. En el régimen relativista, el holismo es el estado por defecto y la separabilidad es lo que exige explicación (aproximada, vía la propiedad split). Esto socava las lecturas atomistas del entrelazamiento y presiona hacia un monismo de prioridad estructural. Es un punto poco explotado en la literatura interpretativa estándar, que sigue razonando con espacios de Hilbert de tipo I.

¿Por qué los complejos? Wigner y Stueckelberg discutieron alternativas reales y cuaterniónicas. Dos respuestas:

(a) Matemática. El teorema de Solèr (1995), en Communications in Algebra 23: toda forma ortomodular sobre un anillo de división con un conjunto ortonormal infinito es un espacio de Hilbert sobre ℝ, ℂ o ℍ. Como subraya Baez, “nada en los supuestos menciona el continuo: las hipótesis son puramente algebraicas”. Junto con el teorema de representación de Piron (1964) —retículos ortomodulares completos, atómicos, irreducibles con la propiedad de recubrimiento y ≥4 átomos ortogonales son retículos de subespacios de espacios hilbertianos generalizados—, Solèr cierra el hueco que dejaba abierta la posibilidad de anillos exóticos. Pero no elimina ℝ ni ℍ: la elección de ℂ queda sin justificar por vía puramente reticular.

(b) Empírica. Renou, Trillo, Weilenmann, Le, Tavakoli, Gisin, Acín y Navascués, “Quantum theory based on real numbers can be experimentally falsified”, Nature 600, 625–629 (2021) (arXiv:2101.10873, 26 enero 2021). Diseñan un escenario de red (dos fuentes independientes, tres partes) donde la MC real y la compleja predicen valores distintos de un testigo tipo Bell; los experimentos posteriores (Li et al., Chen et al., 2022) violaron la cota real.

Disputa importante: el resultado presupone que la MC real conserva la estructura de producto tensorial para sistemas independientes. Críticos (notablemente Craig Gidney, y varios comentarios en la literatura) señalan que una MC real que permita otra regla de composición reproduce las predicciones. Es decir: lo refutado no es “MC sobre los reales” tout court, sino “MC real con composición tensorial estándar”. El resultado es real y significativo, pero su titular es más débil de lo que sugiere el título. Filosóficamente esto ilustra que las preguntas “¿por qué ℂ?” solo son contrastables relativas a un paquete de supuestos estructurales; nunca se testea un axioma aislado (tesis de Duhem aplicada a la matemática de la física).

2. Probabilidad: Gleason y sus rivales

Teorema de Gleason (Andrew Gleason, “Measures on the closed subspaces of a Hilbert space”, Journal of Mathematics and Mechanics 6, 885–893, 1957). Para dim(H) ≥ 3, toda medida de probabilidad numerablemente aditiva sobre el retículo de proyectores L(H) tiene la forma μ(P) = Tr(WP) para un operador de densidad W.

Su fuerza filosófica: la regla de Born no es un postulado independiente. Si uno acepta (i) que las proposiciones experimentales se representan por proyectores, y (ii) que a las proposiciones se les asigna probabilidad de manera aditiva sobre familias ortogonales —es decir, que el peso asignado a un proyector no depende del contexto de medición en que aparece—, entonces la regla de Born está fijada unívocamente. La estructura reticular determina la teoría de la probabilidad admisible.

Corolario: L(H) no admite medidas dispersion-free (valuadas en {0,1}) para dim ≥ 3, lo que prefigura Kochen–Specker (1967).

Advertencia crítica (Bell, 1966). En “On the problem of hidden variables in quantum mechanics” (Rev. Mod. Phys. 38, 447), Bell mostró que el supuesto (ii) —no-contextualidad— es sustantivo y no inocente. Gleason no refuta las variables ocultas; refuta las no-contextuales. Bohm es contextual y sobrevive. Por tanto, Gleason “deriva” Born solo si ya se concede una premisa que es, ella misma, una tesis interpretativa fuerte. Este es el patrón que se repite en todas las derivaciones.

Derivaciones alternativas y la sospecha de circularidad:

• Deutsch–Wallace (decisión-teórica). Deutsch (1999), formalizada en Wallace, “A formal proof of the Born rule from decision-theoretic assumptions” (arXiv:0906.2718, 2009) y en The Emergent Multiverse (2012). Un agente everettiano racional que satisface axiomas de decisión (incluyendo branching indifference y equivalence) debe apostar según los pesos de Born. Objeciones: Barnum–Caves–Finkelstein–Fuchs–Schack (2000) sobre la circularidad de los supuestos originales; Price, Albert (el “problema de la incoherencia”: ¿por qué debe importarme el peso si todos los resultados ocurren?); Kent; Dawid & Thébault, “Against the empirical viability of the Deutsch–Wallace–Everett approach” (SHPMP, 2014), que atacan la posibilidad misma de confirmación empírica; Brown & Ben Porath (2020). El núcleo del debate: branching indifference parece ya codificar que el conteo de ramas es irrelevante —justo lo que habría que probar.
• Zurek (envariance). Zurek (2003, 2005) deriva Born de la simetría de entrelazamiento asistida por entorno (“environment-assisted invariance”). Crítica canónica: Schlosshauer & Fine, “On Zurek’s derivation of the Born rule”, Found. Phys. 35, 197–213 (2005), y notas de Caves: la derivación presupone premisas probabilísticas sobre estados de Schmidt equiprobables, y por tanto no es un teorema desde cero.
• Masanes, Galley & Müller, “The measurement postulates of quantum mechanics are operationally redundant”, Nature Communications 10, 1361 (2019): los postulados de medida se siguen de los estructurales más una condición de “posibilidad de estimación de estado”. Disputa viva: Adrian Kent, “The measurement postulates of quantum mechanics are not redundant”, Quantum 9, 1749 (20 mayo 2025), exhibe contraejemplos explícitos de reglas de medida y actualización no cuánticas que satisfacen todos sus supuestos; los autores respondieron en Quantum 9, 1592 (14 enero 2025). Marcar como no resuelto.

Naturaleza de la probabilidad cuántica. Cuatro posiciones vivas:

1. Objetiva/propensiones — GRW y colapso objetivo dan una lectura genuinamente indeterminista.
2. Subjetiva/QBista — Fuchs, Mermin, Schack: los estados son credenciales personalistas de finetianas; la regla de Born es una norma adicional de coherencia, un suplemento empíricamente motivado a los libros holandeses (la “urgleichung” en términos de SIC-POVMs). Crítica: si todo es credencia, ¿qué explica la fiabilidad intersubjetiva? El QBismo paga la disolución del problema de la medida con un precio ontológico (solipsismo participativo, según sus críticos).
3. Tipicidad — Dürr, Goldstein & Zanghì, “Quantum equilibrium and the origin of absolute uncertainty”, J. Stat. Phys. 67, 843–907 (1992). En mecánica bohmiana la probabilidad no es fundamental: |ψ|² es la medida de tipicidad equivariante sobre condiciones iniciales del universo. La probabilidad es derivada, no primitiva. Objeción estándar: la elección de la medida de tipicidad hace trabajo explicativo pero no está a su vez justificada sin circularidad.
4. Lógico-estructural — Itamar Pitowsky, “Quantum mechanics as a theory of probability” (2006, en Demopoulos & Pitowsky, eds.): la MC no es una teoría física con una probabilidad añadida, sino una teoría de la probabilidad no booleana. Los estados cuánticos son medidas sobre un álgebra de eventos no distributiva, y las desigualdades de Bell son condiciones de posibilidad para la existencia de una extensión booleana común (Pitowsky, Quantum Probability–Quantum Logic, 1989: correlatos geométricos, politopos de correlación). Bub & Pitowsky, “Two dogmas about quantum mechanics” (arXiv:0712.4258, 2007; en Many Worlds?, 2010): rechazan (a) que la medida deba analizarse dinámicamente y (b) que el estado sea un truthmaker. El espacio de Hilbert es una cinemática de la información: restricciones pre-dinámicas y objetivas sobre las correlaciones posibles. Es una posición estructuralista fuerte, y la más directa continuación filosófica del programa de la lógica cuántica.

3. Lógica cuántica: auge, refutación y metamorfosis

Birkhoff & von Neumann, “The Logic of Quantum Mechanics”, Annals of Mathematics 37, 823–843 (1936). Interpretan las operaciones reticulares sobre proyectores como conjunción y disyunción “conmuten o no”. El retículo resultante es ortocomplementado y ortomodular pero no distributivo. Ellos mismos señalaron que “las identidades distributivas son el eslabón más débil del álgebra de la lógica”.

Qué significa el fallo de la distributividad. En el caso de espín-1/2: (σx=+) ∧ [(σz=+) ∨ (σz=−)] = (σx=+), mientras que [(σx=+)∧(σz=+)] ∨ [(σx=+)∧(σz=−)] = 0. Una disyunción puede ser verdadera sin que ningún disyunto lo sea. Ontológicamente esto es superposición leída como semántica: la disyunción cuántica no es “una de las dos, no sé cuál”, sino un tercer estado de cosas irreducible.

Putnam. “Is Logic Empirical?” (Boston Studies in the Philosophy of Science vol. 5, 1968; reeditado como “The Logic of Quantum Mechanics”, 1975). Tesis: “la lógica es tan empírica como la geometría; vivimos en un mundo con una lógica no clásica”. Cambiar de lógica —como se cambió de geometría euclídea a riemanniana— disolvería el problema de la medida: los observables tienen valores definidos, solo que la lógica que los gobierna no es distributiva.

La demolición. Dummett, “Is Logic Empirical?” (1976) atacó la analogía y el estatuto del significado de las constantes lógicas: si cambian las reglas de introducción/eliminación, no estamos revisando la lógica, estamos hablando de otra cosa (problema de “change of logic, change of subject”, Quine). Tim Maudlin, “The Tale of Quantum Logic”, en Y. Ben-Menahem (ed.), Hilary Putnam (Cambridge UP, 2005), dio el golpe decisivo: la lógica cuántica no resuelve el problema de la medida, porque el problema no es lógico sino de ontología y dinámica —qué hay y cómo evoluciona—; además, la propuesta de Putnam de valores definidos simultáneos naufraga contra Gleason y Kochen–Specker: no hay suficientes estados dispersion-free. Putnam se retractó (ya en The Threefold Cord, 1999, y explícitamente en su réplica en el volumen de Ben-Menahem, 2005), reconociendo que la lógica cuántica no hacía el trabajo interpretativo prometido.

¿Está muerto el programa? El programa realista-revisionista (la lógica cuántica como la lógica verdadera del mundo) está muerto, y hay consenso amplio en ello. El programa estructural no lo está, pero se ha transformado. Un obstáculo técnico interno selló el destino del enfoque reticular estático:

• Sistemas compuestos. Foulis–Randall: el producto tensorial de ortoálgebras ortocoherentes destruye la ortocoherencia. Teorema de Aerts: el producto de dos retículos de Piron es un retículo de Piron solo si uno de los factores es clásico. El retículo no compone; y componer es justamente lo cuántico.

Las herederas vivas:

• Lógica lineal (Girard, 1987): su rechazo de contracción y debilitamiento formaliza el no-clonado y el no-borrado; es la lógica subestructural natural de los recursos cuánticos.
• Lógicas dinámicas cuánticas. Baltag & Smets, “The logic of quantum programs” (QPL 2004) y “The dynamic turn in quantum logic” (Synthese, 2012). El giro: dejar de tratar las proposiciones cuánticas como un retículo estático y tratarlas como acciones y transiciones (Lógica Dinámica Proposicional + lógica cuántica operacional). El retículo ortomodular reaparece como estructura derivada de los operadores de proyección-como-acción. Esto esquiva la objeción de Maudlin: ya no se pretende revisar la lógica del mundo, sino dar semántica operacional al flujo de información cuántica.
• Enfoques categóricos (§4).

4. Categorías y topos: la distributividad que se salva y el tercio excluso que se pierde

Programa topos. Isham & Butterfield, “A topos perspective on the Kochen–Specker theorem” I–IV (Int. J. Theor. Phys., desde 1998); Döring & Isham, “A topos foundation for theories of physics” I–IV, J. Math. Phys. 49, 053515 y 053516 (2008); Heunen, Landsman & Spitters, “A topos for algebraic quantum theory”, Comm. Math. Phys. 291 (2009) —el “topos de Bohr”.

Construcción: dada un álgebra C, se toma el poset 𝒞(A) de sus subálgebras conmutativas (los “contextos clásicos”, en espíritu bohriano) y se forma el topos de prehaces [𝒞(A), Set]. Internamente a ese topos, el álgebra no conmutativa se convierte en un álgebra conmutativa, con un espacio espectral interno (el spectral presheaf* Σ) y observables como funciones sobre él (daseinisation, en el vocabulario heideggeriano de Döring–Isham).

El resultado clave y su lectura filosófica: el teorema de Kochen–Specker equivale a que el prehaz espectral Σ no tiene secciones globales. No hay “punto” en Σ, es decir, no hay una asignación global y coherente de valores a todos los observables que respete las relaciones funcionales dentro de cada contexto. La imposibilidad se convierte de teorema combinatorio en un enunciado geométrico: el espacio de estados cuántico es un objeto que localmente (por contexto) parece clásico y globalmente no se pega.

El intercambio lógico es el punto filosófico más elegante de todo este campo:

Es decir: se puede recuperar la distributividad si se paga con el tercio excluso. La estructura no clásica de la MC no obliga a abandonar la distributividad; obliga a abandonar la bivalencia. Filosóficamente esto es sugerente: los enunciados sobre valores de observables no son “verdaderos o falsos” sino que tienen valores de verdad en un álgebra de Heyting —un “grado de contextos en los que se cumplen”. El valor de verdad es contextual por construcción. Esto conecta con el antirrealismo semántico de Dummett de un modo irónico, dado que Dummett fue el gran crítico del revisionismo lógico de Putnam.

Objeciones: el precio es alto en poder explicativo. Los críticos señalan que el topos re-describe elegantemente KS sin resolver el problema de la medida ni decir qué existe; y que la elección del poset de subálgebras conmutativas es una decisión bohriana ya cargada interpretativamente.

Mecánica cuántica categórica. Abramsky & Coecke, “A categorical semantics of quantum protocols” (LICS 2004): axiomatizan la MC en categorías dagger compactas cerradas, donde el producto tensorial (no la suma) es la operación primitiva, y el “dagger” (†) abstrae la adjunción. Teletransporte, intercambio de entrelazamiento y no-clonado se demuestran diagramáticamente, sin coordenadas ni matrices. Ganancia filosófica: estructuralismo genuino. Lo cuántico no reside en los números complejos ni en los vectores, sino en un patrón compositivo abstracto que ℂ-Hilb instancia pero no monopoliza (Rel, la categoría de relaciones, también lo instancia y reproduce fenómenos tipo no-localidad). Esto ofrece un criterio para separar lo que en la MC es estructura de lo que es implementación.

Contextualidad como cohomología. Abramsky & Brandenburger, “The sheaf-theoretic structure of non-locality and contextuality”, New J. Phys. 13, 113036 (2011) (arXiv:1102.0264), y Abramsky, Barbosa, Mansfield et al. sobre “The cohomology of non-locality and contextuality” (arXiv:1111.3620, 2011). Unifican Bell, Kochen–Specker, Hardy y GHZ como una única obstrucción: existen familias localmente consistentes de distribuciones que no admiten sección global. Se obtiene una jerarquía: contextualidad probabilística ⊂ contextualidad lógica ⊂ contextualidad fuerte (GHZ, PR-boxes), y una obstrucción cohomológica (en cohomología de Čech) que detecta la mayoría de los casos. Ganancia filosófica: la no-localidad deja de ser un misterio sui generis y pasa a ser una instancia del fenómeno matemático general “local ≠ global”, el mismo que aparece en la banda de Möbius, las figuras imposibles de Penrose o la satisfacibilidad relacional en bases de datos. Es una desmitificación estructural, con el coste de que explica que hay obstrucción, no por qué la naturaleza la exhibe.

5. Reconstrucciones axiomáticas e informacionales

• Hardy, “Quantum theory from five reasonable axioms” (quant-ph/0101012, 3 enero 2001). Cinco axiomas —Probabilidades, Simplicidad (K mínimo dado N), Subespacios, Sistemas compuestos (K_AB = K_A·K_B, N_AB = N_A·N_B), Continuidad— sobre teorías probabilísticas operacionales. Los cuatro primeros son compatibles con la teoría clásica (K = N); el quinto, la existencia de transformaciones reversibles continuas entre estados puros, es el que selecciona lo cuántico (K = N²). Eliminarlo devuelve la probabilidad clásica. La MC es, literalmente, “la teoría de probabilidad que permite girar continuamente entre estados puros”.
• Chiribella, D’Ariano & Perinotti, “Informational derivation of quantum theory”, Phys. Rev. A 84, 012311 (2011): causalidad, distinguibilidad perfecta, descomposición ideal, compresión, composición local, y sobre todo purificación —todo estado mixto es la marginal de un estado puro de un sistema mayor, único salvo reversibilidad en el purificante. La purificación es el axioma que hace todo el trabajo, y su lectura filosófica es fuerte: la ignorancia sobre una parte es siempre explicable por entrelazamiento con un complemento, es decir, no hay aleatoriedad irreducible sin correlato estructural.
• Masanes & Müller, “A derivation of quantum theory from physical requirements”, New J. Phys. 13, 063001 (2011).
• Clifton, Bub & Halvorson (CBH), “Characterizing quantum theory in terms of information-theoretic constraints”, Found. Phys. 33, 1561–1591 (2003) (quant-ph/0211089). Tres restricciones —no-señalización superlumínica, no-clonado (no-broadcasting), imposibilidad de bit commitment incondicionalmente seguro— caracterizan, dentro del marco de las álgebras C*, una teoría cuántica. Es el enunciado más limpio de “it from bit”.

Crítica. (i) Halvorson mismo (“A note on information theoretic characterizations of physical theories”, 2004) señaló lagunas en la derivación. (ii) El marco C* está ya asumido: se deriva “cuántico” partiendo de una estructura algebraica que no es neutral. (iii) Hagar & Hemmo, “Explaining the unobserved — why quantum mechanics ain’t only about information” (Found. Phys. 36, 2006): las restricciones informacionales no explican por qué ocurren resultados definidos; una teoría de “lo que no podemos hacer” no es una teoría de lo que hay. (iv) Timpson y Duwell: el concepto shannoniano de información es abstracto y no puede ser el material del mundo; “it from bit” comete un salto de categoría —la información es información sobre algo.

La pregunta de fondo: ¿explican estas reconstrucciones por qué el mundo es cuántico, o solo lo re-describen? Valoración: hacen algo intermedio y valioso —convierten postulados opacos (Hilbert, hermíticos, traza) en principios con contenido operacional, y localizan el punto de bifurcación con lo clásico (continuidad en Hardy, purificación en CDP). Eso es progreso explicativo real en el sentido de la unificación. Pero no cierran la brecha modal: siguen sin decir por qué estos principios y no otros. La respuesta “porque describen un mundo donde la información se comporta así” es una redescripción, no una explicación, mientras no se dé una razón independiente de que la información sea el nivel fundamental. La objeción de Wheeler-crítico permanece intacta.

6. Los límites: indecidibilidad y no computabilidad

• Cubitt, Pérez-García & Wolf, “Undecidability of the spectral gap”, Nature 528, 207–211 (10 diciembre 2015) (versión completa: arXiv:1502.04573, 146 pp.). Existe una familia de Hamiltonianos de red 2D con interacciones de vecino próximo, especificados por un número finito de parámetros, tal que determinar si el sistema en el límite termodinámico es gapped o gapless es indecidible: se codifica el problema de la parada en la propiedad espectral. Corolario: no hay algoritmo, ni tampoco axiomatización completa que decida la propiedad; y los sistemas construidos pueden ser gapped hasta un tamaño arbitrariamente grande y luego gapless, de modo que la extrapolación desde tamaños finitos falla en principio.
• Ji, Natarajan, Vidick, Wright & Yuen, “MIP* = RE” (arXiv:2001.04383, 13 enero 2020; v3, 2022, 223 pp.). Verificadores clásicos con múltiples probadores cuánticos entrelazados deciden exactamente los lenguajes recursivamente enumerables. Consecuencias: (a) problema de Tsirelson resuelto negativamente — el conjunto de correlaciones de producto tensorial C_qa es un subconjunto propio de las correlaciones conmutantes C_qc; (b) refutación de la conjetura de inmersión de Connes (1976); (c) el conjunto de correlaciones cuánticas C_q no es cerrado (Slofstra ya lo había mostrado en 2016).

Lectura filosófica. Tres puntos.

1. No-clausura. Que C_q no sea cerrado significa que hay correlaciones aproximables con precisión arbitraria por estados de dimensión finita, pero no alcanzables por ninguno. Hay un límite ideal que la física no instancia. Esto es un caso genuino de discordancia entre lo empíricamente asintótico y lo ónticamente posible, y complica cualquier realismo que identifique lo real con el cierre de lo aproximable.
2. Dos formulaciones no equivalentes. Que C_qa ≠ C_qc significa que las dos maneras de formalizar “sistemas independientes” —producto tensorial (heurística no relativista) y conmutación de álgebras (heurística de AQFT)— no coinciden. Esto no es un tecnicismo: es una ambigüedad en la noción física de separación de sistemas, que hasta 2020 se creía inocua. Y conecta directamente con §1: la aritmética de tipo III no es la de tipo I.
3. ¿La naturaleza contiene indecidibilidad, o solo nuestros modelos? Aquí hay que ser cauto. Ippoliti & Caprara, “Undecidability of the spectral gap: an epistemological look”, J. Gen. Philos. Sci. (2021), argumentan que los modelos de Cubitt et al. son no representacionales: Hamiltonianos con centenares de miles de niveles construidos ad hoc para codificar una máquina de Turing, sin contrapartida física conocida. Y crucialmente, la indecidibilidad vive en el límite termodinámico, una idealización. Todo sistema físico real es finito, y toda propiedad de un sistema finito es decidible en principio. La conclusión honesta: los resultados muestran que el aparato matemático estándar de la física de la materia condensada es lo bastante expresivo para codificar aritmética, y que por tanto está sujeto a Gödel/Turing. Es un límite sobre nuestros métodos que se hereda de la potencia expresiva del formalismo. Afirmar que “la naturaleza es indecidible” requiere un puente adicional —la tesis de que el límite termodinámico es constitutivo de las fases de la materia— que es defendible pero disputado (cf. el debate sobre transiciones de fase y emergencia, Batterman vs. Butterfield).

En la misma línea, la Ω de Chaitin y sus resultados de “aleatoriedad en la aritmética” (1987) mostraron indecidibilidad en teoría de números elemental; su extrapolación a “aleatoriedad física” ha sido criticada por conflacionar aleatoriedad algorítmica con indeterminismo físico. Precaución paralela.

7. La “irrazonable eficacia” y el estatuto de la matemática

Wigner, “The Unreasonable Effectiveness of Mathematics in the Natural Sciences” (Comm. Pure Appl. Math. 13, 1960): la adecuación de la matemática a la física es “un regalo maravilloso que no comprendemos ni merecemos”.

Posición máxima: Tegmark, “The Mathematical Universe”, Found. Phys. 38, 101–150 (2008): la Hipótesis del Universo Matemático (MUH) sostiene que la realidad física es una estructura matemática; el realismo externo más la exigencia de una descripción libre de “equipaje” humano implica que la realidad es isomorfa a una estructura. Corolario: todas las estructuras matemáticamente consistentes existen (multiverso de Nivel IV).

Críticas:

• Jannes, “Some comments on ‘The Mathematical Universe’” (Found. Phys. 39, 2009) y otros: la MUH es inconsistente o vacía. Si toda estructura existe, la teoría no predice nada (problema de la medida sobre estructuras); si no toda, hace falta un criterio de selección que ya no es matemático.
• Objeción de Gödel/Chaitin, agudizada por §6: Tegmark exige que las estructuras sean computables (“Hipótesis del Universo Computable”) para evitar patologías, pero MIP*=RE y la indecidibilidad del gap muestran que las estructuras que la física realmente usa no son computablemente decidibles. Si la realidad es una estructura matemática, hereda su indecidibilidad; si se restringe a lo computable, hay que abandonar buena parte de la física existente.
• Objeción semántica: “ser una estructura” e “instanciar una estructura” no es lo mismo. La MUH borra la distinción entre el modelo y lo modelado por fiat, no por argumento.

El realismo estructural ofrece la versión sobria. En su forma óntica (Ladyman, French), lo que hay son relaciones/estructuras, y los objetos son nodos derivados. La MC ofrece munición: las partículas idénticas carecen de individualidad primitiva; en tipo III₁ no hay sistemas locales con estados propios; la MC categórica sugiere que “lo cuántico” es un patrón compositivo abstracto múltiplemente realizable. En su forma epistémica (Worrall), solo conocemos la estructura, sin compromiso ontológico. La segunda es más defendible pero paga con la pregunta de Newman: si solo conocemos la estructura, la afirmación se trivializa (toda colección de cardinalidad adecuada admite la estructura).

Valoración crítica. La eficacia de la matemática en la MC es menos “irrazonable” de lo que sugiere Wigner, por tres razones que este informe documenta: (i) hay teoremas de representación (Gleason, Solèr, Piron, CBH, Hardy, CDP) que muestran que el formalismo no es una elección afortunada sino la única compatible con un puñado de exigencias operacionales —la eficacia está en parte derivada, no milagrosa; (ii) la matemática usada fue en muchos casos desarrollada para el problema (von Neumann inventó las álgebras de operadores para la MC), lo que introduce un sesgo de selección que Wigner ignora; (iii) los resultados de §6 muestran que la eficacia tiene límites internos duros: el formalismo es tan expresivo que se vuelve indecidible, y hay preguntas físicamente bien planteadas sin respuesta algorítmica. Un instrumento que fracasa de maneras precisas es un instrumento, no un milagro.

Al mismo tiempo, la posición meramente representacional se queda corta ante §1: si en AQFT no hay estados producto ni estados puros locales, entonces la estructura algebraica no está describiendo objetos previamente individuados —está determinando qué cuenta como objeto. Eso es más que representación, aunque menos que la identidad tegmarkiana. La posición más sostenible es un realismo estructural moderado y contextual sobre el nivel: la estructura matemática es constitutiva de la individuación física, sin que ello implique que la realidad sea nada más que estructura.

Fuentes

Fundamentos y álgebras de operadores

• SEP, “Quantum Theory: von Neumann vs. Dirac” — https://plato.stanford.edu/entries/qt-nvd/
• Clifton & Halvorson, “Entanglement and Open Systems in Algebraic Quantum Field Theory”, SHPMP 32 (2001) — https://personal.lse.ac.uk/robert49/teaching/partiii/pdf/CliftonHalvEntgmtOpenSystemsAQFTSHPMP2001.pdf
• Yngvason, “The Role of Type III Factors in Quantum Field Theory” — https://ar5iv.labs.arxiv.org/html/math-ph/0411058
• nLab, “AQFT” — https://ncatlab.org/nlab/show/AQFT
• Solèr’s theorem — https://en.wikipedia.org/wiki/Sol%C3%A8r%27s_theorem ; Baez, “Solèr’s Theorem” — https://golem.ph.utexas.edu/category/2010/12/solers_theorem.html
• Renou et al., Nature 600 (2021) — https://www.nature.com/articles/s41586-021-04160-4 / https://arxiv.org/abs/2101.10873 ; crítica — https://algassert.com/post/2501

Probabilidad y regla de Born

• Gleason’s theorem — https://en.wikipedia.org/wiki/Gleason%27s_theorem
• “The Status of the Born Rule and the Role of Gleason’s Theorem” — https://philsci-archive.pitt.edu/20792/
• Wallace, “A formal proof of the Born rule from decision-theoretic assumptions” — https://arxiv.org/abs/0906.2718
• Dawid & Thébault, “Against the empirical viability of the Deutsch–Wallace–Everett approach” — https://personal.lse.ac.uk/robert49/PPB/pdf/DawidThebault2014a.pdf
• Schlosshauer & Fine, “On Zurek’s Derivation of the Born Rule” — https://faculty.up.edu/schlosshauer/publications/bornrule.pdf
• Masanes, Galley & Müller, Nat. Commun. 10, 1361 (2019) — https://www.nature.com/articles/s41467-019-09348-x
• Kent, “The measurement postulates of quantum mechanics are not redundant”, Quantum 9, 1749 (2025) — https://quantum-journal.org/papers/q-2025-05-20-1749/
• Respuesta de Masanes–Galley–Müller, Quantum 9, 1592 (2025) — https://quantum-journal.org/papers/q-2025-01-14-1592/
• Pitowsky, “Quantum Mechanics as a Theory of Probability” — https://link.springer.com/chapter/10.1007/978-3-030-34316-3_15
• Bub & Pitowsky, “Two Dogmas About Quantum Mechanics” — https://ar5iv.arxiv.org/html/0712.4258
• SEP, “Quantum-Bayesian and Pragmatist Views” — https://plato.stanford.edu/entries/quantum-bayesian/
• Dürr, Goldstein & Zanghì, “Quantum Equilibrium and the Origin of Absolute Uncertainty” — https://philpapers.org/rec/DURQEA

Lógica cuántica

• SEP, “Quantum Logic and Probability Theory” — https://plato.stanford.edu/entries/qt-quantlog/
• “Is Logic Empirical?” — https://en.wikipedia.org/wiki/Is_Logic_Empirical%3F
• Maudlin, “The Tale of Quantum Logic”, en Ben-Menahem (ed.), Hilary Putnam, CUP 2005 — https://www.cambridge.org/core/books/abs/hilary-putnam/tale-of-quantum-logic/0879F95D2F957BEAAC7CDC0DF9847262
• Baltag & Smets, “The logic of quantum programs” (QPL 2004) — https://www.mathstat.dal.ca/~selinger/qpl2004/PDFS/04Baltag-Smets.pdf
• Baltag & Smets, “The dynamic turn in quantum logic”, Synthese (2012) — https://link.springer.com/article/10.1007/s11229-011-9915-7

Topos y categorías

• nLab, “Bohr topos” — https://ncatlab.org/nlab/show/Bohr+topos
• Döring & Isham, “A topos foundation for theories of physics I–II”, J. Math. Phys. 49 (2008) — https://pubs.aip.org/aip/jmp/article-abstract/49/5/053515/911423/
• Isham & Döring, “Topos Theory and ‘Neo-Realist’ Quantum Theory” — https://link.springer.com/chapter/10.1007/978-3-7643-8736-5_2
• Heunen, Landsman & Spitters, “Intuitionistic Quantum Logic of an n-level System” — https://link.springer.com/article/10.1007/s10701-009-9308-7
• Abramsky & Brandenburger, NJP 13 (2011) — https://arxiv.org/abs/1102.0264
• Abramsky et al., “The Cohomology of Non-Locality and Contextuality” — https://arxiv.org/abs/1111.3620v2
• nLab, “quantum information theory via dagger-compact categories” — https://ncatlab.org/nlab/show/quantum+information+theory+via+dagger-compact+categories

Reconstrucciones

• Hardy, “Quantum theory from five reasonable axioms” — https://arxiv.org/abs/quant-ph/0101012
• Chiribella, D’Ariano & Perinotti, PRA 84, 012311 (2011) — https://physics.aps.org/featured-article-pdf/10.1103/PhysRevA.84.012311
• Clifton, Bub & Halvorson — https://arxiv.org/abs/quant-ph/0211089
• Halvorson, “A note on information theoretic characterizations of physical theories” — https://philpapers.org/rec/HALOIC
• Hagar & Hemmo, “Explaining the Unobserved” — https://link.springer.com/article/10.1007/s10701-006-9065-9
• Müller group, “Reconstructions of Quantum Theory” — https://www.iqoqi-vienna.at/research/mueller-group/reconstructions-of-quantum-theory

Indecidibilidad

• Cubitt, Pérez-García & Wolf, Nature 528 (2015) — https://www.nature.com/articles/nature16059 / https://arxiv.org/abs/1502.04573
• Ippoliti & Caprara, JGPS (2021) — https://link.springer.com/article/10.1007/s10838-020-09549-9
• Ji, Natarajan, Vidick, Wright & Yuen, “MIP*=RE” — https://arxiv.org/abs/2001.04383
• Vidick, “Connes’ embedding problem, Tsirelson’s problem, and MIP*=RE” — https://logic.math.caltech.edu/slides/2021-02-02.pdf
• Aaronson, “MIP*=RE” — https://scottaaronson.blog/?p=4512

Matemática y realidad

• Wigner, “The Unreasonable Effectiveness of Mathematics in the Natural Sciences” — https://en.wikipedia.org/wiki/The_Unreasonable_Effectiveness_of_Mathematics_in_the_Natural_Sciences
• Jannes, “Some Comments on ‘The Mathematical Universe’”, Found. Phys. 39 (2009) — https://link.springer.com/article/10.1007/s10701-009-9286-9

Nota sobre lo disputado. No resueltos: (a) el alcance real del resultado de Renou et al. (depende del supuesto de producto tensorial); (b) la circularidad de las derivaciones de Born (Deutsch–Wallace, Zurek, Masanes–Galley–Müller vs. Kent, disputa activa en 2025); (c) si la indecidibilidad del gap espectral concierne a la naturaleza o a la idealización del límite termodinámico; (d) si las reconstrucciones informacionales explican o re-describen.