In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far?(quantamagazine.org)
3 points by tzury 4 hours ago | 1 comments
- unhandyandy 2 hours agoProbably not. Math is getting incredibly complicated, to he point where mathematicians have real worries about the validity of their results.