Computational Processes and Incompleteness
Computational Complexity
2009-06-18 v1 Logic in Computer Science
Abstract
We introduce a formal definition of Wolfram's notion of computational process based on cellular automata, a physics-like model of computation. There is a natural classification of these processes into decidable, intermediate and complete. It is shown that in the context of standard finite injury priority arguments one cannot establish the existence of an intermediate computational process.
Cite
@article{arxiv.0906.3228,
title = {Computational Processes and Incompleteness},
author = {Klaus Sutner},
journal= {arXiv preprint arXiv:0906.3228},
year = {2009}
}