2 ms·
In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far?
- unhandyandy 7mo agoProbably not. Math is getting incredibly complicated, to he point where mathematicians have real worries about the validity of their results.
loading thread…