News for hackers. Stuff that matters.
Re:In Math, Rigor Is Vital. But Are Digitized Proofs Taking ... by storus on Monday March 30, 2026 @10:54AM (#47575141)
Rigor is one solution to mutual understanding Bourbaki came up with that in turn led to making math inaccessible to most humans as it now takes regular mathematicians over 40 years to get to the bleeding edge, often surpassing their brain's capacity to come up with revolutionary insights. It's like math was forced to run on assembly language despite there were more high-level languages available and more apt for the job.
Re:In Math, Rigor Is Vital. But Are Digitized Proofs Taking ... by cbdumas on Monday March 30, 2026 @11:16AM (#47575396)
> It's like math was forced to run on assembly language despite there were more high-level languages available and more apt for the job.

I'm not a mathematician but that doesn't sound right to me. Most math I did in school is comprised concepts many many layers of abstraction away from its foundations. What did you mean by this?

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.