Title of article :
Computational Processes and Incompleteness
Author/Authors :
Klaus Sutner، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2009
Pages :
9
From page :
226
To page :
234
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
Journal title :
Electronic Proceedings in Theoretical Computer Science
Serial Year :
2009
Journal title :
Electronic Proceedings in Theoretical Computer Science
Record number :
679687
Link To Document :
بازگشت