3 ms·

>unprovable statements Nonsensical is better in modern discussions than "unprovable". It shows that statements that were previously (and currently by some) tho

• bmacho 3y ago
  > Did Gödel Really Prove That There Exist True yet Unprovable Statements? > Of course not! All his “statements” were meaningless! > Every statement that starts : “for every integer n . . .” or “there exists an integer n . . .”, is completely meaningless, since it tacitly assumes that there are infinitely many integers. Of course, there are only finitely many of them, since our worlds, both the physical and the mathematical, are finite. .. > The statement “n + n = 2n for every integer n” is meaningless. It is only true for every _finite_ integer. It is also true for symbolic n. Eehrm? This is not the modern view on math. In modern math Gödel's theorems are currently regarded as its wiki article talks about it : https://en.wikipedia.org/wiki/Gödel's_incompleteness_theorems https://en.wikipedia.org/wiki/Gödel's_incompleteness_theorem... .