Web_Master
Maricon
- Registrado
- 2004/08/05
- Mensajes
- 4.568
- Sexo

Follow along with the video below to see how to install our site as a web app on your home screen.
Nota: This feature currently requires accessing the site using the built-in Safari browser.











La prueba matemática de Gödel de la existencia de Dios
![]()
>> Cuentanos Más <<En 1970 distribuyó entre sus colegas de profesión una prueba en la cuál mediante argumentaciones lógico-matemáticas probó la existencia de Dios. Esta es su demostració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.
Es una foto....
![]()
Matemática? creo que ud. sr. llegó sólo a lógica proposicional... a too dar, Fregue XD si es que lo leyó. Esto se llama lógica cuantificacional, introduce los existenciales y los universales... y Russell ya había demostrado la no existencia de Dios con las mismas leyes XD
antiyo:


