Peter Olcott wrote: > On 8/25/2014 2:28 PM, Peter Percival wrote: >> Peter Olcott wrote: >>> Antti Valmari wrote: >>>> So today, G is >>>> considered as a true but unprovable sentence. >>> Yet that is the huge error right there! >> >> Why? >> > > It certainly is not [true] in any Boolean sense of the term [true]. > This elephant is not true, and this elephant is not false, thus this > elephant is not a truth bearer.
If you think that Gödel's incompleteness theorem has got anything to do with elephants you are seriousy mistaken.
Leave to one side Gödel's theory P which is more complicated than need be. A "modern" G is an expression in ', +, * and the usual logical constants including =. All its variables are bound. It is a sentence It is undoubtedly true or false.
-- [Dancing is] a perpendicular expression of a horizontal desire. G.B. Shaw quoted in /New Statesman/, 23 March 1962