Mind Matters Natural and Artificial Intelligence News and Analysis

TagAxioms

statue-of-saint-anselm-and-the-towers-of-the-cathedral-of-aosta-the-cattedrale-di-aosta-de-corso-pere-laurent-in-aosta-aosta-valley-italy-europe-stockpack-adobe-stock
Statue of Saint Anselm and the towers of the Cathedral of Aosta, the Cattedrale di Aosta de Corso Pere-Laurent in Aosta. Aosta Valley. Italy. Europe

Gödel Says God Exists and Proves It

Here is a line-by-line explanation of his proof

Kurt Gödel, an intellectual giant of the 20th century, offered a mathematical proof that God exists. Those who suffer from math anxiety admire what the theorem (shown below) claims to do, but have absolutely no idea what it means. Our goal is to explain, in English, what Gödel’s existence of God proof says. Gödel’s proof shows the existence of God is a necessary truth. The idea behind the truth is not new and dates back to Saint Anselm of Canterbury (1033-1109). Great scientists and philosophers, including Descartes and Leibniz, have reconsidered and refined Anselm’s argument. Gödel appears to be the first, however, to present the argument using mathematical logic. Lexicography In any development of a mathematical theory, there are foundational axioms Read More ›

Water droplet on glossy surface of freshness orange and red apple
Apples and oranges in shadows

Why I Doubt That AI Can Match the Human Mind

Computers are exclusively theorem generators, while humans appear to be axiom generators

My primary reason for doubting that AI can match human intelligence is that the difference between mind and machine is a difference of kind, not of quantity. Understanding the distinction will help us exploit the abilities of each to their maximum potential.

Read More ›