Experiments, Computability, and the Existence of Physical… — Explicación divulgativa

Imagina que eres un chef tratando de escribir una receta para "la sopa perfecta". Un matemático estricto podría preguntar: "¿Existe realmente 'la sopa perfecta' como un objeto único y universal, independientemente de quién la cocine, qué estufa use o cómo la pruebe?". El matemático podría preocuparse de que, como la sopa de cada chef es ligeramente diferente, no hay una única "función de sopa" que encontrar.

Este artículo, escrito por el físico Isaac Pérez Castillo, argumenta que esta preocupación se basa en un malentendido de lo que realmente es un experimento (o una receta). El autor sugiere que dejemos de buscar una "sopa perfecta" mágica e invisible flotando en el universo y empecemos a mirar la receta misma.

Aquí está el argumento del artículo, desglosado en conceptos y analogías simples:

1. El experimento es una máquina, no un misterio

El artículo comienza con una definición simple: un experimento es simplemente una lista finita de pasos que sigues para obtener un resultado.

La analogía: Piensa en una máquina expendedora. Introduces un código específico (la entrada), presionas un botón (el procedimiento) y, después de unos segundos, suelta una merienda (la salida).
El punto: No necesitas conocer la física profunda de cómo se hizo la merienda para saber que la máquina funciona. Mientras la máquina tenga un conjunto claro de pasos, una forma clara de comenzar y una forma clara de detenerse, es un "procedimiento". El artículo argumenta que cada experimento de laboratorio es exactamente como esta máquina expendedora. Toma una muestra preparada, sigue una regla y arroja un número.

2. El "puente" hacia las matemáticas (El principio de Church-Turing físico)

El autor utiliza un concepto llamado "principio puente físico de Church-Turing". Esta es una forma elegante de decir: "Si un humano puede seguir un conjunto de reglas para obtener un resultado, una computadora también puede seguir esas reglas para obtener el mismo resultado."

La analogía: Imagina que estás enseñando a un robot a hornear un pastel. Si puedes escribir las instrucciones con suficiente claridad para que un humano las siga (por ejemplo, "mezclar durante 2 minutos", "hornear a 175 grados"), entonces una computadora también puede seguir esas instrucciones.
La conclusión: Dado que los experimentos son simplemente conjuntos de instrucciones, son "computables". Si un procedimiento es computable, entonces el "mapa" que crea (Entrada $\to$ Salida) existe. La función existe porque la máquina que la ejecuta existe.

3. El problema de la "precisión finita" (Por qué no necesitamos números perfectos)

Una objeción común es: "¡Pero los experimentos no son perfectos! Nos dan números como 3.14 o 3.141, pero nunca el número infinito exacto $\pi$ . ¿Existe la función si no podemos obtener la respuesta exacta?".

La analogía: Imagina que intentas medir la longitud de una habitación. Usas una regla y obtienes 10 pies. Luego usas una cinta métrica y obtienes 10.1 pies. Luego usas un láser y obtienes 10.12 pies. Nunca obtienes el decimal "infinito", pero te estás acercando cada vez más.
La visión del artículo: El artículo dice que esto está bien. En el mundo del "análisis computable" (una rama de las matemáticas), un número se considera "computable" si puedes acercarte a él tanto como quieras, paso a paso. No necesitas imprimir todo el número infinito en un segundo. Solo necesitas un procedimiento que diga: "Si quieres más precisión, así es como la obtienes".
La enseñanza: El experimento no necesita arrojar un número real perfecto e infinito para ser válido. Solo necesita poder darte una mejor aproximación cada vez que lo pidas.

4. La historia de la "solubilidad" (Por qué el contexto importa)

El autor cuenta una historia sobre un amigo químico que estaba preocupado por la "solubilidad" (cuánto azúcar se disuelve en agua). El amigo preguntó: "¿Existe una 'función de solubilidad'?". El amigo estaba confundido porque la respuesta cambia si cambias la temperatura, el tipo de agua o cómo lo mezclas.

