Choose your color scheme:
The Vette Barn  
 
Go Back   The Vette Barn > Off Topic/Babes/Other > Politics & Religion

Politics & Religion Discussion of politics and religion

User Tag List

Reply
 
Share Thread Tools
Old 01-22-2017, 12:48pm   #1
DAB
Sparkles Flambeaux
Barn Stall Owner #4
Barn Raising I,II
NCM Supporter '13,'14,'15,'16,'17
Bantayan Kids '13,'14,'15,'17
Points: 131,612, Level: 100
Activity: 99.9%
 
DAB's Avatar
 
Join Date: Jan 2011
Location: Santa Fe, NM
Posts: 55,399
Thanks: 9,949
Thanked 20,218 Times in 10,676 Posts
Gameroom Barn Bucks: $34000012
Default Scientists prove God? I was told there would be no math!!

Scientists run calculations to PROVE the existence of God | Science | News | Daily Express

Quote:
Two computer scientists say they proved that there is a holy supreme force after confirming the equations.

In 1978, mathematician Kurt Gödel died and left behind a long and complex theory based on modal logic.

Dr Gödel’s model uses mathematical equations that are extremely complicated, but the essence is that no greater power than God can be conceived, and if he or she is believed as a concept then he or she can exist in reality.

Or as Dr Gödel put it through his 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.φ 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)”.

You get it, right?

But two computer scientists have used computers to run such complicated which they say confirms that the equation does indeed add up.

The point of the researchers’ argument was that they were not directly trying to prove the existence of God, but rather to showcase the power of computers.

Christoph Benzmüller of Berlin's Free University, who ran the calculations along with Bruno Woltzenlogel Paleo of the Technical University in Vienna, told Spiegel Online: "It's totally amazing that 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 didn’t 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’s a very small, crisp thing, because we are just dealing with six axioms in a little theorem.

“There might be other things that use similar logic.”
add, subtract, multiply, divide.....what is all this stuff?

from wiki: "Later in his life, Gödel suffered periods of mental instability and illness. He had an obsessive fear of being poisoned; he would eat only food that his wife, Adele, prepared for him. Late in 1977, she was hospitalized for six months and could no longer prepare her husband's food. In her absence, he refused to eat, eventually starving to death.[26] He weighed 65 pounds (approximately 30 kg) when he died. His death certificate reported that he died of "malnutrition and inanition caused by personality disturbance" in Princeton Hospital on January 14, 1978.[27] He was buried in Princeton Cemetery. Adele's death followed in 1981."

guy was nuts.
DAB is online now   Reply With Quote
Old 01-22-2017, 02:24pm   #2
Fasglas
Barn Stall Owner #457
Barn Raising II,III
Points: 43,479, Level: 100
Activity: 77.6%
 
Fasglas's Avatar
 
Join Date: Nov 2011
Location: Troll Free Zone
Posts: 13,049
Thanks: 3,928
Thanked 5,090 Times in 2,389 Posts
Gameroom Barn Bucks: $10200183
Default

Really? GOD "proven" by a computer?

I knew that long before there were computers.
Fasglas is offline   Reply With Quote
The Following User Says Thank You to Fasglas For This Useful Post:
Reply

The Vette Barn > Off Topic/Babes/Other > Politics & Religion


Thread Tools

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is On
HTML code is Off

Forum Jump


All times are GMT -6. The time now is 10:51pm.


Powered by vBulletin® Version 3.8.4
Copyright ©2000 - 2019, Jelsoft Enterprises Ltd.
User Alert System provided by Advanced User Tagging (Lite) - vBulletin Mods & Addons Copyright © 2019 DragonByte Technologies Ltd.
Copyright © 2009 - 2019 The Vette Barn


Support the Barn:
 
Download the Mobile App;
 
Follow us on Facebook:

Become a Stall Owner

 

Apple iOS App        Google Android App

 

Visit our Facebook page