Tag: ontological argument

The robot writes with a pen and looks at the computer monitor. Artificial Intelligence

^{Type
podcast

Author
Robert J. Marks
Date
September 24, 2020

Tagged
Abstract thought, Ada Lovelace, Alan Turing, Algorithm-of-the-Gaps, AlphaGo, Charles Babbage, Claude Shannon, Cognition, computer, Computers, Consciousness, Creativity, David Gelernter, disjunctive syllogism, Eugene Goostman, Gottfried Wilhelm Leibniz, Kurt Gödel, Language, Lovelace test, Marcel Proust, Mathematics, Natural Language Generation, Natural Language Processing, non-algorithmic, novels, ontological argument, ontological proof, Ray Kurzweil, Saint Anselm, Selmer Bringsjord, Singularity, Sports, Theorems, Turing Test}

Bingecast: Selmer Bringsjord on the Lovelace Test

_{Robert J. Marks

September 24, 2020

4}

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 ›

^{Type
podcast

Author
Robert J. Marks
Date
May 7, 2020

Tagged
disjunctive syllogism, Gottfried Wilhelm Leibniz, Kurt Gödel, Mathematics, ontological argument, ontological proof, Saint Anselm, Selmer Bringsjord, Theorems}

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

_{Robert J. Marks

May 7, 2020

1}

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 ›