News for hackers. Stuff that matters.
Re:What Is Mathematics and What Should It Be? [pdf] by marcosdumay on Thursday June 22, 2017 @10:28AM (#14612446)
> That's not a dogma. Its a proof because anyone, no matter whom, no matter when, or where in the universe, can duplicate these results and show they are logically true. Or they can show the results are logically false, no matter the inputs given.

It is not even only that. Rigorous proofs show the limits of your knowledge. Modern Math is a huge edification that we would be completely unable to build if we based it on intuitive semi-rigorous fundaments.

Yes, proving things is boring, and won't add anything to your immediate problem. No, we still need it, like we need many other kinds of investment.

There are no comments on this comment yet.