On 3/6/2012 12:52 PM, Bruno Marchal wrote:

On 06 Mar 2012, at 17:53, meekerdb wrote:

On 3/6/2012 5:54 AM, Bruno Marchal wrote:
That specific retrodiction came from Bruno's hypothesis which is that universes are generated by computation. What is computable is much less than all mathematics.

This is not my hypothesis. It might be Fredkin or Schmidhuber hypothesis, but not mine. My hypothesis is the hypothesis that "I am a machine", which is ambiguous, so I put it in the form of "yes doctor", which means that there exist a level such that my consciousness remains unchanged for a digital functional substitution done at that level.

And then the reasoning shows that the physical universe(s), are not generated by any computation. Computations generated my consciousness, and the physical universe is what my consciousness can predict from the mixing of determinacy and 1-indterminacy in the UD* (or sigma_1 part of arithmetic).

If I had written universes are indirectly generated by computation, would that have reflected your view?

But the presence of the word "generated" might still lead to confusion in this setting. Universe(s) are only observed, It is, or they are the 'natural solution' of the comp diophantine measure problem, which bear on the first person.

The only catch I see is that you wrote "can predict" instead of "must predict". Are you allowing for some agency here? m
I allow for agency, but not at that level. Indeed Matter, but matter only, is what the mind cannot act on. But the mind can act on the mind, and agency emerges at higher levels.

Dear Bruno,

Why does it seem that you are tacitly accepting the definition of matter as a "substance" as Descartes did in his substance dualism? If matter is an appearance (and not a substance), does this not allow a form of "mind acting on matter"? One only need to consider that the selection process whereby the "next" state in time of a configuration of matter is done by a computation. A real example of this idea is implemented in the generation of MMORPG games <http://en.wikipedia.org/wiki/Massively_multiplayer_online_role-playing_game#System_architecture> that are very popular. Consider the Bostrom-like <http://www.simulation-argument.com/simulation.html> question: Since we cannot prove that our physical reality is not a MMORPG virtual world, should we not bet that it actually is? One test for this question is to consider the upper bounds on the ability to detect differences in features at smaller and smaller scales. If, for example, space-time is "granular" then this would almost certainly prove that our physical world is isomorphic to a MMORPG. This idea would be compatible with COMP if we can identify the "players of the MMORPG" with the individual Löbian machines. Given that some very resent observations of ultra-high energy gamma photons indicate that space-time is not granular, we need a more sophisticated theory to get the idea to work.

No. The reason why "my consciousness" can predict, as opposed to "must predict", is the first person indeterminacy. It is the fact that I cannot know which machine I am, nor which computations executes the relevant states.

We can have partial information set, like, assuming bla-bla-bla, if I am duplicate in {W, M}, I will feel to be in M or in W. That is disjuncts. But by UDA-(step 8 included), I have to say at each instant I will be in u1, u2, u3, u4, ... that is the infinite sequence of programs generating my current state. They all compete in the measure, and "we" can only see the result of that from inside. Here the 1p and its invariance for the delays explains that such "results" never appear in the UD, but is on the border of UD*.

Does not first person indeterminacy also occur in any kind of displacement of relative position, no matter how small that displacement might be? But we have to consider more than one kind of change. We have to consider relative changes for all possible observables such that thecanonical conjugate rule <http://en.wikipedia.org/wiki/Canonical_conjugate> is preserved.



You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com.
To unsubscribe from this group, send email to 
For more options, visit this group at 

Reply via email to