Re: Source Code for OS?

[russotto@wanda.pond.com (Matthew Russotto)]

In article <3A84163A.9E33E637@qwest.net>, olcott  <olcott@qwest.net> wrote:
>
>
>Matthew Russotto wrote:
>
>> In article <3A836C23.6BA426B3@qwest.net>, olcott  <olcott@qwest.net> wrote:
>> >The English narrative description of Kurt's
>> >theory is analogous to the Liar Paradox,
>> >and the Liar Paradox itself is merely an
>> >ill formed statement that lacks an object
>> >for the truth value to be attached, because
>> >of infinite recursion. Evey English narrative
>> >always has this same form...
>>
>> Goedel's theorem sets up a situation where a system contains a
>> statement labeled N that says "Statement N cannot be proven".  But he
>
>Which is exactly and precisely the same form as the Liar Paradox.
>Statement N can not be proven ONLY because statement N
>is not a statement.

Statement N _IS_ a statement.  It follows all the rules for forming
statements. 


-- 
Matthew T. Russotto                                russotto@pond.com
"Extremism in defense of liberty is no vice, and moderation in pursuit
of justice is no virtue."