News for hackers. Stuff that matters.

A comment on Self-Taught Mathematician; an Impossibility?. Parent comment

Re:Self-Taught Mathematician; an Impossibility? by theonemind on Saturday May 04, 2019 @11:32PM (#19830958)
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.

[ Parent | on HN ]
Re:Self-Taught Mathematician; an Impossibility? by BigFish12 on Sunday May 05, 2019 @12:32AM (#19831183)
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.
[ Parent | on HN ]