Re: Source Code for OS?

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

In article <3A845C2E.F19B0091@qwest.net>, olcott  <olcott@qwest.net> wrote:
>
>
>Matthew Russotto wrote:
>
>> 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.
>
>Then no one ever bothered to fully specify ALL the rules.

It is impossible to specify rules which prevent this statement from
occurring without reducing the power of the system to the point where
one cannot do arithmetic using it.
-- 
Matthew T. Russotto                                russotto@pond.com
"Extremism in defense of liberty is no vice, and moderation in pursuit
of justice is no virtue."