Mind Matters Natural and Artificial Intelligence News and Analysis

TagKurt Gödel

schematic of human brain and communication via circuit-board, artificial intelligence

George Gilder on Superintelligent AI

George Gilder and Robert J. Marks discuss the human brain, superintelligent machines, artificial intelligence, and George Gilder’s new book Gaming AI: Why AI Can’t Think but Can Transform Jobs (which you can get for free here). Show Notes 00:29 | Introducing George Gilder 01:00 | An “Indian summer” in AI? 03:45 | Superintelligence 06:04 | The future of computing technology…

Bitcoin statistics

Artificial Intelligence Gaming the Stock Market

What are some assumptions about artificial intelligence? How does artificial intelligence affect the stock market? George Gilder and Robert J. Marks discuss assumptions about artificial intelligence, the stock market, and George Gilder’s new book Gaming AI: Why AI Can’t Think but Can Transform Jobs (which you can get for free here). Show Notes 00:30 | Introducing George Gilder 01:02 |…

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…

man jumping on rock formation

Is Materialism Falsifiable? Yes, Easily.

Neurologist Steven Novella is sure that materialism is not falsifiable by science

Contrary to Steven Novella's claims, cosmological singularities refute materialism. Kurt Gödel can explain

Read More ›
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

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

Digital mind

Why Our Minds Can’t Really Be Uploaded to Computers

The basic problem is that human minds aren’t “computable.” Peter and Jane are not bits and bytes

The underlying problem with creating immortality by uploading our minds to computers is that people are conscious and even the most sophisticated foreseeable computers are not. And we are not at all sure what consciousness even IS.

Read More ›

Math Shows Why the Mind Is Not Just a Formula

The Liar’s Paradox shows that even mathematics cannot be reduced to a fixed set of axioms

Gödel’s discovery brought back a sense of wonder to mathematics and to the rest of human knowledge. His incompleteness theorem underlies the fact that human investigation can never exhaust all that can be known. Every discovery builds a path to a new discovery.

Read More ›
black mathematics board with formulas

Faith Is the Most Fundamental of the Mathematical Tools

An early twentieth century clash of giants showed that even mathematics depends on some unprovable assumptions

David Hilbert wanted all mathematics to be proved by logical steps. Kurt Gödel showed that no axiomatic system could be complete and consistent at the same time.

Read More ›
Crystal ball with building from antiquity

Futurism Doesn’t Learn from Past Experience

Technological success stories cannot be extrapolated into an indefinite future

The limits of science can be as instructive as the discoveries. If science someday proved that computer systems could never reproduce some aspect of mind, we'd have learned something important about the nature of mind.

Read More ›
Silhouette of a person with words and numbers in the background

The Mind Can’t Be Just a Computer

Gödel demonstrated that fact and Turing tried to live with it

Kurt Gödel (1906–1978) proved that there are truths in mathematical logic that lie outside mathematical logic, which means that the mind cannot be understood simply as a computer.

Read More ›