Mind Matters Natural and Artificial Intelligence News and Analysis

TagTheorems

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 ›

the-robot-writes-with-a-pen-and-looks-at-the-computer-monitor-artificial-intelligence-stockpack-adobe-stock.jpg
The robot writes with a pen and looks at the computer monitor. Artificial Intelligence

Bingecast: Selmer Bringsjord on the Lovelace Test

The Turing test, developed by Alan Turing in 1950, is a test of a machine’s ability to exhibit intelligent behaviour indistinguishable from a human. Many think that Turing’s proposal for intelligence, especially creativity, has been proven inadequate. Is the Lovelace test a better alternative? What are the capabilities and limitations of AI? Robert J. Marks and Dr. Selmer Bringsjord discuss Read More ›

e-mc2-written-on-chalkboard-stockpack-unsplash.jpg
E-mc2 written on chalkboard

Kurt Gödel’s Proof of the Existence of God

Kurt Gödel toppled a tall tower of mathematical reasoning with publication of his work showing no formal system of math could be both complete and consistent. He also gave a mathematical proof of the existence of God. Is Gödel’s proof valid? Robert J. Marks and Dr. Selmer Bringsjord discuss mathematics, Kurt Gödel, and the ontological argument. Show Notes 01:05 | 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 ›