2 ms·
The premise of the article assumes that the work (number of true statements to prove) is finite. But Godel's Incompleteness Theorem and Tarski’s Undefinability
by elendilm 11d ago
The premise of the article assumes that the work (number of true statements to prove) is finite.
But Godel's Incompleteness Theorem and Tarski’s Undefinability theorem ensure an infinite space of provable true statements.
Neither LLM's nor humans can exhaust it. So yes, both mathematicians and LLMs are needed.
Both can contribute and there will still be work leftover.
- Kotlopou 11d agoThis is not what Gödel says, and in fact your statement is true in a trivial way: you can prove 1+1=2, and Not(Not(1+1=2)), and Not(Not(Not(Not(1+1=2)))), etc. ad infinitum. This is an infinite space of provable true statements that can be exhausted by a ten-line Python script. IMO, this is why we actually need mathematics -- as a field in which to learn what it means to know what you're talking about.
- deleted 10d ago[deleted]
- elendilm 10d ago[dead]