Re: Turing vs math

From: Juergen Schmidhuber <juergen.domain.name.hidden>
Date: Fri, 29 Oct 1999 19:19:55 +0200

George:

> So, in accordance with the Universal Turing Machine (UTM?) theory quantum
> computation is quantized? This is a strong assumption not at all based on
> fact! And according to you the Universe must conform to theory, not the other
> way round!?

I guess I am just repeating the same thing over and over. QM may be
quantizable or not. We do not know. But currently there is no compelling
evidence for continuous, non-computable QM (although it is convenient
to use discrete symbols from real number calculus for describing certain
QM phenomena). Hence Occam's razor favors the simpler explanation.

UTM theory is falsifiable. It makes many predictions. One of them is
that nobody will ever construct a Super-Turing machine based on QM.

Juergen
Received on Fri Oct 29 1999 - 10:31:57 PDT