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?
Better.
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.
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*.
Bruno
http://iridia.ulb.ac.be/~marchal/
--
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
everything-list+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en.