Dios, completitud e infinitud

Kurt Gödel es famoso por sus aportaciones revolucionarias a la lógica matemática (como curiosidad cabe mencionar que llegó a formalizar lógicamente el argumento ontológico de San Anselmo). Douglas R. Hofstadter, en su famoso y «gran» libro -en todos los sentidos- «Gödel, Escher, Bach», resume en una corta frase la aportación más destacada de Gödel:

«Toda formulación axiomática de teoría de los números incluye proposiciones indecidibles«.

Este es el llamado «teorema de incompletitud de Gödel« que lleva a afirmar que no pueden existir ‘sistemas lógico–matemáticos completos‘, «que permitan definir los números naturales como un conjunto« (tal y como se precisa en la Wikipedia), fundamentados en un ‘sistema axiomático finito’ sin que sean a su vez inconsistentes -con lo que, tomando por válido el principio de explosión, se deduciría cualquier cosa-. Es decir, para que un sistema lógico-matemático sea «completo» (que no contiene afirmaciones que ni se pueden demostrar ni refutar) sin ser inconsistente debería tener infinitos axiomas; y además, para poderse aplicar el teorema de Gödel, debería ser un sistema en el que haya algún procedimiento efectivo que decide si una cierta declaración es un axioma (como explica en un artículo Eduardo Piza Volio, un «procedimiento efectivo» es una lista de instrucciones o un algoritmo que no requiera de ninguna ingeniosidad para ser ejecutado). Esto es imposible para el ser humano, pues es finito, pero no sería así para un supuesto ser todopoderoso: Dios. Un Ser al que, en principio, los humanos no podemos demostrar ni refutar de forma concluyente (siendo su existencia para nosotros, aparentemente, una «proposición indecidible«, con lo que nuestra lógica y conocimiento no sería completo).

Dios -si existe- debería ser capaz de construir un sistema lógico-matemático completo. En mi post «Dios, completitud e inconsistencia», proponía que Dios, al construir este sistema, debería ser capaz de contradecirse, de manejar la inconsistencia en virtud de su omnipotencia. Además, afirmo que si -de existir- Dios es omnipotente o todopoderoso, no tendría por qué estar sujeto a las leyes de la lógica; de hecho, se podría decir que Dios «crearía» las leyes de la lógica. Pero ahora bien, también podría construir un sistema completo mediante un número infinito de axiomas, lo que implicaría la «infinitud» de Dios (esto recuerda al Dios y el Infinito Absoluto del que habla Georg Cantor ). Resumiendo: si Dios es completo, debe ser infinito y/o inconsistente.

Refutación de una demostración matemática de la Inexistencia de Dios

He encontrado un intento de «demostración matemática de la Inexistencia de Dios» que me gustaría comentar.

Aquí está lo principal del artículo en que se trata el tema:

Los creyentes han escogido como cierta una cosa (a Dios) de entre todas las cosas que podrían existir, pero que no han sido percibidas de ningún modo.

De ahora en adelante, denominaremos SUPERCONJUNTO a «el conjunto de cosas que podrían existir pero que no han sido demostradas».

Dentro del SUPERCONJUNTO están incluidos los 2 conjuntos siguientes:

– Cosas que no existen (luego no se han demostrado)
– Cosas que existen (pero no se han demostrado)

Las «cosas que no existen» es un conjunto infinito (creo que esto es evidente).
Las «cosas que existen» es un conjunto finito (también evidente).

Estos son los dos axiomas sobre los que se edifica la argumentación. Si alguno no fuera cierto, el razonamiento perdería todo su fundamento.

DESENLACE:

Los creyentes han elegido el elemento «Dios» de entre todos los elementos del SUPERCONJUNTO, con la esperanza de que esté incluido dentro del subconjunto «cosas que existen» y por tanto fuera del subconjunto «cosas que no existen».

Resumiendo, han escogido un elemento de un conjunto formado por 2 subconjuntos: uno finito y otro infinito.

¿Qué probabilidades hay de que el elemento escogido esté dentro del subconjunto infinito?
Según la teoría de probabilidades, es fácilmente demostrable que el elemento escogido pertenecerá al conjunto infinito con un 100% de probabilidad.

