1700531758
罗素悖论的首次提出见Bertrand Russell,Principles of Mathematics（Reprint, New York: W. W.. Norton &: Company, 1996）, 2nd ed., 79–81;罗素悖论是说谎者悖论的演变，见E. W. Beth,Foundations of Mathematics （Amsterdam: North Holland, 1959）, p. 485.
1700531759
1700531760
9. “Heuristic Problem Solving: The Next Advance in Operations Research”,Journal of the Operations Research Society of America 6, no. 1 （1958）, reprinted in Herbert Simon, Models of Bounded Rationality, vol.1, Economic Analysis and Public Policy （Cambridge,MA: MITPress, 1982）.
1700531761
1700531762
10. “A Mean Chess-Playing Computer Tears at the Meaning of Thought”,New York Times, February 19, 1996，该文中包括了加里的赛后感想，以及一些有名的思想家对“深蓝”计算机打败人类国际象棋冠军会产生何种影响的看法。
1700531763
1700531764
11. Daniel Bobrow,“Natural Language Input for a Computer Problem Solving System”, in Marvin Minsky,Semantic Information Processing, pp. 146–226.
1700531765
1700531766
12. Thomas Evans,“A Program for the Solution of Geometric–Analogy Intelligence Test Questions,”in Marvin Minsky, ed.,Semantic Information Processing （Cambridge, MA
:MIT Press, 1968）, pp. 271–353.
1700531767
1700531768
13. DENDRAL相关描述见Robert Lindsay, Bruce Buchanan, Edward Feigenbaum, and Joshua Lederberg,Applications of Artificial Intelligence for Chemical Inference: The DENDRAL Project （New York: McGraw–Hill, 1980）。欲了解主导DENDRAL的主要机制介绍，可参读Patrick Winston,Artificial Intelligence（1984）, pp. 163–164, 195–197。
1700531769
1700531770
14. SHRDLU曾一度为人工智能领域卓越成绩的代表，相关研究介绍见Winograd的论文Understanding Natural Language （New York: Academic Press, 1972），简介见“A Procedural Model of Thought and Language”, in Roger Schank and Kenneth Colby, eds.,Computer Models of Thought and Language（San Francisco: W. H. Freeman, 1973）.
1700531771
1700531772
15. Haneef A. Fatmi and R.W Young,“A Definition of Intelligence,”Nature 228 （1970）: 97.
1700531773
1700531774
16. 艾伦·图灵向世人证明了可以通过非常简易的理论机器模拟出基础计算。1936年他制造了第一台理论计算机（首次提出见Alan M. Turing,“On Computable Numbers with an Application to the Entscheinungs Problem,”Proc. London Math. Soc. 42 [1936]: 230–265），并命名为“图灵机器”。图灵做出了许多突破性的贡献，对于计算机可谓最有发言权。图灵机器的出现代表了现代计算理论的建立，也由于其简易却功能强大的性质，一直作为计算机基本理论模型存在着。
1700531775
1700531776
图灵机器是智能基础简易化的典型案例，它有两个基本（理论）部分：一台磁带机和一个计算器。磁带机中包含一条无限长的带子供机器书写记录和读取，且记录的内容只有两个符号：0和1。计算其中包含一个程序，该程序由一串指令序列组成，指令内容仅有以下7种可能：
1700531777
1700531778
·读带
1700531779
1700531780
·将带子向左移动一个符号
1700531781
1700531782
·将带子向右移动一个符号
1700531783
1700531784
·在带子上记录0
1700531785
1700531786
·在带子上记录1
1700531787
1700531788
·跳至另一条指令
1700531789
1700531790
·停止
1700531791
1700531792
图灵演示出这种极其简易的机器能计算其他任何机器可计算的内容，不管多复杂都可以。如果一个问题无法用图灵机器解决，那么用其他机器更不可能解答。图灵机器的地位偶尔会受到挑战，但长久以来仍无法被撼动。
1700531793
1700531794
同样，在这篇论文中，图灵指出了另一个预料之外的发现，即不可解问题。这些问题被完美定义，且看似解法独特，然而经由图灵机器计算后得出不可解——也就是其他机器也无法解决这个问题，但倒退回19世纪，人们坚信一个问题既然可以被定义就可以被解决。图灵则认为世上存在多少可解问题就会存在等量的不可解问题。
1700531795
1700531796
图灵和他的导师阿隆佐·邱奇教授继续坚持其主张，也就是后来的“邱奇——图灵论题断定”
:如果一个问题无法通过图灵机器解决，同样也无法通过人类思维解答。对于该论题比较绝对的解读方式是：人类思考或知晓的事物，与机器可计算的事物间存在等价关系。而邱奇——图灵论题也可被看作维特根斯坦在《逻辑哲学论》中提出的基本论点的数学表达。其中最根本的思想在于人类大脑受自然规律制约，所以人脑的信息处理能力无法超越机器，所以我们才会遇到上述这种困境：可被定义的问题看似存在特殊的解答方式，却不知道这个问题根本没有答案。
1700531797
1700531798
最有趣的不可解问题莫过于“忙碌的海狸”问题，若要进行“忙碌的海狸”函数的运算，假定一个输入值n，从而可制作一台只能出0和1两种字符、有n个操作状态外加一个停机状态的图灵机器。找来一台这样的机器后，给它一条空白纸带（所有空格填满0），运行一段程序后它停机了，此时在纸带上留下的1最多的那台图灵机器则被称为“忙碌的海狸”。
1700531799
1700531800
图灵的崇拜者，数学家蒂博尔·拉多证明不存在任何一种算法（即任何一台图灵机器）能计算“忙碌的海狸”函数中全部的n个操作状态，因为图灵机器在计算n个操作状态时会陷入无限循环中。假设我们编写了专门的图灵机器以生成和模拟n个状态中的每一个状态，那么这些单个的模拟图灵机器也会在尝试再模拟的过程中再次陷入无限循环。“忙碌的海狸”中部分n值可被计算，但有趣的是，我们无法解答哪些n值可解，哪些不可解，这又是一个不可解问题。
1700531801
1700531802
“忙碌的海狸”是个“智能函数”，更确切地说，它需要不断增加的智能来计算不断增加的函数状态。随着n值的增加，“忙碌的海狸”函数计算过程也变得更加复杂。
1700531803
1700531804
若n=6,“忙碌的海狸”函数值为35，计算过程仅涉及加法，也就是说，图灵机器在6步之内可执行的最复杂的运算为加法。若n=7,“忙碌的海狸”函数值为22 961，计算过程涉及乘法。若n=8,“忙碌的海狸”函数值将接近1043，计算过程则涉及指数运算，这种增长速率比摩尔定律阐述的速度还要快。可以想象当n的值为10的时候，涉及的运算需要多少次指数级的叠加，更不用说到n值为12的时候了。人类智能（从我们理解的数学运算复杂程度来看）将被n值为100的忙碌的海狸函数赶超，21世纪的计算机也只比人类好一些。
1700531805
1700531806
忙碌的海狸问题是个典型的不可运算函数大集合，详见Tibor Rado,“On Noncomputable Functions”,Bell System Technical Journal 41, no. 3 （1962）: 877–884.
1700531807
[
上一页 ]
[ :1.700531758e+09 ]
[
下一页 ]