算法理论和中国理性——现代儒学科学发展观.docVIP

算法理论与中国理性 ——现代儒学的科学发展观 周剑铭 HYPERLINK mailto:zhoujm@ zhoujm@ HYPERLINK mailto:zhou_jm@ zhou_jm@ 摘要：算法是知识形式的最终核心，但算法的本质问题一直困扰着整个算法理论领域，这个问题反映在哲学上就是工具理性与价值理性的对立和纠缠。算法成为算法策略，从理性工具转向批判理性，工具理性转向价值理性，是从自然科学理论转向社会人文领域的复杂过渡领域；价值与理性的自然一致就是中国理性；在中国文化的视域中，可以全面地理解从算法、策略……一直到社会政治行为的不同层次中的变易统一性，使工具理性与人文关怀的统一性成为现代儒学的科学发展观。 目录 1. 算法理论与问题世界 2. NP-hard问题 3. 非线性算法 4. 从算法到算法策略：启发式算法与“摸着石头过河” 5. 理性与理性工具 6. 批判理性 7. 从工具理性到人文关怀 算法理论与问题世界 “算法”是所有“知识”理论中最纯粹的知识形式，在某种意义上，可以看作是“工具理性”（韦伯术语）的最终代表，在哲学上意义上可以说，知识和知识理论所有的根本性部题都最终地表现在算法理论中。算法和计算机理论已充份揭示了所有的可以通过计算方式解决的问题最终都是通过“机械步骤”完成的（“丘奇-图灵论题Church—Turing’s thesis”），因此在这种意义上，“算法”这个词的最终含义就是指用机械步骤完成的“计算”，实际上，现代计自机理论中的0和1 这两个符号就代表了纯粹的“步骤”，只是古典意义的“机械”一词现在由纯粹的算法符号替代了，在纯粹符号的意义上，0和1 就是一种纯粹的“步骤”关系（在算法理论中，1 是真正的“自然数”——“真数”，通常的十进制自然数只不过是真数1的人类方便表达方式）。“机械步骤”这个概念内涵实时线性进行的意义，在经典意义上，宇宙只有唯一的时间，实时时间没有并行性，所以可计算意义上的算法具有线性本质性，这是“算法”这个概念所具有的“可计算性” 的最终意义。当然问题不会这么简单和纯粹，可以线性计算解决的问题只是我们的问题世界中极少的部份，因此可以线性计算解决的问题（“可计算理论”）远不是算法理论的全部，算法理论真正的深度问题是可计算性本身是一种什么样的性质，这实际是一个关于我们的世界的问题，这也就是追问，不可计算的问题具有一种什么性质，在哲学意义上，也就是探问可计算的问题与不可计算的问题是如何构成我们的世界的。算法（可计算性）和不可计算性问题的本质只能由哲学探索，但它们具体表现在算法法理论中，特别是以计算机理论为基础的现代算法理论中。 算法是解决问题的，但我们的问题世界即有可计算解决的问题，也有更多的不能直接以可计算性的计算方法解决的问题，更糟糕的是存在这样的情况，一个问题能否以计算方式解决无从判定，这种问题对计算机和人工智能理论是一个最大的挑战，甚至隐含着对人类智力的叩问，这已经牵涉到对我们的世界存在性的哲学了，在科学领域中，这种以算法为核心的所有问题成为“算法理论”。 算法理论成为了知识理论的基本理论，这首先就是由于现代计算机技术和理论导致人类认识和知识的迅速扩展的结果，我们人类所面临世界以一种全新的的问题世界的面貌表现出来，我们人类的世界的重心从自然哲学的视域中日渐转入人文和文化的境域。由此反映在现代算法理论中的不仅是可计算性这个经典概念的本质问题，更是我们问题世界的本质问题， 在算法理论中，可计算性的问题不成为主要的问题，这是因为可计算意义的算法本身就表达了这类问题的可计算性质，真正成为问题的是不可计算性的性质，不可计算性是由不可计算性问题表现的，不可计算问题成了真正的主角，这是因为一个问题能否计算（或不可计算）必须事先判定，现在的问题在于这个判定也成为一种算法，就是说不可计算问题的判定是以（可计算）算法这个工具处理的，由此看出这里有复杂的层次问题，最困难的还有一层：这个判定问题本身以不可计算性这样一种性质表现出来。 通俗浅显地理解，不可计算性可以作两种情况理解，一是时间意义上的不可计算性，一种是空间意义的不可计算性，前者从深度上看算法问题，具有纯粹性，后者从广度上看算法问题，具有实用性，但是这两方面不是独立可分，只是同一理论的不同表达。 NP-hard问题 在经典意义上，我们的宇宙实时时间是唯一的、线性的，这也就是我们通常所说的历史时间，可以称为“实时时间”，这即可以指我们人类续存的历史时间，也可以指一台算法计算机（图灵机）不停机运算下去的情况。我们常说计算机能在一瞬间做出无数人世代也不能完成的工作，这并不是说计算机具有更快的时间，计算机本身只有一个和我们同样的实时时钟，只不过是计算机极大限度地利用了实时时间，我们都知道计算机具有极高的内部时钟频率，这就是极快的“机械