Por tanto, existe un 0% de probabilidades de que «Dios» pertenezca al conjunto «cosas que existen». Es decir, una persona que afirma que «Dios existe», se equivoca con toda probabilidad.

Matemáticamente, Dios no existe.

Posteriormente, el autor, Eduardo Couselo (duducou@hotmail.com), indica que este artículo no debe interpretarse como una demostración pretenciosa de la inexistencia de Dios, sino como un artículo curioso que ayuda a ver el tema desde un punto de vista distinto y nuevo, que intenta trasladar la discusión sobre la existencia de Dios a la discusión sobre la veracidad de los axiomas. Si tales axiomas se consideran ciertos, el razonamiento es impecable.

Se podría estar de acuerdo con esta afirmación considerando válida en todo caso la lógica formal aristotélica usada habitualmente (cosa que he puesto en duda en mi blog), pero no hay que olvidar que cuando entran en juego magnitudes infinitas la argumentación se vuelve más riesgosa y endeble (con lo que el razonamiento podría no ser tan «impecable») y hay muchas consideraciones a tener en cuenta. De hecho, Gauss llega a decir lo siguiente:

Protesto contra el uso de magnitudes infinitas como algo completo, lo que en matemáticas nunca se permite. El infinito es simplemente una forma de hablar, el significado real es un límite con ciertos rangos de aproximación indefinidamente cercanos, mientras que otros se les permite incrementarse sin restricción.

De todas formas, querría hacer un apunte en lo que se refiere a la veracidad de los axiomas; en concreto el segundo: Las «cosas que existen» es un conjunto finito. No sabemos exactamente si el universo es finito o infinito, y aún en el caso de que se diera lo primero, cabría preguntarse si no pudiera haber «algo» que, existiendo, no estuviera contenido entero en él (por no mencionar que puedan existir universos paralelos no conectados con el nuestro).

Couselo también dice que su artículo va más allá de demostrar la inexistencia de Dios. Lo que demuestra es que al dar por existente algo, debe hacerse en base a algún indicio o prueba. Estas líneas que escribo no pretenden llegar a una respuesta concluyente absoluta sobre la existencia o no de Dios, sólo considerar ciertos  aspectos del tema y algunas posibilidades desde un punto de vista un tanto estricto (si hay algún «resquicio» que pueda dar lugar a algo, procuro considerarlo). Por ello, creo hay que decir que el hecho de que no tengamos evidencia empírica de algo no implica su inexistencia. Incluso habría que replantearse qué es o qué quiere decir que algo «exista», si es necesario que algo se dé en el mundo físico para que se pueda decir que exista (pues, por ejemplo, los pensamientos que tenemos no tienen por qué reproducirse materialmente y, pese a ello, «existen» -entendiendo por pensamientos «aquello que se piensa», no los impulsos bioeléctricos cerebrales en sí mismos:  algo así como el mundo platónico de las ideas-).

También cabe añadir que si suponemos que podamos redefinir a Dios como un Ser capaz de manejar la inconsistencia, la contradicción (como hice hace un tiempo: ver preferentemente mi post «Dios, completitud e inconsistencia»), con argumentos lógico–matemáticos formales no se podría demostrar la inexistencia de Dios al no poderse considerar válidos ya que estarían entrando en un espacio al que no deben ni pueden acceder (un sistema lógico formal no puede tratar aquello que está fuera de la lógica formal, puesto que la lógica formal exige ciertos principios que no se verificarían en un dominio en el que, por ejemplo, no se cumpla un principio tan fundamental como el de no contradicción -muchas demostraciones de la inexistencia de Dios hacen uso de técnicas como la de reducción al absurdo o la de contradicción-). El problema pasaría a ser de carácter ontológico más que lógico: Dios es o no es, existe o no, independientemente de las tentativas de demostración o refutación (es decir, con nuestros sentidos, las herramientas de que disponemos y nuestras limitaciones por estar en el mundo terrenal, si Dios existe, existiría aunque no se pudiera demostrar -siempre y cuando no tuviéramos una prueba de Él empírica, perceptual o sencillamente una «revelación divina«, que devolvería el problema al ámbito de la creencia personal y de la Fe-; y es más, podría darse que Dios no exista y no se pudiera refutar su existencia, ya que necesitaríamos ser nosotros mismos omniscientes para afirmarlo); y las propiedades que pudiera tener en caso de que exista sólo podemos intuirlas o suponerlas, ya que nuestras mentes no todopoderosas -limitadas- no pueden, en principio, aprehender todo esto por entero.

