Proving God's Existence with a MacBook...
That
is where Christoph Benzmüller of Berlin's Free University and his
colleague, Bruno Woltzenlogel Paleo of the Technical University in
Vienna, come in. Using an ordinary MacBook computer, they have shown
that Gödel's proof was correct -- at least on a mathematical level -- by
way of higher modal logic. Their initial submission on the arXiv.org
research article server is called "Formalization, Mechanization and
Automation of Gödel's Proof of God's Existence."
That
is where Christoph Benzmüller of Berlin's Free University and his
colleague, Bruno Woltzenlogel Paleo of the Technical University in
Vienna, come in. Using an ordinary MacBook computer, they have shown
that Gödel's proof was correct -- at least on a mathematical level -- by
way of higher modal logic. Their initial submission on the arXiv.org
research article server is called "Formalization, Mechanization and
Automation of Gödel's Proof of God's Existence."
Scientists Use Computer to Mathematically Prove Gödel God Theorem - SPIEGEL ONLINE
No comments:
Post a Comment