On 10 Nov 2012, at 10:11, freqflyer07281972 wrote:
Hey all on the list,
Bruno, I must say, thinking of the UDA. The key assumption is this
teleportation business, and wouldn't it really be quite Ockham's
Razorish to simply conclude from the entire argument that the
correct substitution level is, in principle, not only not knowable,
but not achievable, which means:
congratulations, you have found a convincing thought experiment
proof that teleportation is impossible in any cases greater than,
say, 12 atoms or so (give me a margin of error of about plus/minus
No problem. UDA shows the equivalent propositions: (MAT is weak
materialism: the doctrine that there is a primitive physical reality)
COMP -> NOT MAT
MAT -> NOT COMP
NOT MAT or NOT COMP
I keep COMP as a working hypothesis, as I have no clue what really MAT
means or explains, and we don't find a contradiction, just a weirdness
close to quantum Everett.
this is very reminiscent of the way that time travel theorists use
some of godel's closed timelike curve (CTC) solutions to einstein's
relativity to argue that time travel to the past is possible. The
problem is, the furthest back you can go is when you made the CTC,
and yet in order to make the CTC, the formal and physical conditions
require that you already have to have a time machine. This, of
course, leads to paradox, because in order to travel in the time
machine in the first place, you have to have had a time machine to
use as a kind of mechanism for the whole project.
But such loop can exist consistently in solution of the GR equation.
that's what Gödel showed. I don't think this was really a problem for
Einstein, as he said more than once, that time is an illusion. We
would say now that it is a machine mental construction, which obeys
the laws of machines.
In the same way, I think, does your ingenious UDA lead not to the
conclusion you want it to, (i.e. we are eternal numbers contained in
the computation of some infinite computer) but rather the less
appealing conclusion that, perhaps, the teleportation required in
your entire thought experiment is simply impossible, for much of the
same reasons as time travel is impossible.
But then we cannot be even quantum computer, because they can emulate
by a classical machine, and they too exist in the arithmetical realm.
Any way, I don't defend comp, I just show that comp makes physics
derivable in arithmetic, and that if you do it in some way, (using the
logic of self-reference) you can extract a general theory of qualia,
with its quanta part that you can compare with nature, and so test
comp. And up to now, it fits well with the facts.
It's still an important result, but perhaps not as profound as you
think if we admit that the teleportation required in your thought
experiment is simply not possibly for purely naturalistic (and
therefore not computational, or mechanistic) reasons.
But the you need to assume non comp. The non clonability is also easy
to derive from comp, as the matter which constitutes us is eventually
defined by the entire, non computable dovetaling.
But puuting the subst level so low that comp is false, force you to
use a strong form of non comp, where matter is not just infinite, but
have to be a very special infinite not recoverable in the limiting
first person indeterminacy. What you do is a bit like introducing an a
priori unintelligible notion of matter to just avoid the consequence
of a theory. Bilogy and its extreme redundancy and metabolic exchange
pleas for comp, as such redundancy and metabolisation would be
miraculous if not comp emulable. In fact we don't know in nature any
process not emulable by a computer, except for the consciousness
selection, like in the WM duplication, or in quantum everett.
You are logically right, but abandoning comp is premature, before
listening to the machine (AUDA).
I know that some aristotelians are ready for all means, to avoid the
neoplatonist consequences, but that is normal given the 1500 years of
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to firstname.lastname@example.org.
To unsubscribe from this group, send email to
For more options, visit this group at