On 18 Apr 2015, at 06:07, meekerdb wrote:
On 4/17/2015 5:35 AM, Bruce Kellett wrote:
If you had an actual Turing machine and unlimited time, you could
by brute force emulate everything. However, that is not the point.
If you car needs a part replaced, you don't need to get a
replacement exactly the same down to the quantum level. This is
the case every machine, and there is no reason to believe
biological machines are different: infinite precision parts would
mean zero robustness.
I think you miss the point. If you want to emulate a car or a
biological machine, then some classical level of exactness would
suffice. But the issue is the wider program that wants to see the
physical world in all its detail emerge from the digital
computations of the dovetailer. If that is your goal, then you need
to emulate the finest details of quantum mechanics. This latter is
not possible on a Turing machine because of the theorem forbidding
the cloning of a quantum state. Quantum mechanics is, after all,
part of the physical world we observe.
But the goal is not to emulate an existing physical world, it's to
instantiate a physical world as a computation.
Well, to recover the apperance of a physical worlds and its ability
from a sum on computations in the UD.
There's no requirement to measure a quantum state and reproduce it.
The UD go through all digital quantum state. The UD "prepares" all
quantum states, and is not obliged to duplicate them in the relative
way. This can be used to derive non-cloning from arithmetic. If
"matter" was duplicable, comp would be false.
Bruno
Brent
--
You received this message because you are subscribed to the Google
Groups "Everything List" group.
To unsubscribe from this group and stop receiving emails from it,
send an email to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
http://iridia.ulb.ac.be/~marchal/
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
