>”Any consistent formal mathematical system powerful enough to describe arithmetic will contain true statements that cannot be proven within the system.”
Ergo, no single system of mathematics can ever be complete. Math cannot contain all mathematical truth.
3 Comments
[deleted]
This title is misleading. The article is about LLMs.
Gödel’s [Incompleteness Theorems](https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems)
showed that:
>”Any consistent formal mathematical system powerful enough to describe arithmetic will contain true statements that cannot be proven within the system.”
Ergo, no single system of mathematics can ever be complete. Math cannot contain all mathematical truth.