TGTGInsighttelegram intelligenceLIVE / telegram public index
TGINSIGHT POST
Post #222508
@hackernewslive
Hacker News
Post content
Post content
In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far? Article, Comments
TGINSIGHT POST
@hackernewslive
Hacker News
In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far? Article, Comments