Even if a proof that there is a God is, as I believe it is, hidden beneath the foundations of modern mathematics, the experts will, I am sure, not want to waste their valuable time checking whether there is or not. But perhaps it would be different elsewhere.
And perhaps it could have been different here. If Cantor's paradox is essentially a proof that there is a God, then anyone who could have noticed Cantor's generalized diagonal argument could have discovered that proof. Cantor found his paradox by introducing infinite ordinal numbers, and the ancient Greek paradox of Achilles and the tortoise is a reason to introduce infinite ordinal numbers. Could a similar paradox have been discovered by the mathematicians of the ancient world? Might that have been part of the motive for Plato's Form of Forms? Or part of the justification for the doctrine of the Trinity? It is too late to know now (the experts might say that they do know that that is not the case, but if there is such a proof beneath the foundations of modern mathematics then there always was such a proof).
I also wonder whether the work of Russell in the period 1901 to 1906 had any connection with Einstein's 1905 paper. Russell's obscure mathematics flew in the face of logic, and not too dissimilarly, Einstein's obscure mathematics survived being contradicted by empirical observations. Furthermore, Einstein, like Cantor, was in the Leibnizian tradition (not the Newtonian tradition). And after all, the powers of the world would presumably have liked to keep the truth about high energy physics as secret as they could. Still, it is for that reason impossible to know either way now (although the experts would say that they do know that that is almost certainly not the case).
Still, if God did create this universe in such a way that there was this proof, then we might expect the universe to be full of people taking themselves to be living in God's family (and if Einstein was wrong about the light-speed-limit, then that might make a tangible difference to us).

No comments:
Post a Comment