News for hackers. Stuff that matters.
Re:There is a scientific paper with a proof based on its own... by cgmg on Tuesday February 27, 2018 @05:37AM (#16472385)
The examples you mentioned are not Gödel sentences, but rather Russell’s paradox and the liar paradox, respectively. A Gödel sentence for a theory T says “This sentence is not provable by T.” Truth is very different from provability and, unlike provability, cannot be represented as an arithmetic formula.

See the section titled “Relationship with the liar paradox” in the Wikipedia article on the incompleteness theorems.

There are no comments on this comment yet.