Automation of Gödel’s Proof of God’s Existence

Two scientists have formalized a theorem regarding the existence of God penned by renowned Austrian mathematician Kurt Gödel. Using an ordinary MacBook computer, they have shown that Gödel’s proof was correct — at least on a mathematical level.” You can read more in this article.
It is interesting that one of them, Prof. Christoph Benzmüller, is the chair of the Luxembourg Logic for AI Summit that will include DecisionCAMP 2018.

This entry was posted in Misc. Bookmark the permalink.

Leave a Reply

Please log in using one of these methods to post your comment: Logo

You are commenting using your account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s