Re:In Math, Rigor Is Vital. But Are Digitized Proofs Taking ...
by storus on Monday March 30, 2026 @11:23AM
(#47575483)
My math classes were theorem, lemma, proof all day long, no conceptualization, no explanation; low-level formulas down to axioms. Sink or swim, figure it out on your own or fail.
[ Parent
| on HN ]
There are no comments on this comment yet.