1700531658
5. 逻辑实证主义的有关简史可参读A. J. Ayer,Logical Positivism （New York: Macmillan, 1959）: 3–28.
1700531659
1700531660
6. David J. Chalmers区分了“意识的易题和难题”，且认为“难题的解决方案完美地避开了所有的传统说明方法”，出自论文“Facing Up to the Problem of Consciousness.”Stuart R. Hameroff, ed., Toward a Science of Consciousness: The First Tucson Discussions and Debates （Complex Adaptive Systems）（Cambridge, MA: MU Press, 1996）.
1700531661
1700531662
7. 早在20世纪初，奥地利哲学家路德维希·维特根斯坦就用逻辑实证主义的分析方法系统地定义了客观主义。这一哲学思想学派的主要思想来源于维特根斯坦的第一部著作《逻辑哲学论》，这部著作直接对之后计算理论和语言学的诞生产生了重大影响。这本书刚出版时并未大卖，且为了确保书出版，还借用了罗素的思想影响力。
1700531663
1700531664
维特根斯坦曾预测早期计算机编程语言，在《逻辑哲学论》一书中他用数字标出了各条论述在其思想体系中所处的层次。开头第一条：“世界就该如此。”意指他写书的雄心壮志。最经典的论述为第4.0.0.3.1条：“所有的哲学都是对语言的批判。”最后第7条：“不可言者当以沉默待之。”那些在早期维特根斯坦思想中寻求哲学根源的思想家始终认为这部著作简短精悍，可谓19世纪最有影响力的哲学著作。Ludwig Wittgenstein,Tractatus LogicoPhilosophicus, translated by D. F. Pears and B. F. McGuiness, Germany, 1921.
1700531665
1700531666
8. G. E. M. Anscombe翻译的《哲学研究》一书前言中提到，维根斯坦“承认”他在其早期作品《逻辑哲学论》中犯了一些“重大的错误”。
1700531667
1700531668
9. 了解笛卡尔的生平，见The Dictionary of Scientific Biograph, vol. 4, pp. 55–65.若要了解笛卡尔的哲学思想及相关思想体系，可参读Jonathan Ree, Descartes.
1700531669
1700531670
10. 摘自Douglas R. Hofstadter, Godel, Escher, Bach:An Eternal Golden Braid （New York: Basic Books, 1979）.
1700531671
1700531672
11. “Computing Machinery and Intelligence,”Mind 59 （1950）: 433–460, reprinted in E. Feigenbaum and J. Feldman, eds.,Computers and Thought （New York: McGrawHill,1963）.
1700531673
1700531674
12. 若想了解更多量子力学的内容，可参读George Johnson,“Quantum Theorists Try to Surpass Digital Computing,”New York Times, February 18, 1997.
1700531675
1700531676
第四章 人工智能的万能公式：也许很快就能找到
1700531677
1700531678
1. 在巴贝奇发明计算机器的两个多世纪以前，已经出现了一些较完善的简单计算设备。1642年，法国数学家布莱士·帕斯卡发明了世界上第一台数字计算器，名为“帕斯卡林”，可进行加减法运算，几十年之后，莱布尼茨完善了莱布尼茨计算机，可通过重复加法的途径进行乘法。但相比之前的简单运算，莱布尼茨计算机对数的自动运算难度要大许多。
1700531679
1700531680
然而巴贝奇未能在研究道路上走得更远——他穷尽了所有的资金来源，和英国政府在所属权问题上起了纠纷，在计算精确度提升上遇到了麻烦，眼睁睁看着他的首席工程师开除了手下的工作人员后自己也撂手走人。除此之外，巴贝奇的个人生活也充满了悲剧，他的父亲、妻子和一双儿女纷纷去世。
1700531681
1700531682
至此，巴贝奇意识到当下该做的事情就是放弃差分机，而立足于难度更大的工作：创造出世界上第一台完全可编程计算机。巴贝奇提出有关分析机的新想法是可对这台机器进行编程，以解决任何逻辑或计算问题。
1700531683
1700531684
该分析机有一个RAM（随机存取存储器），由1 000个词汇组成，每个词汇又由50个十进制数字构成，人们可随时访问或改写任何位置的数字并将其存储在其他任意位置。该分析机还有一台穿孔卡片读卡器和一台打印机，虽然正式的排版机器或打字机在半个多世纪之后才被发明出来。分析机中还有一个CPU（中央处理器），与现在的CPU相似，可进行不同类型的逻辑和代数运算。最重要的是，它还有一个软件专用存储器，其中包括一种机器语言，一部分十进制语言规定了计算操作，另一部分规定了运算对象的存储位置，与现代计算机十分相似。Stan Augarten,Bit by Bit: An Illustrated History of Computers（New York
:Ticknor and Fields, 1984）: 63–64.
1700531685
1700531686
巴贝奇描述分析机的具体内容见其1837年写的文章“On the Mathematical Powers of the Calculating Engine,”该文之后作为附录重印于Anthony Hyman,Charles Babbage: Pioneer of the Computer （Oxford: Oxford University Press, 1982）。如要了解巴贝奇和阿达的生平介绍，见Hyman的传记及Dorothy Stein, Ada: A Life and a Legacy （Cambridge,MA
:MIT Press, 1985）.
1700531687
1700531688
2. Stan Augarten, Bit by Bit, 63–64.巴贝奇描述分析机的具体内容见其1837年写的文章“On the Mathematical Powers of the Calculating Engine”，该文之后作为附录重印于Anthony Hyman,Charles Babbage: Pioneer of the Computer （Oxford: Oxford University Press,1982）.
1700531689
1700531690
3. Joel Shurkin在Engines of the Mind, p. 104中将艾肯的机器称为“用IBM显卡处理的电子机械版分析机”。如要了解有关Mark I的发展历程，见Stan Augarten,Bit by Bit, 103–107. Bernard Cohen,“Babbage and Aiken”,Annals of the History of Computing 10 （1988）: 171–193中对艾肯和巴贝奇的关系提出了新的解读视角。
1700531691
1700531692
4. 巴贝奇根据提花织机（一种自动织布机，由穿孔金属卡片控制）的原理制作的穿孔卡片保留了下来，并为19世纪日益受欢迎的计算器自动化奠定了基础。之后随着1890年美国人口普查中首次运用的电路数据处理技术，穿孔卡片被取代，但它直到20世纪70年代一直都是计算的主要技术手段。
1700531693
1700531694
5. 图灵的鲁滨孙并不是可编程计算机，也不需要可编程，因为它的任务只有一项。世界上第一台可编程计算机由德国人开发。德国土木工程师康拉德·楚泽研究的初衷是想摆脱那些他称之为“土木工程师必须做的大量枯燥计算”。和巴贝奇设计的计算机器一样，楚泽的第一台机器Z–1是一台全机械式机器，还是由他父母卧室里的升降架改造而来的。之后的Z–2则利用了机电继电器，能解决复杂联立方程式。真正具有历史性意义的是第三代机器Z–3，它是世界上第一台可编程计算机。根据加速回报定律，我们可向前倒推出，楚泽的Z–3速度仍相当缓慢，简单的乘法就要花费3秒以上的时间。
1700531695
1700531696
当时楚泽虽然获得了德国政府的一些支持，其发明的机器在军事中也起到了辅助作用，但德国政府首脑们始终没有正确意识到计算机器在军事中的重要性，这也是为什么他们如此依赖英格玛密码，并且坚信这种方法非常安全。而德国军方对火箭和核武器等其他先进技术却相当重视。
1700531697
1700531698
楚泽和他的发明似乎注定得不到应有的关注和重视，即使在“二战”结束后还是被无视。建造出世界上第一台可编程计算机的名头通常属于霍华德·艾肯，而实际上Mark I直到Z–3出现后的第三个年头才能正常运行。楚泽的研究基金在战争中被第三帝国一扫而空时，德国政府官员还向他辩解：“德国空军是世界上最强大的，我都看不出计算能为它带来任何进步。”
1700531699
1700531700
楚泽宣称的建造世界上第一台可运行的可编程数字计算机是有据可依的，有他申请到的专利证书为证。详见K Zuse,“Verfahren zur Selbst Atigen Durchfurung von Rechnungen rnit Hilfe von Rechenmaschinen”, German Patent Application Z23624, April 11, 1936.翻译节选见“Methods for Automatic Execution of Calculations with the Aid of Computers”,Brian Randell,ed.,The Origins of DigitalComputers, pp. 159–166.
1700531701
1700531702
6. “Computing Machinery and Intelligence”,Mind 59 （1950）: 433–460, reprinted in E. Feigenbaum and J. Feldman, eds.,Computers and Thought（New York: McGrawHill,1963）.
1700531703
1700531704
7. 见A. Newell, J. C. Shaw, and H. A. Simon,“Programming the Logic Theory Machine”,Proceedings of the Western Joint Computer Conference, 1957, pp. 230–240.
1700531705
1700531706
8. 英国数学家罗素与其老师怀特海合著的《数学原理》出版于1910~1913年，这本书为数学指明了一种新的方法，在数学发展史中有着重要地位。罗素提出的突破性理论体系为之后图灵开发“图灵机器”需要的计算理论奠定了基础。以下是我对激发罗素灵感的“罗素悖论”的解读版本：
1700531707
[
上一页 ]
[ :1.700531658e+09 ]
[
下一页 ]