我想不出任何这样的模型,也许是某种形式的λ演算?一些基本的细胞自动机?
这几乎可以反驳Wolfram的“计算等价原理”:
几乎所有不是很简单的过程都可以看作是等效复杂度的计算
我想不出任何这样的模型,也许是某种形式的λ演算?一些基本的细胞自动机?
这几乎可以反驳Wolfram的“计算等价原理”:
几乎所有不是很简单的过程都可以看作是等效复杂度的计算
Answers:
您可以轻松构建尚未完成图灵功能但无法确定停工问题的人工模型。例如,取所有除不会停止的TM 。
您不能反驳不够精确的陈述。语句中几乎没有一个单词定义明确(如果不是,请为其提供定义)。
大概。存在许多数学问题,其中可能包括一些不确定的数学问题,即答案为“是”,但不存在任何证明。例如,Collatz 3x + 1问题就成为候选人。或pi是否包含连续9的任意长字符串的问题。任何这样的问题都可以被视为“计算模型”,其功能可能远不及UTM强大,但仍不确定“停止”还是“总是停止”。