LinuxParty
NUESTRO SITIO necesita la publicidad para costear hosting y el dominio. Por favor considera deshabilitar tu AdBlock en nuestro sitio. También puedes hacernos una donación entrando en linuxparty.es, en la columna de la derecha.
Kurt Gödel
es, sin duda, uno de los más importantes matemáticos del S.XX. Su
principal campo de trabajo fue la lógica y la teoría de conjuntos,
siendo especialmente reconocido y recordado a nivel matemático por sus
dos Teoremas de Incompletitud.
![]() |
Kurt Gödel |
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.
En notación matemática esta prueba es la siguiente:
![]() |
Prueba ontológica de Gödel |
Gödel basa su argumento en las reflexiones de San Anselmo. Este define a Dios como el ser más grande en el universo. Nada hay más que se pueda imaginar. Por el contrario, si Dios no existiera, entonces un ser superior de alguna forma tiene que existir, las cosas no se crearon de la nada hace millones de años. Como no fue posible explicar eso, entonces por definición, Dios tuvo que existir. Solo que no es el Dios que todos tenemos en mente, solo la energía pura que nos rodea.
¿Cómo
se puede enjuiciar una demostración tan abstracta? Muchos
lógico-matemáticos no han sido capaces de explicar todos los aspectos de
la prueba, y por lo tanto es muy difícil asegurar su completa
naturaleza. ¿Es esta demostración el resultado de una meditación
profunda, o es el desvarío de un lunático? (Gödel en la parte final de
su vida sufrió importantes trastornos mentales) Los méritos académicos
de Gödel son impresionantes. Gödel es principalmente famoso por su
teorema que demuestra que debían existir fórmulas verdaderas en las
matemáticas y en la lógica para las cuales no era posible demostrar su
verdad ni su falsedad, convirtiendo de este modo las matemáticas en un sistema incompleto.
Esta entrada retoma las colaboraciones del blog con el Carnaval de Matemáticas que celebra su edición 2.5 siendo el anfitrión Juegos topológicos.
*Axioma: Premisa que se considera «evidente» y es aceptada sin requerir una demostración previa.
*Teorema: Afirmación que puede ser demostrada dentro de un sistema formal.
*Definición: Proposición que trata de exponer de manera unívoca y con precisión la comprensión de un concepto o término.
*Teorema: Afirmación que puede ser demostrada dentro de un sistema formal.
*Definición: Proposición que trata de exponer de manera unívoca y con precisión la comprensión de un concepto o término.
Como todos sabemos Homer Simpson demostró la no existencia de Dios. pena no tener acceso a sus papeles ;-)

-
Transportes
- Volkswagen recupera los botones físicos y dice que quitarlos fue un error
- BMW invierte en motores de combustión interna y considera que los vehículos eléctricos son una "montaña rusa" en Estados Unidos
- Las ventas de vehículos eléctricos e híbridos alcanzaron un récord del 20 % de las ventas de vehículos en EE. UU. en 2024
- Los coches eléctricos chinos ya están ganando popularidad en México, Europa, Asia y África
- ¿Podría un túnel ferroviario submarino Hyperloop ofrecer viajes de una hora desde Londres a Nueva York?
- Ingeniero jubilado crea un coche solar biplaza con dos bicicletas eléctricas
- ¿Qué está frenando el avance hacia los coches eléctricos?
- La Startup de Entregas Autónomas Nuro se Prepara para un Regreso
- Cruise, propiedad de GM, ha perdido (un repentino) interés en los automóviles sin volante
- Se gasta 40.000 Euros para Crear Réplica del Coche Fantástico
- La caída de los precios de los vehículos eléctricos usados en Estados Unidos sigue siendo cada vez más profunda
- El sistema operativo para vehículos basado en RHEL de Red Hat obtiene la certificación de seguridad Milestone
- Aviones propulsados por energía solar toman vuelo
- Mercedes-Benz retrocede en su plan de vender únicamente vehículos eléctricos para 2030
- Europa Descarta el Tren Ruta de la Plata para Antes de 2050: Golpe a las Comunicaciones del Oeste Peninsular