[escepticos] Teorema de Godell y dios

[Pepe Arlandis]

El 29 de octubre de 2013 12:19, Claudio J. Chiabai <chiabaiclaudio en gmail.com
> escribió:

> "Dios, por definición, es que para los que nada puede ser
> concebido Dios existe en el entendimiento de si Dios existe en el
> entendimiento
>


Que es una variante del Lema de Zorn que afirma que todo conjunto inductivo
admite elemento maximal. Esta es una proposición equivalente al Axioma de
Elección cuya independencia del resto de los axiomas es corolario de las
investigaciones de Paul Cohen y el propio Gödel.
Demostraron que si admitimos solo el resto de los aciomas de la Teoría de
Conjuntos el Axioma de Elección o sus equivalentes son proposiciones
indecidibles, esto es que ni esa proposición ni su negación entran en
contradicción con el resto de la Teoría de Conjuntos, es decir una
proposición que ni es verdadera ni falsa, puedes admitirla como axioma o
puedes admitir como axioma su negación siendo la teoria resultante tan
consistente como lo fuera la teoría incial, algo parecido a lo que pasa con
el V Postulado de Euclides tan válida es la Geometria que lo acepta como
las no Euclidianas.

Conclusión la demostración de la existencia de Dios a partir del argumento
Ontológico depende del Axioma de Elección.

O de otra manera, puedes construir los modelos matemáticos acerca de la
realidad que te dé la gana y que sean lógicamente consistentes, pero de ahí
a que respondan a hechos reales media un buen trecho.
salud