La analogía: Imagina preguntar: "¿Cuál es el precio de una casa?". La respuesta depende totalmente de qué casa, qué ciudad y qué hora del día preguntas. No hay un solo "Precio de la Casa" para todo el universo.
La solución del artículo: El artículo dice: "Sí, la función existe, pero solo para la receta específica que estás usando".
- Si fijas la temperatura, el tipo de agua y el método de mezcla, tienes una "Máquina de Solubilidad" específica.
- Esa máquina calcula un mapa específico.
- La función existe para esa máquina.
- Si cambias la receta (por ejemplo, usas agua caliente en lugar de fría), estás construyendo una máquina diferente que calcula un mapa diferente.

5. ¿Qué pasa con la aleatoriedad? (El lanzamiento de un dado)

Algunos experimentos son aleatorios. Si realizas la misma prueba diez veces, podrías obtener diez números ligeramente diferentes. ¿Sigue existiendo la función?

La analogía: Imagina una máquina tragamonedas. Tiras la palanca (entrada) y te da un número aleatorio (salida). El resultado no es el mismo cada vez.
La visión del artículo: ¡La función sigue existiendo! Pero en lugar de un mapa que te da un número específico, la función es ahora un mapa que te da una distribución de números (un patrón de aleatoriedad).
El experimento calcula un "muestreador". No te da un solo punto; te da un patrón confiable de puntos. La afirmación de existencia se mantiene; el objeto simplemente cambia de forma, de un solo punto a una nube de puntos.

Resumen: Lo que el artículo afirma realmente

El artículo no dice que todo en la física sea computable, ni que todos los experimentos eventualmente se pondrán de acuerdo en una sola "verdad universal".

En cambio, hace una afirmación mucho más simple y precisa:

Deja de buscar magia: No te preocupes si una función "perfecta e independiente del protocolo" existe en lo abstracto.
Mira el procedimiento: Si tienes una receta fija (protocolo), un conjunto fijo de reglas y una forma de reportar el resultado, esa receta es una función.
Existe porque funciona: Como la receta es un conjunto finito de pasos que una computadora podría seguir, la función que calcula existe.
El contexto es el rey: La función pertenece al experimento específico que estás realizando. Si cambias el experimento, obtienes una función diferente. Eso no significa que la primera no existiera; solo significa que cambiaste la máquina.

La conclusión final:
El artículo nos dice que dejemos de preguntar: "¿Existe la verdadera solubilidad?" y empecemos a preguntar: "¿Qué calcula este experimento específico?". Una vez que defines el experimento claramente, la respuesta es siempre "Sí, calcula una función". La función existe allí mismo en la salida de la máquina.

Resumen Técnico: Experimentos, Computabilidad y la Existencia de Funciones Físicas

Planteamiento del Problema
El artículo aborda una dificultad conceptual en la ciencia experimental respecto a la "existencia" de funciones físicas. Utilizando el ejemplo de una función de solubilidad, el autor señala que, aunque los laboratorios miden rutinariamente cantidades, los valores reportados dependen en gran medida de protocolos específicos (disolvente, temperatura, criterios de equilibrio, preparación de la muestra) y convenciones de reporte. Esta dependencia plantea la cuestión de si existe una función matemática bien definida e independiente del protocolo. Las visiones matemáticas tradicionales a menudo requieren que las funciones sean mapas continuos entre espacios bien definidos con dominios y codominios independientes del protocolo, lo que genera escepticismo sobre la existencia de tales funciones en contextos experimentales desordenados. El artículo busca resolver esto reformulando la cuestión de la existencia a través de la lente de la teoría de la computabilidad.

Metodología
El autor emplea un marco que combina la filosofía de la medición, la metrología (específicamente el Vocabulario Internacional de Metrología y la Guía para la Expresión de la Incertidumbre en la Medición) y el análisis computable. El movimiento metodológico central consiste en tratar un experimento de laboratorio reproducible no como un proceso físico que evoluciona en el tiempo, sino como un procedimiento finito y efectivo (un algoritmo) que mapea entradas admisibles a informes finitos.

El argumento procede en tres etapas lógicas:

Análisis Estructural: Definir un experimento como una secuencia de pasos que involucra un protocolo ( $P$ ), condiciones de fondo ( $C$ ) y una regla de reporte ( $R$ ) que termina con una salida finita.
Principio Puente: Introducir un principio puente físico de Church-Turing restringido. Esta tesis postula que para cada protocolo de laboratorio fijo, finitamente especificado y reproducible, existe un procedimiento computable por Turing que reproduce el comportamiento de entrada-salida del protocolo.
Análisis Computable: Aplicar las herramientas del análisis computable para manejar mediciones de precisión finita y estocasticidad, distinguiendo entre el cálculo directo de informes finitos y la aproximación de cantidades de valor real.

