¿Prueba matemática de la existencia de Dios?
El gran matemático y lógico Kurt Gödel, quien murió en 1978, dejó una serie de ecuaciones que pretenden demostrar la existencia de Dios.
Tal como lo entiendo (¡y no entiendo las matemáticas!), Las ecuaciones prueban la validez del argumento ontológico de San Anselmo para la existencia de Dios, que define a Dios como el ser más grande que se puede concebir. Tal ser tendría que tener la propiedad de la existencia; de lo contrario, podríamos concebir un ser mayor, es decir, uno que exista. Y ese sería Dios.
Esto suena como un juego de lenguaje, pero los filósofos han luchado con el argumento durante siglos, encontrándolo más formidable de lo que parece en la superficie.
- ¿Jesús realmente alguna vez se declaró “Hijo de Dios” o fue un malentendido futuro?
- ¿Cuál es la teología detrás de las odiosas masacres de ISIS de los pueblos chiítas e izadi?
- ‘Los que adoran a los semidioses van a ellos y los que me adoran vendrán a mí’ si una persona adora de 10 a 20 dioses diferentes, incluido Krishna, ¿a dónde va su alma?
- ¿Puedes probarme que Dios es real?
- ¿Por qué existe el concepto de Dios y cómo se creó?
Ahora dos informáticos europeos han ejecutado la prueba matemática de Gödel en una computadora y la han encontrado válida.
Tú haces los cálculos:
“Hacha. 1. {P (φ) ∧◻∀x [φ (x) → ψ (x)]} → P (ψ) Ax. 2.P (¬φ) ↔¬P (φ) Th. 1.P (φ) → ◊∃x [φ (x)] Df. 1.G (x) ⟺∀φ [P (φ) → φ (x)] Ax. 3.P (G) Th. 2.◊∃xG (x) Df. 2.φ ess x⟺φ (x) ∧∀ψ {ψ (x) → ◻∀y [φ (y) → ψ (y)]} Ax. 4.P (φ) → ◻P (φ) Th. 3.G (x) → G ess xDf. 3.E (x) ⟺∀φ [φ ess x → ◻∃yφ (y)] Ax. 5.P (E) Th. 4.◻∃xG (x) “.
Después del salto, una noticia sobre el trabajo de los informáticos. También incluyo la prueba de Gödel y un enlace que explica la notación matemática anterior.
Desde Sean Martin, los científicos realizan cálculos para PROBAR la existencia de Dios | Ciencia | Noticias | Daily Express :
Dos científicos informáticos dicen que probaron que existe una fuerza suprema sagrada después de confirmar las ecuaciones.
En 1978, el matemático Kurt Gödel murió y dejó una teoría larga y compleja basada en la lógica modal.
El modelo del Dr. Gödel usa ecuaciones matemáticas que son extremadamente complicadas, pero la esencia es que no se puede concebir un poder mayor que el de Dios, y si él o ella se cree como un concepto, entonces él o ella pueden existir en realidad.
O como lo expresó el Dr. Gödel a través de sus ecuaciones: “Axe. 1. {P (φ) ∧◻∀x [φ (x) → ψ (x)]} → P (ψ) Ax. 2.P (¬φ) ↔¬P (φ) Th. 1.P (φ) → ◊∃x [φ (x)] Df. 1.G (x) ⟺∀φ [P (φ) → φ (x)] Ax. 3.P (G) Th. 2.◊∃xG (x) Df. 2.φ ess x⟺φ (x) ∧∀ψ {ψ (x) → ◻∀y [φ (y) → ψ (y)]} Ax. 4.P (φ) → ◻P (φ) Th. 3.G (x) → G ess xDf. 3.E (x) ⟺∀φ [φ ess x → ◻∃yφ (y)] Ax. 5.P (E) Th. 4.◻∃xG (x) “.
Lo entiendes, ¿verdad?
Pero dos científicos informáticos han utilizado computadoras para ejecutar [matemáticas] tan complicadas que, según dicen, confirma que la ecuación realmente se suma.
[Sigue leyendo. . .]
Aquí está la prueba de Gödel:
Definición 1 : x es divino si y solo si x tiene como propiedades esenciales esas y solo aquellas propiedades que son positivas
Definición 2 : A es una esencia de x si y solo si para cada propiedad B, x tiene B necesariamente si y solo si A implica B
Definición 3 : x necesariamente existe si y solo si cada esencia de x se ejemplifica necesariamente
Axioma 1 : si una propiedad es positiva, entonces su negación no es positiva
Axioma 2 : cualquier propiedad implicada, es decir, estrictamente implícita por, una propiedad positiva es positiva
Axioma 3 : la propiedad de ser semejante a Dios es positiva
Axioma 4 : si una propiedad es positiva, entonces es necesariamente positiva
Axioma 5 : la existencia necesaria es positiva
Axioma 6 : para cualquier propiedad P, si P es positivo, entonces ser necesariamente P es positivo
Teorema 1 : si una propiedad es positiva, entonces es consistente, es decir, posiblemente ejemplificada
Corolario 1 : La propiedad de ser semejante a Dios es consistente
Teorema 2 : si algo es como Dios, entonces la propiedad de ser como Dios es una esencia de esa cosa
Teorema 3 : necesariamente, se ejemplifica la propiedad de ser como Dios
Para las anotaciones matemáticas de Gödel, vaya aquí.
Lo que Wikipedia dice sobre las creencias religiosas de Gödel (¡Tenga en cuenta la conexión luterana!):