>There is classical mechanics, and there are classical
>computers, which can search an unordered set of n items in
>There is quantum mechanics, and there are (in theory) quantum
>computers, which can do the same in O(n^(1/2)) time.
>Is it conceivable that there is yet another level of extrapolation --
>that someday we might discover a "doubly-quantum mechanics"
>which allows for a doubly-quantum computer to be built, which
>can do this task in, say, O(n^(1/4)) time?
>The question is probably ill-posed, as anything is conceivable (in
>the trivial sense). Thus, I will break the question down a bit:
>First, could there be a mathematical model for a computational
>device that is to the Quantum Turing Machine what the Quantum
>Turing Machine is to the Turing Machine, and that has interesting
>computational properties that exceed the QTM in an analogous
>way? (Note that this question is independent of whether anything
>in the physical world actually behaves like a such an object.) If
>the answer to this is no, then I guess nothing more needs to be
>What are the most immediate objections in physics to such a
>thing existing, above and beyond the fact that no data showing
>such effects have turned up? Part of what I mean by "above and
>beyond" is that perhaps the requisite experiments have not been
>done yet, or are not yet possible with current experimental
>technology, or existing data has not been analyzed in
>such-and-such a way. However, I do not wish to propose
>invisible pink unicorns* which exist only when we don't look at
>them. I am looking for an *explanation* (in the FoR sense).
You raise a very interesting and fundamental question.
I have provided an *explanation*, argueably in the FoR sense,
that IF we are willing to accept some hypothesis H in the
"philosophy of mind" then the mind-body problem can be reduced
partially into a justification of the "real" laws of physics
from the some mean discourse by Universal (Turing) machines.
That is: H entails physics is a branch of machine psychology.
And I have begin to extract the logic of "probability one on
the consistent extensions" defined on any consistent states of
sound universal turing machine, and I get results giving evidence
that such logic is a quantum logic, with relative linearisation
of (computational histories) quite similar to the quantum multiverse.
Unfortunately most basic elementary question are still unsolved.
For exemple Bell's inequality, even orthomodularity are still
open problems. Still it looks like the logic of elementary
observations is a quantum logic (I got also a logic of qualia, which
is also quantump like, ...).
But it is still possible I get something else. Keeping the
hypothesis H, it would mean the quantum is wrong and that something
else is true. H would then gives a light on the next physics.
Well, if H is true H gives light on the *last* physics, because
H gives the necessary shapes of any form of reliable observability.
Observability = machine's observability, because H is the
computationalist hypothesis in the philosophy of mind (the
hypothesis that there is a level such that I can survive (=
I experience nothing) through a digital functional substitution
made at that level) + (to be complete) the Post-Church-Turing thesis,
and a sort of minimal amount of arithmetical platonism.
More in my URL (below) and in the everything-list (+ the FOR list).