# Re: The propositions of comp?

```
On 07 Feb 2011, at 21:22, Andrew Soltau wrote:```
```
```
```On 07/02/11 19:42, Bruno Marchal wrote:
```
Many would agree that mind might be related to the execution of an algorithm on some physical machine, as I like to explore that idea, but this is at the starting point of the reasoning, and is not, then, related to the fact that physical machines appears as relatively stable products of some unknown number of algorithm too, and that this is already not just described in arithmetic, but emulated in arithmetical truth.
```
This is the starting point I am trying to agree between the two of us.

PROPOSITION 1
```
The mind is related to the execution of an algorithm -- for instance, on some physical machine.
```
```
Then, we propose, we go beyond the concept of the physical machine, and simply suppose that:
```
PROPOSITION 2
```
The mind is the execution of an algorithm, an algorithm which simply exists, without the requirement for any physical instantiation, or any physical universe / multiverse in actuality. In other words, the algorithm simply exists, and simply runs, and the subjective experience of this algorithm:
```Looks exactly like
Feels exactly like
Sounds exactly like
Smells and tastes exactly like
a real physical, relativistic, quantum mechanical reality.

```
The first proposition, that the mind is / is related to the execution of an algorithm, I have no problem with whatsoever. This is what I see emphasised in your steps 1-7, with examples of displacement of the observer in space, and then time, and then replacement, and then duplication in space and time.
```This all makes perfect sense.
I think of this as tautological.
```
```
?

```
Comp is everything but tautological. It asks for an act of faith. It is a big jump. Even actual machine can prove that they cannot be sound and prove that they are machine. Also, I don't like using the notion of algorithm because it is a very complex notion which does not admit precise definition. I prefer to talk on more concrete "programs", which can be see as numbers relative to a universal number. I fix the universal universal system to arithmetic (addition and multiplication), which I assume, and from that I prove the existence of universal numbers and many machines, and they discourses.
```The consequence of comp are usually judge even more less obvious.

```
```
```
Equally, there is no problem, of course, that in the context of the execution of the algorithm, "physical machines appears as relatively stable products of some unknown number of algorithm too".
```But
```
The *obvious* implication is that the physical machines *are* relatively stable products of some unknown number of algorithm, specifically, the algorithm instantiated in the physical quantum mechanical universe.
```And that
```
"physical machines appears as relatively stable products of some unknown number of algorithm too", in the virtual reality each observer generates between the ears, as Deutsch describes.
```
Now
Going on from that starting point
```
We are philosophically interested in showing that this execution of the algorithm may be taking place in such a way as to give the appearance of the physical quantum mechanical universe, without there having to be an actual physical quantum mechanical universe.
```
```
I am delighted to entertain this possibility. However, I have not to date understood the basis on which you are claiming you have found support for it. I'm sure I'll get there!
```
```
You still miss the point. It is not a question of having any support of that idea. It is a question of understanding that it is a consequence of the comp assumption. It is a theorem, if you want. may be there is still a flaw, but people fails to find it, despite a reasonable number of people have tried. Some can sometimes show that the reasoning might be improved and more pedagogical, but I think it is just a theorem. You can obvioulsy still believe in a primitive physical universe by either abandoning comp, or by adding an invisible physical universe as an epiphenomenon (which is pretty ridiculous 'course). Anyway, I give the tools to extract the physics, so we can already compare. Eventually this can lead to a measuring of our degree of computationalism with respect to nature.
```
Bruno

```
```
```
```
```
It is hard for me to believe in any of this, but I just follow a theory toward its logical consequences.
```

```
I know exactly what you mean about this. For years, after I had I deduced the extraordinary implications of Everett's formulation, I acknowledged that very peculiar properties of the transtemporal experiential reality were implied, but I could not really take them as real and actual, let alone make them part of my personal epistemology. (Eventually, however, quite recently, these implications began to become real for me. This, I can report, is a wildly exciting, terrifying, and totally all consuming transition!)
```
I have titled the reply to your email as The propositions of comp?
```
In this thread I would like to be crystal clear simply about what the propositions are, then I know exactly what we are discussing in subsequent / parallel threads.
```
Andrew

--
```
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 .
```
```
```
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