- Ad -
Dos científicos informáticos dicen que probaron que hay una fuerza suprema santa después de confirmar las ecuaciones.
- Ad -
En 1978, el matemático Kurt Gödel murió y dejó atrás una larga y compleja teoría basada en la lógica modal.
El modelo del Dr. Gödel utiliza ecuaciones matemáticas que son extremadamente complicadas, pero la esencia es que no se puede concebir un poder mayor que Dios, y si se le cree como un concepto, entonces él o ella puede existir en la realidad.
O como el Dr. Gödel lo puso a través de sus ecuaciones: “Ax. 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 informáticos han utilizado computadoras para ejecutar ésto tan complicado que dicen, confirma que la ecuación de hecho se suman.
– Ad –
El punto del argumento de los investigadores era que ellos no estaban tratando directamente de probar la existencia de Dios, sino más bien mostrar el poder de las computadoras.
Christoph Benzmüller de la Universidad Libre de Berlín, quien dirigió los cálculos junto con Bruno Woltzenlogel Paleo, de la Universidad Técnica de Viena, dijo a Spiegel Online: “Es totalmente sorprendente que a partir de este argumento dirigido por Gödel, todo esto pueda probarse automáticamente en unos pocos segundos O incluso menos en un cuaderno estándar.
“No sabía que crearía un interés público tan grande, pero [la prueba ontológica de Gödel] era definitivamente un mejor ejemplo que algo inaccesible en matemáticas o en inteligencia artificial …
“Es una cosa muy pequeña y nítida, porque estamos tratando con seis axiomas en un pequeño teorema.
-Puede que haya otras cosas que usen una lógica similar.
Fuente: End Time Headlines
- Ad -
