¿No sabías que Gödel era un teísta y que una prueba de la existencia de Dios se descubrió entre sus documentos cuando murió? Pues aquí está:

Las siguiente definiciones y axiomas son necesarios:

  • Definición 1: x es como Dios si y sólo si x tiene propiedades tan esenciales si y solo si esas propiedades son positivas.
  • Definición 2: A es una esencia de x si y sólo si para cada propiedad B, x tiene a B necesariamente si y sólo si A implica B.
  • Definición 3: x necesariamente existe si y sólo si cada esencia de x es necesariamente ejemplificada.
  • Axioma 1: Cualquier propiedad implicada por (estrictamente implicada por) una propiedad positiva, es positiva.
  • Axioma 2: Una propiedad es positiva si y sólo si su negación no es positiva.
  • Axioma 3: La propiedad de ser como Dios es positiva.
  • Axioma 4: Si una propiedad es positiva, entonces es necesariamente positiva.
  • Axioma 5: La existencia necesaria es una propiedad positiva.

El axioma 4 supone que es posible determinar propiedades positivas de todas las propiedades. Gödel comenta que «Positivo significa positivo en el sentido estético moral (independientemente de la estructura accidental del mundo)… También puede significar atribución pura opuesta a la privatización(o conteniendo privatizado).» (Gödel 1995). Axiomas 1, 2 y 3 puede ser resumidos al decir que las propiedades positivas forman un filtro maximal.

A partir de estos axiomas y definiciones y otros axiomas de la lógica modal, los siguiente teoremas pueden ser probados:

  • Teorema 1: Si una propiedad es positiva, entonces es compatible, i.e., posiblemente ejemplificada.
  • Teorema 2: La propiedad de ser como Dios es compatible.
  • Teorema 3: Si algo es como Dios, entonces la propiedad de ser como Dios es una esencia de aquella cosa.
  • Teorema 4: Necesariamente, la propiedad de ser como Dios está ejemplificada.

Así que puedes seguir adelante y compartir eso con tus amigos ateos: ¡publícalo en las redes sociales – y míralos retorcerse.

Estoy bromeando sobre eso.

Artículo originalmente publicado en inglés por Evolution News

Imagen: «La corriente del Golfo en infrarrojo», a través de la NASA; El «Teorema de Dios» no publicado de Kurt Gödel, a través de Wikipedia.