The First Incompleteness Theorem means that the big materialists project is essentially already over. But it takes a long time to mop up.

# Tag: Kurt Gödel

## Is there a hole at the bottom of math?

Indeed. That was the remarkable insight of Kurt Gödel (1906–1978), which destroyed formerly triumphant positivist philosophy. When you get to the bottom of the universe (if you do), it’s mostly questions, not answers.

## Robert J. Marks: How materialism proves unbounded scientific ignorance

Mathematician Kurt Gödel showed that there is an infinite number of truths that are provably unprovable. That’s bad news for scientism, though not for science.

## Kurt Gödel was unhappy with atheism and finally he blasted one fashionable type to smithereens

More scandalous still, Gödel was not a Darwinist: “I believe that mechanism in biology is a prejudice of our time which will be disproved.”

## Gödel’s proof of the existence of God

You didn’t know, possibly, that when he thought we was dying, he showed the notebook to one of his colleagues, who copied out the proof.

## New at Inference Review: On the Mind-Machine Problem

Pachon: After all the tangle of modernism, Gödel left us as at the beginning: it is not merely that we cannot make a determination, but that even our most formal systems require faith—just like before modernism began.

## Eric Holloway: Math shows why the mind can’t be reduced to a formula

Holloway: The fundamental implication is that nothing within math, science, and technology can create information. Yet information is all around us. This problem arises in many areas: evolution, artificial intelligence, economics, and physics.

## Faith: Even mathematics depends on some unprovable assumptions

Pachón: The result was shattering. Gödel showed the limitations of any formal axiomatic system in modeling basic arithmetic. He showed that no axiomatic system could be complete and consistent at the same time.

## Kurt Gödel demonstrated that the mind is not just a computer

And Alan Turing tried to live with it. Maybe that’s not the story you heard, but …