Physics – Computational Physics
Scientific paper
2000-05-23
Physics
Computational Physics
40 pages, no figures
Scientific paper
In the first of this pair of papers, it was proven that that no physical computer can correctly carry out all computational tasks that can be posed to it. The generality of this result follows from its use of a novel definition of computation, ``physical computation''. This second paper of the pair elaborates the mathematical structure and impossibility results associated with physical computation. Analogues of Chomsky hierarcy results concerning universal Turing Machines and the Halting theorem are derived, as are results concerning the (im)possibility of certain kinds of error-correcting codes. In addition, an analogue of algorithmic information complexity, ``prediction complexity'', is elaborated. A task-independent bound is derived on how much the prediction complexity of a computational task can differ for two different universal physical computers used to solve that task, a bound similar to the ``encoding'' bound governing how much the algorithm information complexity of a Turing machine calculation can differ for two universal Turing machines. Finally, it is proven that either the Hamiltonian of our universe proscribes a certain type of computation, or prediction complexity is unique (unlike algorithmic information complexity).
No associations
LandOfFree
On the computational capabilities of physical systems part II: relationship with conventional computer science does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with On the computational capabilities of physical systems part II: relationship with conventional computer science, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On the computational capabilities of physical systems part II: relationship with conventional computer science will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-473413