4 ms·

Math tends to bug me because "proving" theorems seems to come from convincing arguments, but we have enough computation power at this point that we should reduc

Math tends to bug me because "proving" theorems seems to come from convincing arguments, but we have enough computation power at this point that we should reduce them to mechanical/machine verification and then just run them and know. With enough rigor, you don't need to "convince" anyone--a machine can verify it.

BigFish12 7y ago
To be rigorous you would need to prove that the machine verified it correctly. Good luck doing that. Also theorem proving is only good for basic rudimentary maths, and not abstract state of the art math research.