Dios existe (al menos eso creo que dice)

Leyendo el libro de Clifford A. Pickover "La maravilla de los números" me he encontrado con una demostración atribuida al matemático Gödel .
Es una demostración algo abstracta, quien sepa traducirla a humano que lo haga :D

" Axioma 1. (Dicotomía) Una propiedad es positiva si, y solo 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 posiblemente 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 solo si, x contiene a P y P es necesariamente mínima.
Teorema 2. Si x es semejante-a-Dios, entonces ser semejante-aDios 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.

"

Ahora vas y lo difundes :D

3 comentarios:

  1. No tiene por qué, ya que x es consistente (o contingente), eso quiere decir que puede ser verdadera o falsa (una tautología es siempre verdadera, una consistencia o contingencia puede tomar cualquier valor y una contradiccion es siempre falsa) por tanto x puede ser falso y Dios no existir... creo... Pero eso es lógica de predicados y lo doy en el segundo cuatrimestre, me conformo con saber la de enunciados...

    ResponderEliminar
  2. a que mola eeehhh, bueno jesus me alegro de tener un colega que estudie filosofía a ver si desencriptas esto... fue escrito po Gödel pero cuando ya sufria trastornos mentales asi que ...

    ResponderEliminar