Contribuciones y Resultados Clave

Existencia del Mapa Computado (Proposición 1):
El artículo establece que un protocolo experimental fijo define una función computable $F: D \to \text{Rep}_{\text{fin}}$ , donde $D$ es el conjunto de descripciones de entrada finitas admisibles y $\text{Rep}_{\text{fin}}$ es el conjunto de objetos de informe finitos (por ejemplo, números racionales, intervalos, cadenas con incertidumbre). Bajo el principio puente físico de Church-Turing, el experimento es un procedimiento efectivo que se detiene con un informe; por lo tanto, el mapa que computa existe en el sentido matemático mínimo. La existencia de la función no es un prerequisito, sino una consecuencia de que el experimento sea un procedimiento efectivo que se detiene.
Precisión Finita e Idealizaciones de Valor Real (Proposición 2):
El artículo aclara que los experimentos no generan números reales exactos en un solo paso. En cambio, utilizando análisis computable, una cantidad de valor real se considera computable si existe un procedimiento que produce aproximaciones racionales con cualquier precisión solicitada ( $|q_n - y| \le 2^{-n}$ ). El artículo argumenta que la medición de precisión finita no es un obstáculo para la existencia de funciones de valor real, sino el mecanismo mismo mediante el cual se computan. Una función de valor real existe en este sentido solo si los informes finitos pueden organizarse en un esquema de refinamiento coherente (por ejemplo, aumentando el tiempo de integración o el número de réplicas) que converge a un valor objetivo.
Dependencia del Protocolo y Magnitudes Medibles Operacionales:
El artículo rechaza explícitamente la idea de que se requiere una única función independiente del protocolo para la existencia. En su lugar, define una magnitud medible operacional ( $F_{P,C,R}$ ) que es específica del protocolo, las condiciones y la regla de reporte. Cambiar estos parámetros cambia el mapa computado. La cuestión de si diferentes protocolos miden la misma cantidad subyacente es un logro científico separado de nivel superior que requiere argumentos de calibración y robustez, no un prerequisito para la existencia de la función computada por un protocolo específico.
Estocasticidad como Objeto Computable:
Para experimentos estocásticos donde ejecuciones repetidas generan informes diferentes, el artículo argumenta que el objeto computado no es un fallo de existencia, sino un cambio en el tipo de función. En casos estocásticos, el experimento computa un procedimiento de muestreo para una distribución de probabilidad sobre informes ( $\mu_{x,k}$ ). La afirmación de existencia se mantiene: el experimento define un mapa computable de entradas a distribuciones de informes (o un muestreador para ellas), en lugar de un mapa determinista de valor puntual.

Significado y Alcance
El significado del artículo radica en separar tres preguntas distintas a menudo confundidas en la filosofía de la ciencia:

Si la función existe (respondida afirmativamente para protocolos fijos mediante el principio puente).
Si la función es computable (respondida afirmativamente bajo el principio puente).
Si los resultados de diferentes protocolos miden la misma cantidad (un problema científico separado que requiere convergencia y calibración).

El autor limita explícitamente el alcance de las afirmaciones:

El artículo no prueba una tesis universal de Church-Turing física para todos los procesos físicos o evoluciones físicas arbitrarias.
No afirma que todos los protocolos converjan a una única cantidad de valor real independiente del protocolo.
No aborda la complejidad computacional ni la viabilidad práctica de evaluar estas funciones.

La conclusión es que la "existencia" de una función física queda asegurada una vez que un experimento se especifica como un procedimiento finito que se detiene. El trabajo científico entonces se desplaza de probar la existencia a explicar la estructura del mapa computado, compararlo entre protocolos y determinar cuándo está justificada la unificación en una cantidad independiente del protocolo. Esto reformula el problema desde una preocupación metafísica sobre la realidad de las cantidades no medidas hasta un análisis metodológico de lo que realmente computan los procedimientos experimentales específicos.

Experiments, Computability, and the Existence of Physical Functions