Re: [sl4] Rolf's gambit revisited

From: Matt Mahoney (
Date: Mon Jan 05 2009 - 10:55:25 MST

--- On Mon, 1/5/09, Nick Tarleton <> wrote:

> On Mon, Jan 5, 2009 at 12:18 PM, Matt Mahoney
> <> 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,

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