On 9/22/2011 10:02 AM, Bruno Marchal wrote:
I think what Bruno calls the 323 principle is questionable.

Can I deduce from this that UDA1-7 is understood. This shows already that either the universe is "little" or physics is (already) a branch of computer science (even if there is a physical universe).

It doesn't comport with QM. Bruno gets around this by noting that computationally a classical computer can emulate a quantum system. But I think that assumes an *isolated* quantum system.


Because the quantum entanglement is in principle unbounded and so it would take an infinite classical computer to emulate exactly. In practice we are always satisfied with good approximations. The Hilbert space has N dimensions representing the configurations we calculate. We don't include an N+1st dimension to include "something else happens"; but it is implicitly there.

All real quantum systems big enough to be quasi-classical systems are impossible to isolate.

But then you have to assume that your brain is some infinite quantum system (but then comp is false).

Maybe not infinite but arbitrarily entangled with part of the universe which is finite but expanding.

So I'm afraid this pushes the substitution level all the way down.

Yes, I'm afraid that will be the case.

I tend to look at that as a reductio; but I'm not sure where the error is. I think it is in not allowing that one need only *approximate* the function of the brain module the doctor replaces. But the idea of digital approximation is fuzzy. The digital computation itself has no fuzz.


If it's all the way down, then as Craig notes, there's really no difference between emulation and duplication.

But then you are, like Craig, assuming that mechanism is false. This is my point, if we want primitive matter, comp is false. (or comp implies no primitive matter, or the falsity of physicalism).


http://iridia.ulb.ac.be/~marchal/ <http://iridia.ulb.ac.be/%7Emarchal/>

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