ya.. por fin entre mis apuntes de algebra encontré el nombre del wn que pudo demostrar mediante la logica que Dios existe
El wn se llama Kurt Gödel..y aca esta su teorema (en palabras.. para que sea entendible)
Axioma 1. Una propiedad es positiva si, y sólo si, su negación es negativa.
Axioma 2. Una propiedad es positiva si contiene necesariamente una propiedad positiva.
Teorema 1. Una propiedad positiva es lógicamente consistente.
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.
Tambien esta el famosisimo Teorema de gödel que dice:
El original : Ningún sistema consistente se puede usar para demostrarse a sí mismo.
Tambien sirve usar este: Este teorema no se puede demostrar
A si que resuelvan cualquiera de los 2 amigos antronianos super matematicos que defienden a la logica =)
PISTA: es mas facil de hacer si usan "Conjuntos" , "Inducción" y "Sist de ecuaciones"
PD: no soy ateo..ni agnostico.. solo que no se que soy... una especia de Neo-cristiano.. creo en ciertas cosas.. no creo en otras.. a si que plz no hechen putedas los que defienden a Dios ferozmente diciendo que la logica no se aplica..por que se debe aplicar =) si no.. nosotros mismos como humanos seriamos una contradiccion y no existiriamos
PD2: posteen sus conclusiones (el que lo resolvió... obviamente)
El wn se llama Kurt Gödel..y aca esta su teorema (en palabras.. para que sea entendible)
Axioma 1. Una propiedad es positiva si, y sólo si, su negación es negativa.
Axioma 2. Una propiedad es positiva si contiene necesariamente una propiedad positiva.
Teorema 1. Una propiedad positiva es lógicamente consistente.
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.
Tambien esta el famosisimo Teorema de gödel que dice:
El original : Ningún sistema consistente se puede usar para demostrarse a sí mismo.
Tambien sirve usar este: Este teorema no se puede demostrar
A si que resuelvan cualquiera de los 2 amigos antronianos super matematicos que defienden a la logica =)
PISTA: es mas facil de hacer si usan "Conjuntos" , "Inducción" y "Sist de ecuaciones"
PD: no soy ateo..ni agnostico.. solo que no se que soy... una especia de Neo-cristiano.. creo en ciertas cosas.. no creo en otras.. a si que plz no hechen putedas los que defienden a Dios ferozmente diciendo que la logica no se aplica..por que se debe aplicar =) si no.. nosotros mismos como humanos seriamos una contradiccion y no existiriamos
PD2: posteen sus conclusiones (el que lo resolvió... obviamente)