计算不可约性

科学是关于还原的。当我们建立世界模型时，我们试图在看似不相干的现象背后发现更简单的解释，并将它们简化为一个解释的模型。理解自然现象，建立能够准确描述现象的模型，借助模型预言现象的再现，是科学的证言过程。

在科学的探索之路上，追求数学上的极简表达。数学是科学的语言，从理论构建的角度来看，极简的数学表达式往往能够更清晰地揭示事物的本质。可以说，只有当我们能够将一个复杂的现象用极简的数学公式来表达时，我们才真正的把握了事物的本质。简洁而优美的数学公式是科学之美的体现。这种美不仅是视觉上的享受，更是人对自然秩序的敬畏。

当一个科学理论能够以极简的数学公示呈现时，它会让人惊叹于自然统一和谐的美妙。

eⁱπ＋1＝0

什么是计算的可约性呢？

计算的可约性是指复杂的计算问题可以被归约为更简单的计算问题。一个复杂的问题被转化为一个或者多个相对简单的子问题后，通过解决这些子问题，来实现复杂问题的解决。可约性使得我们能够利用更简单、更高效的方法来解决复杂问题，从而节省计算时间和资源。

虽然很多计算问题具有可约性，但也存在一些问题是不可约的，混沌、随机、涌现、非线性，无处不在。

计算不可约性一词是由Stephen Wolfram 在其元胞自动机和复杂性理论方面的研究成果中提出的计算理论概念，复杂系统由于组建之间相互作用的复杂机理，无法得出简洁有效的计算描述，也无法借助计算模型预言现象的再现，事件必须经过完整的计算过程才能得到确定的结果。而确定对计算不可约问题的答案的唯一方法是执行完整计算。

复杂系统中，各个组件之间的相互作用和反馈循环，构成间性，间性产生单个组件不存在的属性及行为，组建间性导致系统的行为无法被归约。由众多互连组件组成的系统，组件相互作用并适应环境的变化，表现出无法归约的自组织行为。现象无法被简化后，实现再现，其本质是复杂系统演变的不可逆。

决定论认为有果必有因，万事万物之间，存在着某种确定的因果链。而计算不可约性表明，对于某些复杂系统，我们无法通过归约计算来完全确定其未来的状态，即使我们知道了系统的所有初始条件和相关规律，也可能无法准确预测系统的发展。因果关系在多大程度上具有确定性，成为了比率问题。因果的因，本身成为了变量。因果的果，是不可逆的果。对于不可逆的过程而言，因果链从确定链成为了或然链。

计算不可约性提醒我们，世界的复杂性可能超出了我们的想象，我们必须承认不确定性的存在，学会复杂背景下的不确定性决策。

我们要保持谦逊，我们对世界的认知是不断完善的。计算的可约性与不可约性，是科学的边界，我们持续跨越这个边界，将不可约性的事物转换为可约性的过程，就是科学进步的过程。

可以跨越，但边界永存。

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。