On 20 Dec 2013, at 19:34, meekerdb wrote:
On 12/20/2013 1:07 AM, Bruno Marchal wrote:
The non-cloning theorem should be obvious, given that any piece of
observable "matter" needs the entire UD* to get describe exactly,
given that the appearance of matter is only the result of the FPI
on all computations (an infinite object).
That seems to prove to much.
I agree.
Although QM says you can't clone an unknown state, you can exactly
reproduce a state; and elementary particles are elementary because
they are indistinguishable. Your reasoning above seems to imply
that every bit of matter will be unique, an infinite set of relations.
Yes, a priori the comp non-cloning is too much big. In fact it is a
version of the white rabbit problem, but then we know that self-
reference will put some constraints on this. So comp is not (yet?)
refuted. AUDA is too young to decide this, but we can formulate the
problem (the cloning the nesting of the boxes and diamond is very
huge, and some optimization of the modal logic provability have to be
done).
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/groups/opt_out.
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/groups/opt_out.
