Comment by Silamoth
2 days ago
At best that seems like a nitpick based on a specific notion of “all of mathematics”. Care to explain what you mean?
2 days ago
At best that seems like a nitpick based on a specific notion of “all of mathematics”. Care to explain what you mean?
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.
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.
Would still have been wrong.