Re: Are we simulated by some massive computer?

2004-04-14 Thread Bruno Marchal
At 13:08 13/04/04 -0700, George Levy wrote: Put in another way, *either* the massive computer simulates the exact laws of physics (exact with comp = the laws extractible from the measure on all 1-computations) in which case we belong to it but in that case we belong also to all its "copy" in Plato

Re: Computational irreducibility and the simulability of worlds

2004-04-14 Thread Bruno Marchal
Dear Stephen, snip > [BM] > Giving that I *assume* that arithmetical truth is independent > of me, you and the whole physical reality (if that exists), "I" do have > infinite resources in that Platonia. Remember that from the first person > point of view it does not matter where and how, in Platon

RE: Are we simulated by some massive computer?

2004-04-14 Thread Bruno Marchal
At 09:58 13/04/04 -0400, Ben Goertzel wrote: > 6) This shows that if we are in a massive computer running in > a universe, then (supposing we know it or believe it) to > predict the future of any experiment we decide to carry one > (for example testing A or B) we need to take into account all > r

Re: Computational irreducibility and the simulability of worlds

2004-04-14 Thread Hal Ruhl
Hi Stephen: What I am basically saying is that you can not define a thing without simultaneously defining another thing that consists of all that is "left over" in the ensemble of building blocks. I suspect that usually the "left over" thing is of little practical use. However, this duality a