[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Godel Goofed?



Goedel's theorem sets up a situation where a system contains a
statement labeled N that says "Statement N cannot be proven".
But he further shows that such a statement must exist in any system
of sufficient complexity to do arithmetic.  Note that this isn't quite
analogous to the liar paradox; statement N may be true without
contradiction.

Let's see if we can interpolate on some agreement here.
I propose that a statement must be about something,
and that is why the following sentence does not form
a valid statement...

{I am going to the}

Do we agree that the above sentence is not a
valid statement?

Do we agree that it is not a valid statement
because it is missing something?

What is it missing (if anything) ?