Re: Goedel's theorem doesn't apply to robots (RE: SL5)

From: Phil Goetz (
Date: Mon Aug 22 2005 - 16:02:24 MDT

--- Dimitry Volfson <> wrote:

> Doesn't Goedel only show that attempting to say something
> about the
> system, within the system; can lead to paradox? But a
> thing cannot always
> be in meta-relation to itself. Is it really difficult to
> determine when
> this occurs, and to shift to a higher level system?

The agent doing the determining will be operating within
some system. It cannot shift out of that system; that
would be the same as asking a Turing machine to emulate
something more powerful than a Turing machine.

However, an agent interacting with the real world has an
"oracle" function that it can provide inputs to, and then
get outputs from that were not computed within that system.
Hence, Goedel's incompleteness theorem doesn't apply.

- Phil

Do You Yahoo!?
Tired of spam? Yahoo! Mail has the best spam protection around

This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:00:52 MDT