Mind Matters Reporting on Natural and Artificial Intelligence
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 the Turing test, the Lovelace test, and the limitations of artificial intelligence. They also talk about Kurt Gödel’s mathematical proof of the existence of God. Is Gödel’s proof valid?

Show Notes

  • 0:00:54 | Introducing Selmer Bringsjord, Professor — Rensselaer Polytechnic Institute (RPI)
  • 0:01:49 | What is the Turing test?
  • 0:04:03 | The Lovelace objection
  • 0:04:29 | Ada Lovelace
  • 0:07:51 | The consciousness objection
  • 0:09:00 | Eugene Goostman
  • 0:09:42 | The Lovelace test
  • 0:13:54 | AlphaGo’s “creative” move
  • 0:16:48 | Creative writing
  • 0:18:17 | Has the Lovelace test been passed?
  • 0:21:35 | How could it be proven that the Lovelace test was passed?
  • 0:25:08 | Ray Kurzweil and singularity
  • 0:26:30 | Can computers fake all human behaviors?
  • 0:27:12 | Can computers duplicate all human behaviors?
  • 0:28:21 | Subjective measurement
  • 0:29:46 | The definition of cognition
  • 0:34:01 | Is consciousness is a special case of cognition?
  • 0:38:28 | Are consciousness and cognition non-algorithmic?
  • 0:40:00 | Examples of cognition that are not computable
  • 0:46:45 | Will AI ever write creative prose?
  • 0:50:08 | The need for characters
  • 0:51:17 | The mechanics of writing and Proust
  • 0:53:23 | The complexity of language
  • 0:56:48 | AI and financial reports
  • 0:59:43 | Sports reporting
  • 1:02:55 | Paper generators (Sci-Gen, MathGen)
  • 1:04:27 | Recognizing AI generated content
  • 1:09:37 | A book about Kurt Gödel
  • 1:10:59 | Gödel’s “God Theorem”
  • 1:13:06 | Was Gödel a deist?
  • 1:15:37 | The history of Gödel’s proof
  • 1:21:53 | The reasoning behind Anselm’s ontological proof

Gödel’s Ontological Proof

Gödel's ontological proof of the existence of God
Gödel’s ontological proof of the existence of God. From Wikipedia

Additional Resources


Bingecast: Selmer Bringsjord on the Lovelace Test