计算过程与不完全性
Computational Processes and Incompleteness
摘要：
我们介绍了一个正式的定义Wolfram的概念的计算过程的基础上细胞自动机，一个物理学的计算模型。这些过程有一个自然的分类，分为可判定的，中间的和完整的。它表明，在标准的有限损害优先的论点的背景下，不能建立一个中间的计算过程的存在。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
