Quanta Magazine
In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far?
The quest to make mathematics rigorous has a long and spotty history — one mathematicians can learn from as they push to formalize everything in the computer program Lean. The post In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far? first appeared on Quanta Magazine
Read original on quantamagazine.org0
0Related
r/worldnews
APT Iran hackers steal over 375TB of data from...
Shared on r/worldnews with 5050 upvotes.
reddit.com5050
236r/worldnews
US Forces Abandon Military Bases in Middle East
Shared on r/worldnews with 3373 upvotes.
reddit.com3373
392Hacker News
The EU still wants to scan your private messages and photos
Discussed on Hacker News with 1430 points and 387 comments.
fightchatcontrol.eu1430
387Liked this? Start your own feed.
Your own feed is waiting.
2 comments
This is a really insightful piece. The data backs up what I've been seeing in the industry.
Agreed. Would love to see a follow-up with more recent numbers.
I'm not sure the conclusion holds for smaller teams. Would be interesting to see this broken down by company size.