4 ms·
> Did Gödel Really Prove That There Exist True yet Unprovable Statements? > Of course not! All his “statements” were meaningless! > Every statement that start
by 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... .