News for hackers. Stuff that matters.

A comment on “Math 2.0” will need to value mathematical progress more holistically. Parent comment

Re:“Math 2.0” will need to value mathematical progress more ... by xeonmc on Thursday October 08, 2026 @07:31AM (#50004552)
The deluge of maybe-proofs have the same problem as the Library of Babel.
[ Parent | on HN ]

There are no comments on this comment yet.