News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.