Por último, sería conveniente señalar que con el zen y los koans de sus escritos quizá se pudiera llegar a tener la llave a al menos una mínima comprensión o percepción de estas cuestiones acerca de las contradicciones y la esencia del mundo (que supuestamente se alcanzaría con el satori o «iluminación»).

Dios, completitud e inconsistencia

«La lógica es invencible porque para combatir la lógica es necesario utilizar la lógica». Pierre Boutroux.

Como a veces he hecho, voy a escribir estas líneas como un juego matemático–filosófico extravagante más parecido al delirante «poema cosmogónico» que es el «Eureka» de Edgar Allan Poe que a un ensayo filosófico al uso -pues muy posiblemente algunos argumentos no serían del agrado de Torkel Franzén-, aunque puedan tener su validez dentro de su enfoque místico.
Existen tres principios básicos del funcionamiento de la lógica aristotélica clásica: el principio de identidad («todas las cosas son las que son»), el de no contradicción («no pueden ser ciertos a la vez A y su negación no–A») y el del tercero excluido («todo enunciado es o verdadero o no verdadero»). La «lógica multivalente» es aquella que no tiene el principio del tercero excluido entre sus premisas, pues tiene más ‘valores de verdad’ aparte de los de verdadero o falso, como de indeterminado. Pero los dos primeros principios se siguen cumpliendo y los sistemas son consistentes (no se dan contradicciones).
Imaginemos ahora la Nada, antes de una hipotética Creación. No existiría todo lo que conocemos y damos por hecho, por lo que no habría tampoco leyes de la lógica: sería posible la contradicción.
Veamos algunas consecuencias.
Podría decirse que habría «cero entes» en la Nada (dejando de lado que quizá los conceptos mismos de ‘cero’ o de ‘conjunto vacío’ pudieran no tener sentido planteárselos en la Nada) y el cero es igual a cero, afirmación que verificaría el principio de identidad, pese a no tener la obligación de cumplirlo necesariamente como hemos dicho con anterioridad. Pero 0 = 0 sólo sería uno de los resultados posibles porque, al no existir el principio de no contradicción, podríamos escribir la contradicción 0 = 1 y, a partir de ahí, 0 = 1 + 0 = 1 + 1 = 2 y todos los números naturales, luego los enteros y demás, llegando finalmente a poderse estructurar todo un sistema inconsistente matemático (por el momento sólo nos circunscribimos a las matemáticas y la lógica, aunque las leyes del razonamiento lógico afecten a otros campos del conocimiento, como la Ciencia o la Teología Natural, que trataremos más adelante). Sin embargo, todo sería una inmensa indeterminación, ya que se podría demostrar cualquier cosa debido a la contradicción (posible de no existir en la Nada el principio que la impide).
En el interesante y muy aprovechable libro de John D. Barrow, «La trama oculta del universo», vienen unas excelentes explicaciones -a un nivel accesible- de lógica y matemáticas que usamos en este artículo: las «definiciones» al inicio del presente texto que aclaran y sirven de resumen simplificado de cada uno de los tres principios lógicos aristotélicos y los pequeños párrafos que transcribiremos a continuación, además de la cita de Pierre Boutroux y la del Barón de Montesquieu que aparecerá más adelante. De Gödel dice que «estableció que cualquier sistema lógico lo bastante grande como para contener la aritmética ordinaria era necesariamente incompleto». Éste es el teorema de la incompletitud de Gödel, pero también hay un teorema que asevera que «el que un sistema sea consistente es completamente equivalente a que algún enunciado dentro del sistema sea inderivable. No es difícil ver que este curioso enunciado es verdadero. En efecto, si el sistema es consistente, entonces no debe ser posible derivar el enunciado que dice que algo es verdadero y que se negación también es verdadera. Por lo tanto, este es un enunciado inderivable. Recíprocamente, si el sistema es inconsistente, entonces, por definición, se puede probar que algún enunciado y su contrario son ambos verdaderos. Si esto es así, puede probarse que un enunciado cualquiera será verdadero. Por lo tanto, no habría enunciados inderivables en un sistema inconsistente».

