Teadlased kasutavad matemaatilisi kalkulatsioone, et TÕESTADA, et Jumal on olemas

Kaks arvutiteadlast ütlevad, et on tõestanud matemaatiliste võrranditega, et on olemas püha ja ülim jõud.
1978. aastal suri matemaatik Kurt Gödel ja jättis endast maha pika ja keerulise modaalsel loogikal baseeruva teooria.
Dr Gödeli mudel kasutab matemaatilisi võrrandeid, mis on ääretult keerulised, aga mis tõestab, et pole suuremat võimu kui Jumal ja kui Temase usutakse ideeliselt, siis Ta eksisteerib reaalsuses.
Või nagu Dr Gödel oma võrrandis osutab: “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)”.
Saite ju aru?
Aga kaks arvutiteadlast on kasutanud arvuteid, et selliseid keerulisi võrrandeid lahendada ning on kinnitanud, et võrrand tõesti summeerub.
Uurijate argumendi mõte on, et nad otseselt ei püüdnud tõestada Jumala olemasolu, aga pigem näidata arvutite võimu.
Christoph Benzmüller Beriliini Vabast ülikoolist, kes koos Bruno Woltzenlogel Paleo Viini tehnikaülikoolist juhtis arvutusi, ütles Spiegel Online’ile: “On täiesti hämmastav, et sellest Gödeli poolt juhitud argumendist saab kõike ainult mõne sekundi või isegi vähema aja jooksul tavalise notebookiga tõendada.
“Ma ei osanud ette kujutada, et see toob endaga kaasa nii suure avaliku huvi, aga  [Gödeli ontoloogiline tõestus] oli kindlasti parem näide kui midagi matemaatikutele või tehisintellektile saavutamatut…
“See on väga väike ase, sest meil on tegemist väikse teoreemi kuue aksioomiga.”
“Võib olla on ka teisi asju, mis kasutavad sarnast loogikat.”