计算不可约性和不可预测性的实证遭遇
摘要：计算系统中存在几种不可约性形式，从不可判定性到不可处理性到非线性。本文探讨了在研究小型图灵机的速度加快和减慢现象过程中出现的概念问题。我们提出了一项测试的结果，该测试可能会推动对计算不可约性概念的实验性方法。该测试包括通过使用专门的函数查找程序进行整数序列预测的方式，系统地尝试超越大量小型图灵机（全部为3和4状态，2符号）的计算。这次大规模实验促使我们对决策过程的收敛速度和集合的可判定性进行了调查，并讨论了确定性计算系统在实践中的（不）可预测性。我们认为这项调查在计算机模拟的背景下对一个认识论问题的讨论构成了一种新颖的方法，因此代表了哲学问题和计算实验之间有趣探索的一个有趣尝试。
作者：Hector Zenil, Fernando Soler-Toscano and Joost J. Joosten
论文ID：1104.3421
分类：Computational Complexity
分类简称：cs.CC
提交时间：2011-06-24