PatsFans.com Menu
PatsFans.com - The Hub For New England Patriots Fans

Scientists run calculations to PROVE the existence of God


IcyPatriot

Wall of Fame
PatsFans.com Supporter
2019 Weekly Picks Winner
Joined
Sep 13, 2004
Messages
55,492
Reaction score
26,522
Scientists run calculations to PROVE the existence of God

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 was done as a mental exercise to show the power of computing. It was not meant to be taken as proof of anything and math in itself can not be used as proof for god.

I can prove got can't exist with simple math too. God is one of infinite possibilities. Go call god G and Infinity X.

G = 1/x which basically means G = 0 and god can not exist. The problem with this math and his is you need to assign a value to god or god's probability without information.

Any information you have is physical and even if one were to believe got Exist god is beyond physical and can not be measured in such terms like we can time, space, atoms, gravity, ect...

It is worth noting this is based on the ontological argument which doesn't hold up and is IMO one of the weaker arguments for god. If you want to have some solace though it is fair to note Kurt Gödel is a very smart man and was a theist. However I don't like appeals to authority either but he is a good mind to have in your camp.
 


Thursday Patriots Notebook 5/2: News and Notes
Wednesday Patriots Notebook 5/1: News and Notes
TRANSCRIPT: Jerod Mayo’s Appearance on WEEI On Monday
Tuesday Patriots Notebook 4/30: News and Notes
TRANSCRIPT: Drake Maye’s Interview on WEEI on Jones & Mego with Arcand
MORSE: Rookie Camp Invitees and Draft Notes
Patriots Get Extension Done with Barmore
Monday Patriots Notebook 4/29: News and Notes
Patriots News 4-28, Draft Notes On Every Draft Pick
MORSE: A Closer Look at the Patriots Undrafted Free Agents
Back
Top