MATHS PROVES GOD EXISTS

godDr. Gödel’s God equation proves God really exists. Mathematical God equations as follows: “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)” This mathematical theory proved God exists as a higher power. Two computer scientists say they proved the HOLY Supreme God’s existence is confirmed by equations. In 1978, mathematician Kurt Gödel died and left behind the long complex theory based on modal logic. Dr Gödel’s mathematical model though equations are extremely complicated, but the essence is that no GREATER POWER THAN GOD ceated the world so believe God EXISTS in reality.

godScientists claim to have proof of God

godelMathmatician Kurt Gödel Math equation

 Dr Gödel’s equations: “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.φ essx⟺φ (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).

godIs God real?: Two computer scientists used computers to run the complicated numbers which they say confirms that the equation does indeed add up. The point of researchers’ originally is they were not directly trying to prove the existence of God, but rather to showcase the power of computers. In the process concluded God is behind creation of the Universe. The big bang theory of black holes, Boson Higgs theory probability do not change the world it predicts exists from only atoms evolving into life on its own. Life existence as a whole has the Maker and CREATOR using precision and order that no human being can replicate. So confirms God is behind all creation of the Universe and mankind. Christoph Benzmüller of Berlin’s Free University, who ran the calculations along with Bruno Woltzenlogel Paleo of Technical University in Vienna, told Spiegel Online “It’s totally amazing from this argument led by Gödel, all this stuff can be proven automatically in a few seconds or even less on a standard notebook.“I did not know it would create such a huge public interest but [Gödel’s ontological proof] was definitely a better example than something inaccessible in mathematics or artificial intelligence. It is a very small crisp thing, because we are just dealing with six axioms in a little theorem.There may be other things using similar logic.

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s