心智、数学和计算复杂性的隐含共同约束解释
摘要：人类大脑存在认知限制。这种认知限制在几乎所有领域包括计算机科学中起着决定性的作用。在计算机科学中复制的认知限制导致了固有的计算复杂性。如果满足某些条件，复杂性会开始减少，甚至有时根本不存在。设计和实现了非常简单的机械计算系统来证明这个观点，并得到了电子系统的进一步支持。这些可验证和一致的系统证明了计算复杂性减少的想法。这项工作解释了从思维到数学公理（如皮亚诺公理等）的非常重要但看不见的联系，以及数学公理与计算复杂性之间的关系。这项研究提供了一个完全新的视角，远远超出了认知科学、数学、物理学、计算机科学和哲学。基于这种新的洞察力，做出了一些重要的预测。
作者：Asad Malik
论文ID：1711.10874
分类：Other Computer Science
分类简称：cs.OH
提交时间：2022-12-22