Re: [sl4] Rolf's gambit revisited

From: Peter de Blanc (
Date: Mon Jan 05 2009 - 23:15:28 MST

Rui Ferreira wrote:
>> K(Y), but you can have a program which (exactly) simulates many programs of
>> high complexity without being complex itself (e.g. AIXItl).
> But it wouldn't be possible to know which one of the programs being
> simulated by X is Y, right?

If you mean, "it wouldn't be possible to pick out just one program of
high Kolmogorov complexity, and only pay attention to it, while you
yourself have low Kolmogorov complexity," then I agree.

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