Re: Source Code for OS?

[olcott <olcott@qwest.net>]

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.
The infinitely recursive structure of this sentence causes
it to NOT be a statement because the object of the truth
value is a mere phantom... Statements MUST be about
something, the self reference merely makes the fact that
the statement is NOT about something, less obvious...

Analytical knowledge is represented as an acyclic di-graph,
NOT one with cycles. Self-Reference creates a cycle, thus
errs...


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