丘奇-图灵论题.PDFVIP

丘奇-图灵论题 与 丘奇-图灵定理 Miner 2011.03.13 /group/swarmagents_ai/ /group/swarmagents_ai/ 希尔伯特第十问题 1900 年，巴黎第二届国际数学家大会，希 尔伯特“数学问题 演讲：23个他认为最具重 要意义的数学问题 第十问题：判定丢番图方程的可解性 对包含任意个未知数的丢番图方程，给出一个 有效的算法，通过有限次的计算，能够判定该 方程在有理数整数上是否可解。 丢番图方程：整系数代数多项式方程 x2+y2=z2 有整数解(勾三股四弦五) 2x-2y=1 没有整数解 30年没有进展 什么是算法？ 可计算性和计算复杂性理论 研究计算和可计算性概念 研究各种计算模型及其等价性 研究不可计算性 研究P和NP问题 Alonzo Church Kurt Godel Alan Turing (1903-1995) [1906-1978] (1912-1954) 可以有效计算的函数 数学上，算法是 （通过有限多的步骤）对 数学函数进行有效计算的方法。 因此算法研究的一个重要的切入点，是寻 找可以有效计算的函数。 开始只知道一些最简单的函数，以及用这 些函数通过若干简单规则组合出的函数是 可以有效计算的。数学家们把这类函数叫 做递归函数 （Recursive Function）。 1931 年，Herbrand(1908-1931，登山时遇难) 对递归函数进行了研究，并 给哥德尔写信叙述了自己的研究结果。 Church(1903-1995) 命题：所有可以有效计算的函数都可以用λ-calculus来 定义。 1934 年，丘奇向哥德尔介绍了这一猜测，但哥德尔不认同。于是丘奇请哥 德尔给出一个他认为合适的描述。 哥德尔在Herbrand结果的基础上提出了一般递归函数的概念，并指出：凡算 法可计算函数都是一般递归函数，反之亦然．（但哥德尔当时并没想到他的 递归概念包含了所有可能的递归 ） 丘奇与克林证明了这两种看上去完全不同的描述方式实际上是彼此等价的。 丘奇相信已经找到了可以有效计算的函数的普遍定义。但哥德尔并不赞成， 在他看来，在还没有找到一组公理刻划算法可计算性概念所包含的公认特性 之前，不可能有完全令人满意的严格的数学定义。 在此期间，图灵独立思考了可计算性问题，最终以通用图灵机概念刻划了算 法可计算性，并发现丘奇与哥德尔所定义的那些函数与他的抽象计算机可以 计算的函数等价，获得哥德尔的承认 （图灵当时研究图灵机的目的是要研究 希尔伯特于 1928 年提出的有关一阶逻辑的判定问题 ） 哥德尔不认同丘奇论题的原因可能是他认为可计算性不应依赖于形式系统的 选择。而图灵机可计算这个概念的第一次成功地给出有意义的认识论观念上 的一种绝对的定义。 丘奇论题 丘奇论题：1936年，丘奇证明了他提出的 λ可定义函数与一般递归函数是等价的， 并提出算法可计算函数等同于一般递归函 数或λ可定义函数 用一般递归函数虽给出了可计算函数的严 格数学定义，但在具体的计算过程中，就 某一步运算而言，选用什么初始函数和基 本运算仍有不确定性 图灵“论可计算数及其在判定问题中的应用 1936 完成，1937 发表 从一个全新的角度定义了可计算函数 全面分析了人的计算过程，把计算归结为最简单、 最基本、最确定的操作动作，从而用一种简单的 方法来描述那种直观上具有机