How does that relate at all? Classical logic is not any less rigorous than other... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

SabrinaJewson 3 months ago | parent | context | favorite | on: In math, rigor is vital, but are digitized proofs ...

How does that relate at all? Classical logic is not any less rigorous than other kinds of logic.

meroes 3 months ago [–]

Because if rigor is all we cared about I’d think we’d spend more time on non-classical math.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact