Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Truth behind Paradox of Self Reference
Replies: 58   Last Post: Sep 3, 2014 4:23 PM

 Messages: [ Previous | Next ]
 Peter Percival Posts: 2,623 Registered: 10/25/10
Re: Truth behind Paradox of Self Reference
Posted: Aug 26, 2014 5:28 AM

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

Date Subject Author
8/20/14 Peter Olcott
8/21/14 Peter Percival
8/21/14 Peter Olcott
8/21/14 Peter Percival
8/21/14 Peter Olcott
8/22/14 Antti Valmari
8/22/14 namducnguyen
8/22/14 namducnguyen
8/22/14 Kaz Kylheku
8/22/14 namducnguyen
8/22/14 namducnguyen
8/22/14 Peter Percival
8/22/14 Peter Percival
8/22/14 Peter Percival
8/22/14 Peter Percival
8/22/14 namducnguyen
8/22/14 Kaz Kylheku
8/23/14 namducnguyen
8/23/14 namducnguyen
8/23/14 namducnguyen
8/23/14 Peter Percival
8/23/14 Peter Percival
8/25/14 Antti Valmari
8/25/14 Peter Olcott
8/25/14 Peter Percival
8/25/14 Peter Olcott
8/25/14 Peter Percival
8/25/14 Peter Olcott
8/26/14 Peter Percival
8/26/14 Peter Olcott
8/26/14 Peter Percival
8/26/14 Peter Olcott
8/26/14 Kaz Kylheku
8/26/14 Jim Burns
8/26/14 Peter Olcott
8/26/14 Jim Burns
8/26/14 Peter Olcott
8/27/14 Jim Burns
8/27/14 Peter Olcott
8/27/14 Jim Burns
8/27/14 Peter Olcott
8/26/14 Kaz Kylheku
8/26/14 Jim Burns
8/26/14 Jim Burns
8/25/14 namducnguyen
8/25/14 namducnguyen
8/25/14 Peter Percival
8/27/14 Antti Valmari
8/27/14 Peter Percival
8/27/14 Newberry
9/3/14 namducnguyen
9/3/14 Peter Percival
9/3/14 Peter Percival
8/23/14 Peter Percival
8/23/14 Jim Burns
8/23/14 Peter Percival
8/26/14 Rosario1903
8/23/14 Peter Olcott