关键词computational irreducibility
搜索结果 - 2
- MM解释出现
出现是各个领域中的一个重要属性,可以突如其来地出现,初看并不能预测其出现。因此被认为是相对于观察者的主观属性。一些具有简单和确定性规则的数学系统却展现出突出的行为。研究这些系统为对主观和客观不需要观察者的理解提供了新思路,使得描述计算不可简 - 不可预测性和计算不可约性
本文从细胞自动机领域到任何可计算函数 f 的通用领域探讨了分析计算不可约性的几个概念,并提出了一个稳健的形式化定义;通过定义 “在没有遵循模拟自动机或函数的相同路径的情况下无法计算第 n 步骤” 这一概念,我们证明了如果一个对象的行为是计算