Hacker News
new
top
best
ask
show
job
In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far?
(
www.quantamagazine.org
)
4 points
by
tzury
4 hours ago
1 comment
unhandyandy
3 hours ago
Probably not. Math is getting incredibly complicated, to he point where mathematicians have real worries about the validity of their results.