Get the FREE DIGITAL BOOK: The Case for Killer Robots
Mind Matters Reporting on Natural and Artificial Intelligence

TagKurt Gödel

man-jumping-on-rock-formation-stockpack-unsplash.jpg
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-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 | Read More ›

digital-mind-stockpack-adobe-stock.jpeg
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 ›
ft9104_7833

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 ›
2-bro-s-media-uOo14fBzhtE-unsplash
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 ›
jr-korpa-1151200-unsplash
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 ›