¿Y si te dijeran que hay una ecuación que sugiere que Dios no solo podría existir… sino que debe existir? No se trata de fe, ni de visiones, ni de ángeles bajando del cielo. Estamos hablando de lógica pura, de la misma materia con la que se construyen las computadoras, los cohetes y los algoritmos que deciden lo que ves en redes sociales. Y sí, esa lógica dice que Dios no es una fantasía, sino una necesidad racional.
Todo parte de una idea tan antigua como incómoda: si puedes imaginar un ser supremo, perfecto y necesario… entonces, ese ser debe existir. Suena a trampa, ¿verdad? Pero cuando lo metes en el lenguaje formal de la lógica modal —un sistema que estudia posibilidades y necesidades— la cosa se pone seria. No se trata de “creer”, se trata de analizar si la existencia de Dios es coherente con las reglas del pensamiento riguroso.
En lógica, hay proposiciones necesarias (que no pueden no ser) y proposiciones posibles (que podrían ser o no). La idea central del argumento ontológico moderno es esta:
Si la existencia de un ser supremo es posible, entonces también es necesaria.
Y si es necesaria… entonces es real.
La lógica no está diciendo que Dios tiene barba ni que te está vigilando desde una nube. Lo que dice es que el concepto de un ser absoluto no se contradice a sí mismo, y si eso es así, entonces su existencia se vuelve inevitable dentro del marco lógico. Como cuando dices que un triángulo tiene tres lados: no porque lo veas, sino porque su definición lo exige.
Este argumento fue afinado por un matemático tan brillante como perturbador. Pero no necesitas conocer su nombre (aunque, por cierto, era Kurt Gödel, el mismo que mostró que ningún sistema puede explicarse a sí mismo por completo). Lo que importa es que usó símbolos, axiomas y lógica formal para empujar la pregunta más antigua de la humanidad dentro del territorio de la ciencia dura.
Ahora bien, ¿esto demuestra que Dios existe? No. Demuestra que su existencia no es irracional. Que, si aceptas ciertas premisas lógicas, negar a Dios te deja fuera del juego lógico.
Aquí viene el golpe final: el mismo lenguaje que usamos para construir inteligencia artificial, que dirige robots y que predice el clima, admite la posibilidad real de Dios. No porque la lógica sea creyente, sino porque no puede excluirlo sin hacerse trampa a sí misma.
La paradoja es brutal: cuanto más precisa es la lógica, más se acerca al abismo de lo inexplicable. Y justo ahí, al borde del lenguaje formal, donde las ecuaciones ya no pueden cerrar sobre sí mismas, aparece un viejo conocido: el concepto de Dios. No como respuesta emocional, sino como el único término que hace que la ecuación no colapse.
Quizá no puedas rezarle a una fórmula. Pero si eres honesto con la lógica, al menos deberías admitir que, en el mundo de las posibilidades racionales, Dios sigue siendo una de las más sólidas.