Post B53BIQbQWCPC5toSO0 by cigitalgem@sigmoid.social
 (DIR) More posts by cigitalgem@sigmoid.social
 (DIR) Post #B530uN3P3tt8b1mx2e by gutenberg_org@mastodon.social
       0 likes, 0 repeats
       
       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.By Leila Slomanhttps://www.quantamagazine.org/in-math-rigor-is-vital-but-are-digitized-proofs-taking-it-too-far-20260325/#books #mathematics #computerscience
       
 (DIR) Post #B5376UO4DpsEXXcE6K by Otimsis@mst3k.interlinked.me
       0 likes, 0 repeats
       
       @gutenberg_org very nice read. Thanks for spreading it!
       
 (DIR) Post #B538oTELz3TdeGbkkC by gutenberg_org@mastodon.social
       0 likes, 0 repeats
       
       @Otimsis you’re very welcome, enjoy your reading!
       
 (DIR) Post #B53BIQbQWCPC5toSO0 by cigitalgem@sigmoid.social
       0 likes, 0 repeats
       
       @gutenberg_org what would gödel think