In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far? (quantamagazine.org) 6 points by tzury 5mo ago ↗ HN
[–] unhandyandy 5mo 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.6 ms ] story [ 13.8 ms ] thread