Mind Matters Reporting on Natural and Artificial Intelligence

TagSaint Anselm

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…

if-then-logic-statement-written-in-white-chalk-on-a-black-chalkboard-isolated-on-white-stockpack-adobe-stock.jpg
If Then logic statement written in white chalk on a black chalkboard isolated on white

Gödel and God: A Surprising History

A thought-provoking account of master logician Gödel’s largely unknown proof of the existence of God

In an unsanitized, politically incorrect (but factual) history, Selmer Bringsjord talks about how the tormented genius Kurt Gödel took up a quest that dated back a thousand years to prove the existence of God by formal logic. His original version didn’t quite work but his editor’s version passed an important logic test.

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 |…