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.
loading story #50331692
loading story #50332453
loading story #50332467