The First Incompleteness Theorem means that the big materialists project is essentially already over. But it takes a long time to mop up.
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.
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.
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.”
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.
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.
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.
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.
And Alan Turing tried to live with it. Maybe that’s not the story you heard, but …