Blog Posts Decision / Rules Management

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

Blog: Decision Management Community

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.

Leave a Comment

Get the BPI Web Feed

Using the HTML code below, you can display this Business Process Incubator page content with the current filter and sorting inside your web site for FREE.

Copy/Paste this code in your website html code:

<iframe src="https://www.businessprocessincubator.com/content/automation-of-godels-proof-of-gods-existence/?feed=html" frameborder="0" scrolling="auto" width="100%" height="700">

Customizing your BPI Web Feed

You can click on the Get the BPI Web Feed link on any of our page to create the best possible feed for your site. Here are a few tips to customize your BPI Web Feed.

Customizing the Content Filter
On any page, you can add filter criteria using the MORE FILTERS interface:

Customizing the Content Filter

Customizing the Content Sorting
Clicking on the sorting options will also change the way your BPI Web Feed will be ordered on your site:

Get the BPI Web Feed

Some integration examples

BPMN.org

XPDL.org

×