#rigorousmath β Public Fediverse posts
Live and recent posts from across the Fediverse tagged #rigorousmath, aggregated by home.social.
-
Quanta Magazine π€ wonders if digital proofs are the end of rigorous math as we know it. Maybe next week they'll tackle whether #calculators are ruining the joys of long division. ππ’
https://www.quantamagazine.org/in-math-rigor-is-vital-but-are-digitized-proofs-taking-it-too-far-20260325/ #QuantaMagazine #digitalProofs #rigorousMath #longDivision #HackerNews #ngated