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? :willy::faint::DAB:
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.
|
