Re: Source Code for OS?

[olcott <olcott@qwest.net>]

This what he claimed, yet, he erred in this claim.
Kurt's "Incompleteness Theorem" suffers
from the same error of reasoning as the Liar
Paradox...

Matthew Russotto wrote:

> 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."