[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) ?