Computer Scientists 'Prove' God Exists
For centuries,
many have tried to use this kind of abstract reasoning to prove the possibility or necessity of the existence of God. But the mathematical model composed by Gödel
proposed a proof of the idea. Its theorems and axioms -- assumptions which cannot be proven -- can be expressed as mathematical equations.
And that means they can be proven.Researchers have cracked the "GOD CODE", they used computers to validate the axioms that refute Naturalism and confirm the necessity of the existence of GOD.
No, no, no. Gödel's first incompleteness theorem is just a result about the limitations of axiom systems. That's all. It is particularly worrying when people state that they have little knowledge of mathematics (let alone of mathematical logic) yet feel certain that there is something metaphysically profound going on here.
All the misinterpretations out there of Gödel's results on incompletenesss prompted the late Swedish logician Torkel Franzén to write a book called
Gödel's Theorem: An Incomplete Guide to Its Use and Abuse.
https://en.wikipedia.org/wiki/G%C3%B6del%27s_ontological_proof#Criticism