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 meroes on Monday March 30, 2026 @10:36AM (#47574933)
If rigor is the whole point why are we so focused on classical math (eg classical logic) not the wider plurality?
[ Parent | on HN ]
Re:In Math, Rigor Is Vital. But Are Digitized Proofs Taking ... by SabrinaJewson on Monday March 30, 2026 @04:18PM (#47579211)
How does that relate at all? Classical logic is not any less rigorous than other kinds of logic.
[ Parent | on HN ]
Re:In Math, Rigor Is Vital. But Are Digitized Proofs Taking ... by meroes on Tuesday March 31, 2026 @05:02AM (#47584551)
Because if rigor is all we cared about I’d think we’d spend more time on non-classical math.
[ Parent | on HN ]