On 09 Jun 2012, at 20:57, Evgenii Rudnyi wrote:

On 09.06.2012 20:27 Quentin Anciaux said the following:Le 9 juin 2012 20:22, "Evgenii Rudnyi"<use...@rudnyi.ru> a écrit :...No, I have meant a) simulated computer b) simulated myself (but not in a) Now I consider a) and b). This is after all some instructions executed bysome Turing machine. It seems that there is no difference. How would you define the difference then in this case?If you are running at the same level (inside the same simulation, meaning what is simulating the computer is also simulating you and the world you share) then you're able to affect the computer.And computer in a way cannot affect me. This what I actually wantedto say in the beginning. Even if we assume simulation hypothesis,nothing changes and the business continues as usual. On Monday forexample it is necessary to go to work.On the other hand, if I understand Bruno's theorem correctly a) andb) imply quite different things. While a) brings no problem, b)leads toarithmetic -> mind -> physicsThat is, I am not sure if according to Bruno, mind simulation insimulation is possible.

Yes it is possible. And "worth", it is necessary the case. Let me explain why.

`Let us fix a universal system, FORTRAN for example, or c++, game of`

`life, arithmetic, S & K, etc.`

`Let us enumerate the one argument programs: p_i, and let us called`

`phi_i the partial (that include the total) corresponding computable`

`functions. This is equivalent of choosing a base in linear algebra. We`

`can associate a number to each partial computable functions.`

`A universal number (a computer) is a number u such that phi_u(x, y) =`

`phi_x(y). x is the program, y is the data and u is the computer. In`

`that case we can say that u emulates the program x (first`

`approximation of a definition to be sure).`

`Now, phi_u, to be in the phi_i, needs to be a one variable function,`

`so we better have a good computable bijection between NxN and N. With`

`this you can see that a universal emulation can itself be emulated by`

`yet another universal number, and you can easily understand that the`

`universal dovetailer generates the infinitely many layers of`

`simulations, showing that they correspond to true arithmetical`

`relations. They are solution of a universal diophantine equation. We`

`cannot avoid them in the measure problem.`

`The key is that below our substitution level we belong to infinities`

`computations/emulation, defining our physical realities, and above the`

`substitution level, it can (re)define our identities. We never know`

`our level of substitution, but we can know that below, it is a matter`

`of experience, and above it is a matter of private opinion, something`

`like that.`

`In UD*, or in a tiny part of arithmetic, there are a lot of even`

`infinite trails of simulation in simulation in simulation, etc. with`

`variants etc.`

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.