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 pks016 on Thursday October 08, 2026 @05:20AM (#50003610)
At least check them properly. They have already withdrawn some of them.
[ Parent | on HN ]
Re:“Math 2.0” will need to value mathematical progress more ... by pfdietz on Thursday October 08, 2026 @12:50PM (#50008265)
That were not formalized.
[ Parent | on HN ]