Gödel y la existencia de Dios

Kurt Gödel (28 abril de 1906- 14 enero de 1978) fue un matemático, lógico y filósofo austriaco-estadounidense, quizás uno de los matemáticos más importantes del siglo XX.

Gödel es mundialmente conocido por sus teoremas de incompletitud (de los que hablaremos en la siguiente entrada.
Pero de lo que hablaremos ahora es del correo que distribuyó entre sus conocidos en 1970, nada más ni menos que la demostración de la existencia de Dios mediante axiomas lógico-matemáticos, aquí la tenemos:



¿No se entiende? Bueno, acá tenemos la "traducción":

• Axioma 1: (Dicotomía) Una propiedad es positiva si, y sólo si, su negación es negativa.

• Axioma 2: (Cierre) Una propiedad es positiva si contiene necesariamente una propiedad positiva.

• Teorema 1: Una propiedad positiva es lógicamente consistente (por ejemplo, existe algún caso particular).

• Definición: Algo es semejante-a-Dios si, y solamente si, posee todas las propiedades positivas.

• Axioma 3: Ser semejante-a-Dios es una propiedad positiva.

• Axioma 4: Ser una propiedad positiva (lógica, por consiguiente) es necesaria.

• Definición: Una propiedad P es la esencia de x si, y sólo si, x contiene a P y P es necesariamente mínima.

• Teorema 2: Si x es semejante-a-Dios, entonces ser semejante-a-Dios es la esencia de x.

• Definición: NE(x): x existe necesariamente si tiene una propiedad esencial.

• Axioma 5: Ser NE es ser semejante-a-Dios.

• Teorema 3: Existe necesariamente alguna x tal que x es semejante-a-Dios.

¿Aún no queda claro? Pues no os preocupéis, muchos matemáticos y lógicos han tratado y fracasado en el intento de explicar completamente la prueba. Tal vez esta prueba sea matemáticamente correcta, tal vez solo haya sido parte de la enfermedad mental que padeció al final de su vida, eso se los dejo a vosotros.

Gödel y Einstein caminando en Princenton,
la universidad en la que ambos trabajaron.