Re: [sl4] Rolf's gambit revisited

From: Matt Mahoney (matmahoney@yahoo.com)
Date: Mon Jan 05 2009 - 10:55:25 MST


--- On Mon, 1/5/09, Nick Tarleton <nickptar@gmail.com> wrote:

> On Mon, Jan 5, 2009 at 12:18 PM, Matt Mahoney
> <matmahoney@yahoo.com> wrote:
>
> > False. If X simulates Y, then K(X) > K(Y) because X has an exact model of
> > the mental state of Y. This implies that Y cannot also simulate X because it
> > would require K(Y) > K(X).
>
>
> No - we define the simulation as part of X's environment.

How does that follow? By simulation, I mean that X runs a program that correctly predicts what Y would do for any given input. This implies that X can describe Y. This implies that the Kolmogorov complexity of X must be at least that of Y. It must be strictly greater if X does anything else besides simulate Y.

-- Matt Mahoney, matmahoney@yahoo.com



This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:01:03 MDT