News for hackers. Stuff that matters.

A comment on How to Formalize All of Mathematics. Parent comment

Re:How to Formalize All of Mathematics by lioeters on Friday October 16, 2026 @09:46PM (#50127069)
The title is intentionally misleading because the authors know all of mathematics is not possible to formalize, strictly speaking. And strict meaning is what math is all about.
[ Parent | on HN ]
Re:How to Formalize All of Mathematics by kevinbuzzard on Saturday October 17, 2026 @05:26AM (#50129388)
Would you have been happier if we had called it "...all known mathematics"? This is what we are plainly talking about. The question we attempt to address is how best to digitise the corpus of known mathematics.
[ Parent | on HN ]
Re:How to Formalize All of Mathematics by bossyTeacher on Saturday October 17, 2026 @07:14AM (#50130046)
Would still have been wrong.
[ Parent | on HN ]