In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far?

3 pointsposted 3 hours ago
by tzury

1 Comments

unhandyandy

an hour ago

Probably not. Math is getting incredibly complicated, to he point where mathematicians have real worries about the validity of their results.