Última actualización: 10 de febrero de 2026

La realidad se nos escapa: verdades que nunca podremos demostrar

Representación abstracta de un enunciado matemático verdadero pero indemostrable, con símbolos lógicos y un horizonte infinito — Una verdad sin demostración: en el corazón del laberinto del conocimiento, un destello que la lógica no puede atrapar.
Fuente de la imagen: astronoo.com

El teorema que dice "no" a las certezas absolutas

En todos los ámbitos donde intentamos entenderlo todo, ya sea la física, el universo o incluso el pensamiento humano, siempre habrá preguntas sin respuesta, verdades que escaparán a nuestras teorías. Incluso en el corazón del rigor más abstracto, las matemáticas, subsisten zonas de silencio, enunciados verdaderos pero imposibles de demostrar. Este límite es una invitación a la modestia, que nos empuja a mantener la mente inventiva y abierta. Esto es lo que revela el teorema de incompletud de Gödel.

Kurt Gödel (1906-1978), matemático austriaco, revolucionó nuestra relación con la lógica. Su descubrimiento, sencillo en apariencia, es vertiginoso: en cualquier sistema formal (es decir, sin contradicciones) capaz de describir la aritmética, existen enunciados que son verdaderos pero indemostrables dentro de ese sistema. En otras palabras: en este sistema, hay frases cuya veracidad o falsedad no puede determinarse, aunque estén perfectamente bien formadas. Esta pequeña falla, lejos de ser una catástrofe, es una propiedad fundamental de la lógica. Hace que el universo de las ideas sea más rico, más misterioso y infinitamente más interesante.

El astrónomo atrapado en su propia galaxia

Un astrónomo que vive dentro de una galaxia inmensa tiene un telescopio perfecto, leyes físicas supuestamente universales y una regla fundamental: "Toda observación debe poder ser confirmada por otro observador ubicado en otro lugar del universo."

Busca medir la velocidad exacta de su propia galaxia con respecto al fondo cósmico. Pero aquí está el problema:

Para medir una velocidad, se necesita un punto de referencia externo fijo.
Cualquier punto de referencia que elija (otra galaxia, un cuásar) también está en movimiento.
No puede salir de su galaxia para verla desde el exterior.
Tampoco puede interpretar sus mediciones sin hacer una hipótesis sobre lo que no ve.

Entonces formula una frase que dice (implícitamente): "La velocidad de mi galaxia no puede medirse desde el interior de mi galaxia."

Esta frase es verdadera; es un hecho físico, no una opinión. Pero no puede demostrarla solo con sus instrumentos internos, porque cualquier demostración requeriría salir del sistema (la galaxia) que está estudiando.

Lo que nos enseña esta metáfora

Al igual que un astrónomo no puede medir la velocidad de su propia galaxia sin un punto de vista externo, un sistema matemático no puede demostrar todas sus propias verdades. No es una limitación del instrumento, sino una propiedad del sistema en sí.

Aún más simple: el ejemplo de Copérnico

Para saber si nuestra Tierra gira, Copérnico tuvo que cambiar de punto de vista, observar desde otro lugar. ¿Pero qué hacer si queremos medir el movimiento de todo el universo? Imposible: no tenemos un "otro lugar". Gödel descubrió lo mismo en matemáticas: para demostrar ciertas verdades, tendríamos que salir del sistema. Y eso es precisamente lo que no podemos hacer.

Por qué la incompletud es una buena noticia

Si todo fuera demostrable, el conocimiento sería un vasto catálogo sin sorpresas. La incompletud nos recuerda que el universo matemático, y quizás el físico, contiene profundidades que nunca podremos agotar. Siempre habrá enunciados verdaderos, como la edad exacta del universo, a los que nuestro razonamiento nunca llegará.

Lo que hay que recordar

Lejos de ser un fracaso, la incompletud es una ventana a lo real inagotable. Todo sistema lógico, por rico que sea, deja en la sombra verdades que se le escapan. Los límites puestos de manifiesto por Gödel no son, por tanto, un accidente de la aritmética, sino una característica profunda de cualquier sistema formal lo suficientemente expresivo. Así es como el universo, ya sea matemático o físico, conserva su misterio y su poder de fascinación.