El teorema de incompletitud de Gödel lo impide, pero se buscó infructuosamente durante mucho tiempo que «utilizando las reglas de deducción se pudiera demostrar que cualquier fórmula que se pueda formar con los símbolos de la aritmética es o verdadera o falsa. Si es posible una tal omnipotencia matemática, se dice que el sistema lógico es completo«. El teorema de Gödel (que niega la completitud de ciertos sistemas: «nunca se podrá encontrar un sistema axiomático que sea capaz de demostrar todas las verdades matemáticas y ninguna falsedad», como viene en la Wikipedia) se sustenta en leyes lógicas como el principio de no contradicción pero, eliminándolo, un sistema lógico puede ser completo a costa de la inconsistencia y, por tanto, no revestiría en principio de interés debido a su indeterminación intrínseca: todo podría demostrarse en el sentido que quisiéramos, «toda fórmula tiene prueba».

Como hemos visto, la inconsistencia nos lleva a que cualquier enunciado sea verdadero, lo que en el fondo es una indeterminación total que no nos sirve en Ciencia (no nos permitiría concretar nada, ni hacer predicciones de hechos), pero, supuestamente, haría posible todo: si -de existir- Dios es omnipotente o todopoderoso, no tendría por qué estar sujeto a las leyes de la lógica; y nuestro universo podría ser sólo un caso particular con estas tres leyes lógicas restrictivas -y en realidad sólo dos, porque el principio del «tercero excluido» puede no darse en todo ámbito de lo que conocemos- que percibimos mediante nuestro sentido común en el seno de un sistema completo e inconsistente; omnipotente pero indeterminado y regido por un Ser que incluye distintas leyes en este caso particular que es nuestro universo, siendo éste una parte consistente e incompleta dentro de un total inconsistente y completo.

En definitiva, Dios puede contradecirse. Por responder a una cuestión expuesta por Homer Simpson que me propuso un amigo mío: «¿Puede Dios crear una rosquilla tan grande que ni él pueda acabarse?», pregunta que en realidad es una reformulación de la «paradoja de la omnipotencia». Claro que sí, pues puede contradecirse al poder ser «completo»: Dios, al ser todopoderoso, omnipotente debería tener una capacidad potencial para crear un sistema completo que contenga a la aritmética; pudiéndolo hacer si es capaz de «manejar» la inconsistencia. «Existe un dicho según el cual si los triángulos concibiesen un dios, lo imaginarían con tres lados», dijo el Barón de Montesquieu, por lo que, pese a la aparente sorpresa y nuestra dificultad para imaginarlo, no debiera ser vista como inviable o descabellada la idea de un Dios que pueda no estar atado al principio de no contradicción (pero en cambio incluyéndolo en un universo que Él decide crear).

Si en la Nada no existe el principio de no contradicción, todo enunciado es verdadero como dije antes, y cero (la Nada) es, en principio, igual a cualquier cosa. Más que haber la Nada en el comienzo, sería el Caos -¿equivalente a la idea de un Dios o incluido en Él?-, producto de la «inmensa indeterminación» que mencionamos arriba. Un Caos como viene recogido en algunas leyendas o mitos (o incluido en algunas teologías) y hay un Dios que lo ordena todo y así «crea» nuestro universo (en el que se incluyen las tres leyes lógicas aristotélicas).

Quizá las mitologías griega y egipcia no anduvieran erradas al creer en un caos primigenio (que «toma conciencia de sí mismo» en el caso de los egipcios: ver la «Mitología Universal» de Juan B. Bergua) y la Creación sería el ordenamiento de todo; teorías como la del inconsciente colectivo y los arquetipos de Carl Gustav Jung podrían llegar a explicar, como un remedo de «implante» divino en el alma humana, el por qué algunas leyendas tienen a una situación caótica (y su ordenamiento) como Origen de las cosas.