In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far? (quantamagazine.org) 6 points by tzury 3mo ago ↗ HN
[–] unhandyandy 3mo ago ↗ Probably not. Math is getting incredibly complicated, to he point where mathematicians have real worries about the validity of their results.
1 comment
[ 3.1 ms ] story [ 11.7 ms ] thread