God Proved By Computer Program — There is a certain type that insists science requires a disbelief in God.
One thing about which we have become certain is that God has a great sense of humor.
Kurt Gödel was an Austrian mathematician and a good friend of Albert Einstein, who like Einstein fled Nazi Europe for New Jersey and became Americans. Einstein always thought that Gödel was the brains of the duo.
Gödel developed a logic-based proof of God’s existence over the course of decades.
Since 2013, computer scientists Christoph Benzmüller of Berlin’s Free University and Bruno Woltzenlogel Paleo of the Technical University in Vienna have been addressing Gödel’s proof with software.
Yup. It works.
Still don’t expect the typical atheist to be convinced.
God Proved By Computer Program