“Un Dios que existe, no existe”. La paradoja de Dietrich Bonhoeffer, formulada desde su celda de prisión, puede sonar provocativa, incluso blasfema. Pero lo que en realidad encierra es una advertencia decisiva: cuando se concibe a Dios como un ente que existe “ahí”, a la manera de un objeto verificable o de un concepto deducible, lo que se obtiene no es el Dios vivo de la fe cristiana, sino un ídolo conceptual. De ahí que, frente a los esfuerzos de filósofos y lógicos por demostrar la existencia de Dios, Bonhoeffer nos recuerde que ese “dios demostrable” es precisamente el que no existe. Esta intuición se vuelve especialmente pertinente cuando se confronta con la propuesta del gran lógico del siglo XX, Kurt Gödel, quien reformuló en clave modal el viejo argumento ontológico de Anselmo de Canterbury.
El trayecto intelectual que conduce hasta Gödel está jalonado de grandes nombres. Anselmo había enunciado que Dios es “aquello mayor que lo cual nada puede pensarse”, y que negar su existencia sería una contradicción, puesto que, si Dios existiera solo en el pensamiento, podría pensarse algo aún mayor: que existiera también en la realidad. Descartes recogió esta intuición y la reubicó en el corazón de su racionalismo, sosteniendo que la idea de un ser absolutamente perfecto incluye necesariamente la existencia como atributo. Leibniz, a su vez, intentó refinar el argumento mostrando que el concepto de ser perfecto no encierra contradicción alguna y, por tanto, su posibilidad implica su existencia. Kant desmontó el esquema al afirmar que la existencia no es un predicado que pueda sumarse a una definición conceptual: decir que algo existe no añade contenido a su concepto, solo lo sitúa en el plano de lo real. Con todo, la fascinación por demostrar la necesidad de Dios continuó, y Gödel, con las herramientas de la lógica modal y la precisión matemática, propuso una formalización impecable: si es posible un ser supremo con todas las perfecciones, entonces es necesario que exista en todos los mundos posibles y en especial, en los mundos concebibles de Gödel.
La elegancia de Gödel es indiscutible. Sin embargo, Bonhoeffer se plantaría frente a él con una objeción radical: incluso si el teorema fuera lógicamente irreprochable, el resultado obtenido seguiría sin ser el Dios cristiano. Lo que Gödel alcanza es un ente perfecto y necesario, fruto de la deducción lógica; lo que Bonhoeffer anuncia es un Dios que se revela en la historia, que se da a conocer en la debilidad de la cruz, que no se deja encerrar en la categoría de lo “necesario” ni en la de lo “existente” como un objeto más del mundo. En este sentido, el Dios de Gödel es el Dios que “existe”, y por tanto, en palabras de Bonhoeffer, el que no existe.
Aquí se abre una distinción crucial entre demostrar y mostrar. Demostrar pertenece al orden de la razón, de la episteme, del cálculo lógico que opera sobre definiciones y axiomas. Mostrar, en cambio, pertenece al orden de la experiencia y del testimonio: Dios no se demuestra como un teorema, se muestra en la historia, en la vida de Jesús, en la fe que responde a una llamada. La fe no es deducción, es confianza; no es certeza lógica, sino adhesión personal. De ahí que toda pretensión de “probar” la existencia de Dios por la vía de la lógica, lejos de fortalecer la fe, la sustituya por un sucedáneo que la neutraliza. Si la fe es la actitud antropológica por excelencia —el confiar, el arriesgar, el entregarse—, entonces un Dios cuya existencia quedara probada de manera incontestable anularía ese fenómeno humano fundamental. No habría ya necesidad de creer, porque bastaría con constatar. Pero si la fe desaparece, lo que se extingue no es solo una dimensión religiosa, sino una condición esencial de la existencia humana, tanto en su vertiente trascendente como en su dimensión contingente.
Bonhoeffer había descrito esta alternativa en términos de gracia barata y gracia cara. La gracia barata es la religión que hace de Dios un recurso siempre disponible, un amparo que no exige nada. El Dios demostrable pertenece a esta categoría: tranquiliza la razón, ofrece seguridad conceptual, pero no compromete la vida. La gracia cara, en cambio, es aquella que exige seguimiento, entrega, encarnación de la fe en la existencia concreta. El Dios que no se deja reducir a una fórmula lógica es precisamente el que llama al seguimiento, porque no está a nuestra disposición como un axioma, sino que se nos escapa, nos interpela, nos exige libertad y riesgo.
El contraste entre Gödel y Bonhoeffer se revela, pues, como el enfrentamiento entre dos modos de pensar lo divino: el modo lógico-ontológico, que busca en la necesidad del concepto la certeza de la existencia, y el modo existencial-cristiano, que rehúsa esa necesidad para afirmar la libertad de Dios y la libertad del hombre en la fe. Uno se mueve en el terreno del “saber”, el otro en el del “creer”. Uno se cierra en la autosuficiencia de la razón, el otro abre el espacio de la confianza y del encuentro.
Y en este cruce, todos los nombres que acompañan a Gödel en la tradición vuelven a situarse bajo la luz crítica de Bonhoeffer. Anselmo, Descartes y Leibniz quedan desenmascarados como precursores de un dios conceptual; Kant, con su lúcida objeción, se aproxima más a la perspectiva bonhoefferiana al negar que la existencia pueda derivarse de un concepto. Pero es Bonhoeffer quien radicaliza la cuestión: no basta con afirmar que la existencia no es predicado; hay que sostener que el Dios que puede ser reducido a predicado, a hipótesis o a necesidad lógica, no es el Dios cristiano.
Al final, la conclusión es clara y sugestiva. La lógica de Gödel puede fascinar, pero la paradoja de Bonhoeffer nos libera: Dios no está al final de un silogismo, sino en medio de la historia. El Dios demostrable es el que no existe; el Dios que se muestra en la cruz es el que, precisamente porque no es demostrable, irrumpe como verdadero. Allí donde se agotan las pruebas, comienza la fe. Y tal vez por eso la última palabra no la tenga el teorema, sino la confesión: no un cálculo necesario, sino un testimonio que, en la incertidumbre de la existencia, se atreve a decir: Creo.
Postdata
Como ingeniero y matemático, no como filósofo, mi lógica no es solo la de los postulados abiertos a la duda metódica, sino la del experimento que elimine la duda. Pero hay un acontecimiento irrebatible que desmonta todo experimento, todo argumento lógico, y a su vez anula toda duda: la muerte. Ella borra el sentido de nuestros cálculos y de nuestras construcciones, nos despoja de todo lo que hemos levantado. Entonces, el Dios que necesitamos no es el que se demuestra en silogismos, teoremas o artefactos, sino el Dios que nos libera de la pérdida total, el que da sentido allí donde la razón enmudece y la vida se interrumpe. Ese Dios no se deduce: se espera, se cree y se testimonia. El testimonio es el verdadero experimento, y quien lo valida es nuestra libre voluntad.