alt Hacker NewsEvery theorem is already in the mind of God. No theorem prover has discovered it anymore than an astronomer discovers a star. We simply have better access to God's thoughts now. It makes us realize we are human and not divine.
Every theorem is already in the mind of God. No theorem prover has discovered it anymore than an astronomer discovers a star. We simply have better access to God's thoughts now. It makes us realize we are human and not divine.
What a complete nonsense. Math is no more 'the mind of god' than polio is. If anything math is a triumph of mind over religion because it gave us the tools to power a vast chunk of the scientific revolution. Without that we'd be cowering in the dark and hoping that the sun would rise tomorrow.