This view of reasonand of its power, freed from the shackles of history, tradition and experienceis what Kant called Enlightenment. It is completely wrong. Human reason is incapable of reaching universally valid, unassailably correct answers to the problems of science, morality and politics by applying the methods of mathematics.
...
Wasn’t it Kurt Gödel, a theist, who established that?
His name crossed my mind, too. So I just now searched up and found:What is Godel's Theorem?Its a short, approachable article, which I oversimplify (probably) as saying that back in 1931 Gödel assumed a digital computer of infinite speed but capable only of integer arithmetic. And showed that problems had to exist which it could never solve - and even if the first problem problem were stipulated to be true (or stipulated to be false), another problem problem must inevitably spring up to replace it. And that the program wired to stipulate the initial problem problem False would give different results and raise different problems than the same program wired to stipulate the initial problem problem True.This was a scandal in 1931, and mathematicians hoped to find a loophole. But in later years math luminaries including Touring dashed those hopes. It is settled science.
Come to think of it, tho, I wonder if quantum computing could in principle alter Godels conclusion???