In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far?
Posted in
數位典藏
In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far?
The quest to make mathematics rigorous has a long and spotty history — one mathematicians can learn from as they push to formalize everything in the computer program Lean.
By Leila Sloman
In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far? | Quanta Magazine
The quest to make mathematics rigorous has a long and spotty history — one mathematicians can learn from as they push to formalize everything in the computer program Lean.
www.quantamagazine.org
Comments (1)
@Otimsis you’re very welcome, enjoy your reading!