Des scientifiques utilisent des calculs mathématiques pour prouver l’existence de Dieu

Des scientifiques ont “confirmé” l’existence de Dieu après avoir prouvé la théorie d’un mathématicien qui suggère qu’il y a une puissance supérieure.

Deux informaticiens prétendent avoir prouvé qu’il y a une sainte force suprême après avoir confirmé les équations.

En 1978, le mathématicien Kurt Gödel est mort et a laissé derrière lui une théorie longue et complexe basée sur la logique modale.

Le modèle du Dr Gödel utilise des équations mathématiques extrêmement compliquées, mais l’essence est qu’aucune puissance plus grande que Dieu ne peut être conçue, et si elle est considérée comme un concept, alors il ou elle peut exister en réalité.

Le mathématicien Kurt Gödel a établi l’équation

Ou comme le Dr Gödel le dit à travers ses équations : “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)”.

Vous l’avez, non ?

Dieu est-il réel ?

Mais les deux informaticiens ont utilisé des ordinateurs pour exécuter des calculs tellement complexes, disent-ils, qu’ils confirment que l’équation fonctionne.

L’argument des chercheurs était qu’ils n’essaient pas directement de prouver l’existence de Dieu, mais plutôt de montrer la puissance des ordinateurs.

Christoph Benzmüller, de l’université libre de Berlin, qui a dirigé les calculs avec Bruno Woltzenlogel Paleo de l’université technique de Vienne, a déclaré à Spiegel Online : «C’est tout à fait étonnant que depuis cet argument mené par Gödel, tout cela puisse être prouvé automatiquement en quelques secondes ou encore moins sur un ordinateur portable standard.”

“Je ne savais pas que cela créerait un tel intérêt public, mais [la preuve ontologique de Gödel] était certainement un meilleur exemple que quelque chose d’inaccessible en mathématiques ou en intelligence artificielle… C’est une chose très petite et nette, parce que nous avons affaire à six axiomes dans un petit théorème. Il pourrait y avoir d’autres choses qui utilisent une logique similaire.”

Source : Daily Express