News for hackers. Stuff that matters.

A comment on In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far?. Parent comment

Re:In Math, Rigor Is Vital. But Are Digitized Proofs Taking ... by 1970-01-01 on Monday March 30, 2026 @11:25AM (#47575505)
This conflates rigor with proof. Proof is the solve to the argument you are making. Rigor is how carefully and correctly the argument is made. You can understand something without rigor but you cannot prove it.
[ Parent | on HN ]
Re:In Math, Rigor Is Vital. But Are Digitized Proofs Taking ... by layer8 on Monday March 30, 2026 @12:18PM (#47576235)
> You can understand something without rigor but you cannot prove it.

I think I disagree. There are formal proofs and informal proofs, there are rigorous proofs and less rigorous proofs. Of course, a rigorous proof requires rigor, but that’s close to tautological. What makes a proof is that it convinces other people that the consequent is true. Rigor isn’t a necessary condition for that.

[ Parent | on HN ]