Re: Source Code for OS?

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

In article <3A82C8CF.1DAD0317@qwest.net>, olcott  <olcott@qwest.net> wrote:
>The set of these paradoxes do not form really
>difficult questions, they are merely ill-formed.
>Godel's incompleteness theorem suffers from
>this same ill formation...

Goedel's incompleteness theorem is not ill-formed.  Goedel showed that
in any sufficiently complex logical system, it was possible to create
well-formed statements whose truth value could not be determined.  If
you want to throw out all such statements, you end up with a system
that isn't powerful enough to do arithmetic in.
-- 
Matthew T. Russotto                                russotto@pond.com
"Extremism in defense of liberty is no vice, and moderation in pursuit
of justice is no virtue."