Introducción: el lenguaje más extraño del universo
Hay algo raro y fascinante con las matemáticas. Están en todas partes.
Las matemáticas son un objeto físico. No podés agarrar el número 7 con la mano, ni guardar una ecuación en una caja, ni encontrar una raíz cuadrada flotando en el espacio. Y sin embargo, con matemáticas podemos calcular órbitas planetarias, construir puentes, diseñar computadoras, describir ondas, estimar probabilidades, programar inteligencia artificial y predecir fenómenos físicos con una precisión casi absurda.
Entonces aparece la pregunta incómoda:
¿Las matemáticas las inventamos nosotros o las descubrimos?
Cuando Pitágoras formuló su famoso teorema, ¿descubrió una relación que ya existía en los triángulos, aunque nadie la hubiera pensado todavía? ¿O inventó una herramienta simbólica para organizar ciertas propiedades del espacio? Cuando Newton escribió sus ecuaciones, ¿estaba leyendo una estructura profunda del universo o creando un lenguaje humano muy útil para describirlo? Cuando una ecuación predice un fenómeno antes de que lo observemos, ¿eso significa que la realidad “es matemática” o solo que la matemática es nuestro mejor mapa?
Esta pregunta atraviesa buena parte de la historia de la filosofía. Platón pensaba que las entidades matemáticas tenían una especie de existencia independiente del mundo sensible: los triángulos perfectos, los números y las formas no dependerían de nosotros. Aristóteles, en cambio, tendía a pensar las matemáticas como abstracciones que la mente obtiene a partir de la realidad. Mucho después, Kant sostuvo que nuestra forma de conocer el mundo ya viene organizada por ciertas estructuras de la mente, como el espacio, el tiempo y las categorías del entendimiento. Y en el siglo XX, Eugene Wigner volvió a poner el problema sobre la mesa con una frase famosa: la “irrazonable efectividad” de las matemáticas en las ciencias naturales (Wigner, 1960).
El misterio sigue abierto. Quizás las matemáticas sean inventadas como lenguaje, pero descubiertas como estructura. Quizás nacen en nuestra mente, pero funcionan porque el universo tiene regularidades reales. O quizás, como propone Max Tegmark de manera más radical, la realidad física no solo se describe con matemáticas: podría ser una estructura matemática (Tegmark, 2008).
En este artículo lo exploro con profundidad:
Si el universo es lenguaje matemático, no lo sabemos con certeza. Pero la pregunta importa porque toca algo profundo: qué relación hay entre la mente humana y el orden del universo. En este artículo exploro si las matemáticas se inventan o se descubren.
La postura del descubrimiento
La postura del descubrimiento dice que las verdades matemáticas no dependen de nosotros. Nosotros podemos descubrirlas tarde, formularlas mal o ignorarlas durante siglos, pero no las creamos.
Dos más dos serían cuatro aunque no existieran humanos. La relación entre los lados de un triángulo rectángulo seguiría siendo válida aunque ningún griego la hubiera escrito. Los números primos no empezarían a existir cuando alguien los enumera.
La postura del descubrimiento dice que las matemáticas simplemente están ahí, como una estructura abstracta esperando ser reconocida.
Esta posición suele relacionarse con el platonismo matemático. En términos generales, el platonismo sostiene que existen objetos matemáticos abstractos —como números, conjuntos o formas— cuya existencia no depende de nuestro lenguaje, pensamiento o práctica social (Linnebo, 2018). No serían objetos físicos, pero tampoco simples inventos psicológicos.
La fuerza de esta postura aparece cuando notamos que la matemática parece tener una objetividad muy particular. Si alguien demuestra un teorema correctamente, no parece estar imponiendo una preferencia personal. Parece haber encontrado algo que no podía ser de otra manera dentro de ese sistema.
También aparece en la física. Muchas estructuras matemáticas fueron desarrolladas por razones internas a la matemática y después resultaron fundamentales para describir la realidad física. Wigner veía ahí algo casi misterioso: conceptos nacidos en matemática pura terminan encajando con la naturaleza de una manera que no parece obvia (Wigner, 1960).
La intuición del descubrimiento es fuerte porque las matemáticas muchas veces se sienten menos como una invención libre y más como una exploración. Uno puede inventar símbolos, nombres o caminos, pero no puede decidir arbitrariamente que un teorema válido deje de serlo. El universo parece resistirse.
La postura de la invención
La postura contraria dice que las matemáticas son una invención humana: un lenguaje simbólico que construimos para ordenar la experiencia, medir regularidades, resolver problemas y comunicar relaciones.
Desde la postura de la invención, no encontramos números escritos en la naturaleza. Encontramos cantidades, patrones, formas, repeticiones, movimientos, simetrías y diferencias. Después inventamos símbolos, sistemas numéricos, notaciones, axiomas, reglas y operaciones para trabajar con eso.
Esto también es muy razonable. El número “3” no está en una manzana, ni en tres piedras, ni en tres estrellas. Es una abstracción que utilizamos para explicar los fenómenos del univereso. Lo que existe son objetos concretos; la mente agrupa, cuenta y simboliza. Además, distintas culturas desarrollaron sistemas numéricos, formas de medición y técnicas matemáticas diferentes. Eso sugiere que la matemática también tiene una historia humana.
La fuerza de esta postura es que evita convertir las matemáticas en una especie de reino misterioso flotando fuera de todo. Nos recuerda que hacemos matemáticas con cerebros humanos, lenguajes humanos, notaciones humanas y problemas humanos.
Pero tiene un problema: si las matemáticas son solo invención, ¿por qué funcionan tan bien para describir cosas que no inventamos? ¿Por qué una herramienta creada por nuestra mente puede predecir eclipses, partículas, campos electromagnéticos o trayectorias espaciales?
La invención explica el lenguaje. Pero no explica del todo por qué ese lenguaje encaja tan bien con el mundo.
La postura intermedia
Quizás la respuesta más razonable esté en el medio. El lenguaje es una de las estructuras mentales más potentes que tienen los humanos (sino la más), para diferenciarse de los animales.
Inventamos los símbolos, las notaciones, los sistemas formales, los nombres y muchas herramientas. Pero descubrimos relaciones, restricciones, estructuras y consecuencias que no dependen de nuestro gusto personal.
El símbolo “π” es inventado. La relación entre la circunferencia y el diámetro de un círculo no parece inventada. El signo “=” es inventado. La equivalencia que expresa, dentro de un sistema formal, no depende de que nos guste o no. Las coordenadas cartesianas son una creación histórica. Pero una vez que las usamos, ciertas relaciones geométricas aparecen con necesidad interna.
Esto permite una distinción importante:
- La matemática como lenguaje: inventada por humanos.
- La matemática como estructura: descubierta en relaciones reales o formales.
- La matemática como práctica: construida históricamente por comunidades.
- La matemática como límite: no podemos hacer que cualquier cosa sea verdadera.
Esta mirada evita dos extremos. No reduce la matemática a una simple convención cultural, pero tampoco necesita imaginar un mundo mágico de números perfectos separados de toda experiencia humana.
La matemática sería una especie de puente: la mente inventa mapas simbólicos, pero esos mapas solo sirven porque hay regularidades que no dependen de nosotros.
El problema de Benacerraf: si los números existen, ¿cómo los conocemos?
El platonismo matemático tiene un problema clásico: si los objetos matemáticos existen en un reino abstracto, fuera del espacio y el tiempo, ¿cómo puede un cerebro físico conocerlos?
Paul Benacerraf formuló una dificultad muy influyente: queremos que las verdades matemáticas sean objetivas, pero también necesitamos explicar cómo seres humanos concretos pueden acceder a ellas (Benacerraf, 1973). Si los números no causan nada, no emiten señales, no ocupan espacio y no interactúan físicamente con nosotros, ¿cómo logramos conocerlos?
Este problema no destruye el platonismo, pero le exige una explicación. Porque no alcanza con decir “los números existen”. Hay que explicar cómo una mente material puede tener conocimiento confiable de objetos abstractos.
Y acá el debate se vuelve fino. Los platonistas pueden responder que el conocimiento matemático no funciona como el conocimiento empírico: no conocemos números por contacto causal, sino por razón, demostración y necesidad lógica. Pero sus críticos pueden contestar que eso sigue sin explicar del todo el puente entre mente física y verdad abstracta.
Este es uno de los grandes nudos de la filosofía de la matemática: queremos que la matemática sea objetiva, pero también queremos que sea cognoscible. Ambas cosas juntas no son tan fáciles.
El argumento de indispensabilidad
Otra defensa fuerte del realismo matemático aparece en el argumento de indispensabilidad, asociado especialmente a Quine y Putnam. La idea general es que nuestras mejores teorías científicas dependen profundamente de entidades matemáticas. Si aceptamos esas teorías por su éxito explicativo y predictivo, parece difícil aceptar solo la parte física y rechazar completamente el compromiso con la matemática que las hace funcionar (Putnam, 1971; Colyvan, 2001).
Dicho simple: si la física necesita números, funciones, espacios, simetrías, geometrías y ecuaciones para describir lo real, tal vez las matemáticas no sean un simple adorno del lenguaje.
Esto no prueba que los números existan como objetos platónicos. Pero sí muestra que la matemática no es reemplazable fácilmente. Está metida en el corazón de nuestras mejores explicaciones del mundo.
La física moderna no usa matemáticas como decoración. Las usa como estructura. Las ecuaciones no solo resumen observaciones pasadas: a veces predicen fenómenos nuevos antes de que aparezcan experimentalmente. Eso pasó muchas veces en la historia de la ciencia, y por eso el asombro de Wigner sigue siendo tan potente (Wigner, 1960).
La pregunta entonces se vuelve más profunda: ¿las matemáticas funcionan porque el universo es matemático, o porque solo podemos entenderlo cuando logramos matematizarlo?
¿El mapa o el territorio?
Una forma útil de ordenar el debate es preguntarnos si las matemáticas son el mapa o el territorio.
Si son el mapa, entonces la realidad existe más allá de nuestras ecuaciones. La matemática sería nuestra herramienta más precisa para representarla, medirla y predecirla, pero no sería la realidad misma. Como un mapa de una ciudad: puede ser exacto, útil y necesario, pero no tiene olor, ruido, tránsito ni vida. El mapa no es el barrio.
Si son el territorio, entonces la realidad sería, en su estructura más profunda, matemática. No simplemente describible por ecuaciones, sino idéntica a una estructura matemática. Esta es la hipótesis fuerte de Tegmark: si existe una realidad externa independiente de nosotros, y si eliminamos todo “equipaje” humano de nuestras descripciones, lo que queda podría ser una estructura matemática (Tegmark, 2008).
La hipótesis es fascinante, pero muy discutida.
Tiene una belleza enorme: explicaría por qué las matemáticas encajan tan bien con la física. Pero también abre problemas difíciles. ¿Todas las estructuras matemáticas existen físicamente? ¿Por qué experimentamos esta estructura y no otra? ¿Cómo pasamos de una estructura matemática abstracta a una experiencia vivida con tiempo, cuerpo, color, dolor y conciencia?
Decir “el universo es matemático” suena profundo. Pero hay que distinguirlo de algo más prudente: El universo parece tener estructuras que pueden describirse matemáticamente con enorme éxito.
La matemática en la vida cotidiana
Aunque esta pregunta suene abstracta, vivimos rodeados de matemática.
- Cuando cocinamos, usamos proporciones, tiempos y cantidades.
- Cuando pagamos en cuotas, estamos dentro de ecuaciones financieras, intereses y relaciones temporales.
- Cuando el celular recomienda un video, opera con estadística, patrones de datos y modelos algorítmicos.
- Cuando un deportista calcula un pase, no resuelve una ecuación en papel, pero su cuerpo anticipa trayectorias, fuerzas y velocidades de manera implícita.
La matemática no aparece siempre como fórmula escrita. A veces aparece como estructura escondida detrás de acciones simples.
Esto no significa que toda experiencia humana pueda reducirse a números. Un abrazo, una emoción o una obra de arte pueden analizarse parcialmente con patrones, proporciones, neurociencia o teoría de la información, pero eso no agota su significado vivido. La matemática ilumina mucho, pero no necesariamente captura todo.
Ahí está uno de los límites del reduccionismo.
La realidad puede ser matematizable sin ser solo matemática en el sentido existencial que nos importa. Podemos medir ondas sonoras, pero eso no agota la experiencia de escuchar música. Podemos estudiar actividad cerebral, pero eso no agota lo que significa sentir tristeza, belleza o amor desde adentro.
Cuadro de síntesis de evidencia
| Nivel | Qué podemos afirmar |
|---|---|
| Validado empíricamente o bien respaldado | Las matemáticas son indispensables para formular muchas de nuestras mejores teorías científicas y tienen un poder predictivo extraordinario en física, ingeniería, tecnología, estadística e informática (Wigner, 1960; Colyvan, 2001). |
| En debate filosófico | Sigue abierto si los objetos matemáticos existen independientemente de la mente, si son construcciones humanas, si son abstracciones de la realidad, si forman parte de nuestras estructuras cognitivas o si el universo mismo podría ser una estructura matemática (Benacerraf, 1973; Linnebo, 2018; Tegmark, 2008). |
| Interpretación de Meditaciones Modernas | Las matemáticas parecen inventadas como lenguaje y descubiertas como estructura. Creamos símbolos, métodos y sistemas, pero no podemos inventar arbitrariamente las relaciones que esos sistemas revelan. Por eso funcionan como un puente entre mente y universo. |
Conclusión
Las matemáticas probablemente sean una de las creaciones más extrañas de la humanidad. (Si es que son creación).
Porque cuanto más las usamos, más parece que no las estamos inventando del todo. Inventamos signos, nombres, métodos y sistemas. Pero una vez que entramos en ellos, aparecen relaciones que no dependen de nuestra voluntad. No decidimos qué teoremas son verdaderos. No votamos cuánto vale π.. No elegimos caprichosamente qué ecuaciones describen mejor la gravedad, la luz o las partículas.
Algo responde. Esa es la parte misteriosa.
Tal vez las matemáticas sean una invención humana que funciona porque el universo tiene regularidades reales. Tal vez sean el descubrimiento progresivo de estructuras abstractas independientes. Tal vez sean una mezcla: una herramienta construida por mentes encarnadas para revelar patrones que no inventamos. O tal vez, en la hipótesis más radical, la realidad sea matemática en su nivel más profundo.
No tenemos una respuesta final. Pero sí tenemos una certeza práctica: sin matemáticas, el universo sería mucho más opaco para nosotros. Veríamos movimientos, formas y cambios, pero no sus relaciones profundas. Las matemáticas nos permiten tocar lo invisible: proporciones, simetrías, probabilidades, campos, dimensiones, algoritmos, estructuras.
Quizás por eso fascinan tanto. Porque están en un lugar rarísimo: nacen en nuestra mente, pero parecen alcanzar algo que está más allá de ella.
Son mapa, herramienta, lenguaje y espejo.
Y tal vez también sean una pista de que la realidad, por debajo del ruido cotidiano, tiene una arquitectura más profunda de lo que podemos imaginar.
Resumen visual del artículo
Bibliografía y referencias
- Benacerraf, P. (1973). Mathematical truth. The Journal of Philosophy, 70(19), 661–679.
- Colyvan, M. (2001). The indispensability of mathematics. Oxford University Press.
- Linnebo, Ø. (2018). Platonism in the philosophy of mathematics. En E. N. Zalta (Ed.), The Stanford Encyclopedia of Philosophy. Stanford University.
- Putnam, H. (1971). Philosophy of logic. Harper & Row.
- Tegmark, M. (2008). The mathematical universe. Foundations of Physics, 38(2), 101–150. https://doi.org/10.1007/s10701-007-9186-9
- Wigner, E. P. (1960). The unreasonable effectiveness of mathematics in the natural sciences. Communications on Pure and Applied Mathematics, 13(1), 1–14. https://doi.org/10.1002/cpa.3160130102
Seguí explorando las grandes preguntas
Suscribite a Meditaciones Modernas y recibí gratis “50 ideas para entender el mundo moderno”: una guía que conecta ciencia, filosofía, historia, economía y tecnología.
- 50 ideas fundamentales explicadas con claridad.
- Un recorrido desde el Big Bang hasta la inteligencia artificial.
- Nuevos artículos de Meditaciones Modernas en tu correo.
Después de suscribirte, revisá tu correo —también Spam— para confirmar la suscripción y recibir el PDF.
Deja una respuesta