Comment by Silamoth
3 days ago
Did you read TFA? They never claimed they’ve formalized all of mathematics. For a couple decades now, mathematicians have been discussing formalizing all of mathematics. Some are now proposing AI can be used for this. But TFA argues that’s not necessarily the best approach. It’s a discussion of how to move forward in formalizing all of math, not a claim about having done so. Not clickbait at all.
I didn't claim that they claimed to have done it. My point is that you cannot do it.
You cannot formalize ALL of mathematics. We have known that for a while. Hence my point about the title being clickbait.
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.
2 replies →