1701066479
DNA的自我复制
1701066480
1701066481
现在你可能在想,我们又回到了让人头痛的抽象逻辑王国。别急,我们马上就会回到现实世界。真正让人惊奇的是对信息的双重使用竟然也是DNA复制自身的关键。在第6章我们了解到,DNA是由核苷酸序列组成。特定的子序列(基因)编码构成蛋白质的氨基酸,其中包括解开双螺旋和用信使RNA、转运RNA、核糖体等复制各股DNA的酶(特定种类的蛋白质)。作一个宽泛的类比,对执行复制的酶进行编码的DNA序列大致上对应于自复制程序的代码。这些DNA中的“代码”在产生酶和作用于DNA自身时就相当于被执行,DNA本身则相当于被解开和复制的数据。
1701066482
1701066483
不过你可能已经注意到了我埋下的伏笔。在自复制程序和DNA的自复制之间有一个重要的差别。自复制程序需要有一个解释器来执行它:指令指针依次指向各行代码,然后由操作系统来执行它们(存取ip和L等中间变量,显示输出字符串,等等)。执行器完全外在于程序本身。
1701066484
1701066485
而在DNA的情形中,构建“解释器”——信使RNA、转运RNA,核糖体和所有用于蛋白质合成的成分——的指令也一起编码在DNA中。也就是说,DNA不仅包含自我复制的“程序”(例如用来解开和复制DNA的酶),同时也编码了它自己的解释器(将DNA转译成酶的细胞器)。
1701066486
1701066488
冯·诺依曼的自复制自动机
1701066489
1701066490
冯·诺依曼最初的自复制自动机(冯·诺依曼只给出了数学描述,并没有真的建造)也是既包含有自我复制的程序也包含解释自身程序的机制。因此是完整的自我复制机器。这也解释了为何冯·诺依曼的构想要比我的自我复制程序复杂得多。冯·诺依曼提出构想是在20世纪50年代,当时生物自我复制的机制还没有被完全理解,这更加表明了冯·诺依曼天才的洞察力。冯·诺依曼对自动机的设计以及其正确性的数学证明在他去世前已基本完成。1957年,他因癌症去世,年仅53岁,可能是因为在参与研制原子弹时受到了核辐射。冯·诺依曼的同事巴克斯(Arthur Burks)完成了最后的证明。1966年,巴克斯将全部成果编辑成为《自复制自动机理论》(Theory of Self-Reproducing Automata)一书出版。 [115]
1701066491
1701066492
冯·诺依曼设计的自复制自动机是人工生命科学真正的先驱之一,从原则上证明了自我复制的机器的确是可能的,并且提供了自我复制的“逻辑”,后来证明其与生物的自我复制机制惊人的相似。
1701066493
1701066494
冯·诺依曼认识到这个结论具有深远的影响。他担心公众对这种自复制机器的反应,不愿看到大众媒介报道“未来这种自复制机器的可能性” [116] 。可惜好景不长。1999年,计算机科学家库兹韦尔(Ray Kurzweil)和莫拉韦茨(Hans Moravec)在《灵魂机器的时代》(The Age of Spiritual Machines)和《机器人》(Robot)这两本书中鼓吹了这种具有超级智能并且能自我复制的机器人的可能性,他们认为这种机器人在不远的将来就会被制造出来,他们的书并非虚构, [117] 但是相当牵强。2000年,Sun公司的创始人之一乔伊(Bill Joy)在《连线》(Wired)杂志上发表了一篇后来很有名的文章 [118] ——《为何未来不需要我们》,文中描述了自复制纳米机器的可能性。目前这些预言都还没有应验。不过复杂的自复制机器也许很快就会成为现实:康奈尔大学的机器人专家利普森(Hod Lipson)和他的同事已经制造出了一些简单的自复制机器人 [119] 。
1701066495
1701066497
冯·诺依曼
1701066498
1701066499
冯·诺依曼(图8.3)是20世纪科学和数学领域最重要的人物,而且很有趣,在这里值得多说几句。如果你还不知道他的话,应该去了解一下。
1701066500
1701066501
1701066502
1701066503
1701066504
▲图8.3 冯·诺依曼(1903—1957)(美国物理学会西格尔图像档案)
1701066505
1701066506
不管和谁比,冯·诺依曼都是真正的天才。在相对短暂的一生中,他至少在6个领域作出了基础性的贡献:数学、物理、计算机科学、经济学、生物学和神经科学。人们说起他的故事时,总是忍不住摇摇头,惊叹如此的天才是不是真的是人类能做到的。我很喜欢他的故事,希望在这里与你们分享。
1701066507
1701066508
冯·诺依曼出生在匈牙利,小名琼尼。与爱因斯坦和达尔文的大器晚成不同,冯·诺依曼从小就是神童。据说他六岁时就能心算八位数除法。(很久他才发现不是所有人都能做到这一点;他的一本传记中有这样一个故事:“6岁时,有一次他母亲在他面前显得心不在焉, [120] 他问妈妈:‘你在算什么?’”)当时他还能和父亲谈论古希腊。
1701066509
1701066510
冯·诺依曼18岁进入大学,开始是在布达佩斯,后来又去了德国和瑞士。最初他选择的是化学工程这样的实用课程,但还是无法离开数学。23岁时,因为在数理逻辑和量子力学做出的基础性工作,他获得了数学博士学位。他的工作做得太漂亮了,5年后他就获得了世界上最好的学术职位——加入新成立的普林斯顿高等研究院(IAS),爱因斯坦和哥德尔也是这里的成员。
1701066511
1701066512
研究院没有看走眼。此后10年,冯·诺依曼开创了博弈论的研究(写出了被称为“有史以来最好的数理经济学论文” [121] ),设计了第一台可编程计算机的原理架构(EDVAC,他为这台计算机写的报告被称为“计算和计算机领域有史以来最重要的文献” [122] ),还在第一颗原子弹和氢弹的研制中做出了重要贡献。此后他又致力于研究自复制自动机以及计算机逻辑与大脑运作机制之间的关系。冯·诺依曼在政治上也很活跃(他的立场十分保守,持强烈的反共产主义观点),后来还成为原子能委员会的成员,这个委员会为美国总统在核武器政策方面提供咨询。
1701066513
1701066514
除了冯·诺依曼,匈牙利还有一批年龄相仿的科学家后来都成了举世闻名的学者,这被称为“匈牙利现象”。这个群体中包括西拉德,第3章我们已经见过他,物理学家维格纳(Eugene Wigner)、特勒(Edward Teller)和伽柏,数学家厄多斯(Paul Erd s)、科蒙尼(John Kemeny)和拉克斯(Peter Lax)。许多人都奇怪为何当时会聚集这么多耀眼的天才。据冯·诺依曼的传记作者麦克雷(Norman Mac Rae)说:“匈牙利6位诺贝尔奖获得者有5位 [123] 是生于1875年到1905年间的犹太人,有一次诺贝尔奖得主维格纳被问道,为何在他那一代匈牙利涌现了这么多天才,结果他回答说,他不明白这个问题,匈牙利当时只出现过一位天才,那就是冯·诺依曼。”
1701066515
1701066516
冯·诺依曼在许多方面都领先于他的时代。他的目标同图灵类似,想发展信息处理的一般理论,既包括生物也包括技术。他在自复制自动机上的工作就是这项计划的一部分。冯·诺依曼与控制论社团也联系紧密——这是一个由科学家和工程师组成的交叉学科研究群体,致力于研究各种自然界和人工复杂适应系统的共性。现在的“复杂系统”研究的前身就是控制论和系统科学。在最后一章我将进一步探讨它们之间的联系。
1701066517
1701066518
冯·诺依曼对计算的兴趣在高等研究院并不是一直都受欢迎。在结束关于EDVAC的工作之后,冯·诺依曼带领几位计算机专家在IAS设计和改进EDVAC的后续机型。这个系统被称为“IAS计算机”;它的设计是后来IBM早期计算机的原型。然而IAS一些纯理论科学家和数学家对此感到不快,认为在这个纯洁的象牙塔中不应进行这种实用性研究,对于冯·诺依曼领导一组气象学家在IAS用这台计算机开展的第一项应用天气预报可能更加反感。一些纯粹主义者认为这类研究不适合研究院。就像IAS的物理学家戴森(Freeman Dyson)说的,“(IAS)数学院 [124] 分为三个群体,一群是纯数学,一群是理论物理,冯·诺依曼教授单独是一群”。冯·诺依曼去世后,IAS的计算机项目被终止了,IAS的研究人员进行了一场“让研究院没有任何实验科学 [125] ,没有任何实验室”的运动。戴森称之为“自大狂的报复” [126] 。
1701066519
1701066521
第9章 遗传算法
1701066522
1701066523
在对“机器能否复制自身”的问题给予肯定回答后,冯·诺依曼很自然地想让计算机(或计算机程序)复制自己和产生变异,并在某种环境中为生存竞争资源。这就会遇到前面提到的“生存本能”以及“进化和适应”的问题。可惜的是冯·诺依曼还没有研究进化问题就去世了。
1701066524
1701066525
其他人很快就开始继续他留下的工作。20世纪60年代初,一些研究团体开始在计算机中进行进化实验。这些研究现在统称为进化计算 [127] (evolutionary computation)。其中最为著名的是密歇根大学的霍兰德和他的同事、学生进行的遗传算法(genetic algorithms)研究。
1701066526
1701066527
霍兰德(图9.1)可以说是冯·诺依曼的学术徒孙。霍兰德的博士导师是哲学家、逻辑学家和计算机工程师巴克斯,巴克斯曾协助冯·诺依曼研制EDVAC,并且完成了冯·诺依曼没有完成的自复制自动机研究。在结束EDVAC的工作之后,巴克斯在密歇根大学获得了哲学教职,并成立了计算机逻辑小组,这是一个由对计算机基础以及广义信息处理感兴趣的教师和学生组成的松散团体。霍兰德到密歇根大学攻读博士学位,开始是学数学,后来转到新成立的“通信科学”系(后来改称“计算机与通信科学”),这可能是世界上第一个真正的计算机科学系。几年后,霍兰德成为系里第一个博士学位获得者,他也是世界上第一个计算机科学博士。很快他就留校成了计算机系的教授。
[
上一页 ]
[ :1.701066478e+09 ]
[
下一页 ]