A lo largo de la historia, filósofos y científicos han utilizado el razonamiento para preguntarse si es posible demostrar la existencia de Dios.
Uno de los casos más conocidos del siglo XX fue el del matemático Kurt Gödel, quien desarrolló una versión formal del llamado argumento ontológico mediante la lógica modal.
Gödel fue reconocido por sus teoremas de incompletitud, que transformaron la comprensión de los límites de los sistemas formales. Sin embargo, también dedicó parte de su trabajo a una cuestión filosófica mucho más antigua: la existencia de Dios.
Su planteamiento retomó una tradición iniciada por san Anselmo de Canterbury y desarrollada posteriormente por pensadores como René Descartes y Gottfried Wilhelm Leibniz.
El argumento de Gödel sobre Dios
El argumento ontológico parte de una definición de Dios como un ser que posee todas las perfecciones.
A partir de esa idea, Gödel utilizó la lógica modal para formular una serie de proposiciones relacionadas con las propiedades positivas y la existencia necesaria de ese ser.
La lógica modal permite razonar sobre conceptos como la posibilidad y la necesidad. Esto resultaba relevante para el planteamiento de Gödel, porque su argumento no se limitaba a preguntar si Dios existe en el mundo que conocemos.
La cuestión también involucraba si la existencia de un ser con esas características debía considerarse necesaria.
Sin embargo, formalizar conceptos como la perfección, la existencia necesaria y las propiedades positivas plantea dificultades que van más allá de una operación matemática convencional.
El matemático español Miguel Recio abordó este problema durante el V Congreso de la Sociedad de Científicos Católicos de España, celebrado del 17 al 19 de septiembre de 2026 en la Universidad Pontificia Comillas de Madrid.
Según explicó Recio durante su ponencia, el intento de Gödel no resultó finalmente satisfactorio porque una de sus premisas asumía de alguna manera aquello que pretendía demostrar.
En otras palabras, el sistema lógico utilizado por Gödel no podía establecer por sí mismo todas las condiciones necesarias para demostrar la existencia de Dios.
Los límites de la lógica matemática
Para Recio, el caso de Gödel muestra que el rigor de las matemáticas tiene límites cuando intenta abordar conceptos que no pertenecen exclusivamente al ámbito formal.
La lógica matemática puede establecer relaciones entre definiciones y premisas dentro de un sistema. Sin embargo, el problema aparece cuando esas premisas incluyen conceptos cuya naturaleza no puede determinarse únicamente mediante símbolos y reglas lógicas.
El argumento de Gödel, por tanto, no constituye una prueba científica de la existencia de Dios.
Su importancia está en que intentó formalizar mediante herramientas matemáticas una cuestión que durante siglos había sido discutida principalmente desde la filosofía.
Recio sostuvo que la lógica matemática, pese a su formalismo, no puede abarcar por completo lo que significa Dios.
Desde su perspectiva, la ciencia puede aportar elementos para reflexionar sobre la realidad, pero no puede responder por sí sola todas las preguntas relacionadas con la existencia y la naturaleza de Dios.
Las matemáticas como una forma de contemplar a Dios
La relación entre matemáticas y fe no termina con el argumento de Gödel.
Recio explicó que, aunque las matemáticas no puedan demostrar por sí mismas la existencia de Dios, sí pueden convertirse en una forma de acercamiento personal a la fe.
El matemático destacó la belleza y elegancia que encuentra en las estructuras matemáticas. Para él, esa belleza tiene un significado que va más allá de la utilidad práctica de las matemáticas.
No se refiere, aclaró, a interpretaciones místicas de fenómenos como la sucesión de Fibonacci o la proporción áurea.
Su planteamiento es diferente.
Recio explicó que encuentra en las matemáticas una manera de contemplar lo Bueno, lo Bello y lo Verdadero, conceptos que relaciona con su experiencia de Dios.
Desde esta perspectiva, estudiar matemáticas no constituye una demostración de que existe un creador. Es, para él, una manera de contemplar la realidad y acercarse a Dios desde el conocimiento.
Ciencia y fe no tienen por qué ser incompatibles
Recio también destacó durante el congreso la relación que puede existir entre la actividad científica y la experiencia religiosa.
A su juicio, ejercer una profesión científica no impide mantener una convicción religiosa. Por el contrario, considera que la fe puede influir en la manera en que un científico observa e intenta comprender la realidad.
El V Congreso de la Sociedad de Científicos Católicos de España reunió a especialistas de distintas áreas, entre ellas matemáticas, física, química y biología.
El encuentro buscó favorecer el diálogo entre científicos que comparten una visión religiosa y abordar la relación entre conocimiento científico y fe.
El caso de Gödel muestra así una cuestión que continúa abierta en otro ámbito: las matemáticas pueden construir argumentos extremadamente rigurosos sobre conceptos definidos dentro de un sistema, pero la pregunta por Dios también involucra cuestiones filosóficas y teológicas que no se reducen a una fórmula.
Para Recio, las matemáticas no son una prueba de la existencia de Dios. Son, desde su experiencia personal, una forma de contemplar la belleza y el orden de la realidad.