Le 10-juin-05, à 14:59, Patrick Leahy a écrit :

Russell Standish:
If the AP applies to the Sims Mark VII, then their reality will be a description containing a "body" corresponding to their intelligences. They will not be aware of the PC that their description is being generated on. We, who inhabit the world with the PC will not be aware of the countless other PCs, Macs, Xboxes, Eniacs, Turing machines, pebbles in Zen monasteries etc running Sims Mark VII. So the PC itself is actually irrelevant from the internal perspective of the Sims.

Well at least we agree on that. No strange loops in this picture, so it is unlike the picture you outline in your paper.

Aargh .... Bad luck! A point where I disagree with both Schmidhuber *and* Standish, at least here apparently.

To explain I must assume comp and ... (for one) explicitly the *result* of my thesis. In a nutshell: it is that, if comp is assumed, then the correct law of physics are derivable from comp. (it makes comp testable: derive physics from comp and compare with empirical physics).
I will call the physics derived from comp: the comp-physics.

Please admit this if only for the sake of the argument.

Suppose I build a simulated city with some self-aware entities evolving in that simulated environment. Then

Either I simulate the correct comp physics, then apparently the simulated entity cannot know they are simulated by me, but actually this sentence has no meaning, because they are simulated by 2^aleph_0 immaterial stories (constituting arithmetical truth), so it is only in a weak sense that they are failed. (actually it is not even possible to simulate comp physics except in the "ridiculous" sense of running (really) the universal dovetailer.

Or I simulate incorrect comp physics, then the only way we could say the simulated entity are failed is 1) either by killing them (in some absolute way) when they discover discrepancies between the comp-physics they can find by herself and their fake environment. But in that case their story is finite and its measure can be shown equal to 0. Or 2) eithert I keep up correcting the simulation, but then in the limit I don't fail them. Or I limit the cognitive ability of the entities, but then either I will failed to genuinely fail them, or I will make them inconsistent (and here too the measure can be shown equal to zero, and that is related to the non-cul-sac phenomenon).

It is an amazing positive consequence of machine's incompleteness that you cannot genuinely failed any (relatively simulated or not) machine having enough introspection power for a "very long time".

Apparently, In machine's platonia, all lies leads soon or later to a (recognizable) catastroph.

Tp prevent falling into an inconsistency, this last conclusion follows from comp, and remember that if comp is correct we cannot "know" it is correct, and we cannot probably know that all lies leads soon or later to a (recognizable) catastroph. But if you *bet* on comp, you can bet on it!



Reply via email to