第4章 将思想的力量注入齿轮机械
——喔,欣喜若狂的算术家啊!
即使是讽刺家最天马行空的想象也与多年以后的现实相形见绌。用《格列佛游记》的腔调来说就是,几乎如阳光一般的光明从鱼嘴所剩的残羹冷炙中提取出来,火焰被戴维安全灯所过滤筛选,机械则被教授了算术而非诗歌。
——查尔斯·巴贝奇(1832)
没有人怀疑查尔斯·巴贝奇聪敏过人,但也没有人充分理解其天才之处的实质,而他的才华也在很长时间内都得不到关注。他究竟想做到什么?另外,他的职业到底是什么?在1871年巴贝奇逝世后,《泰晤士报》的讣告称他为“最活跃、最具原创性的原创思想家之一”,但它同时又似乎给人感觉,巴贝奇最广为人知的事迹是他经年累月地与街头乐手和手摇风琴手作斗争,控告他们打扰了自己的研究。 不过,他可能并不介意人们这样看他。他兴趣广泛,并且以此为荣。一个美国人赞颂道:“对于任何会引起其孩童般纯真好奇心的事物,他都渴望探求其中的原理,他甚至会将各种玩具大卸八块以搞清它们如何运作。” 巴贝奇并不完全属于他所处的那个时代,即所谓“蒸汽时代”或“机器时代”。的确,他醉心于蒸汽和机械的运用,并自认为是个彻头彻尾的现代人,但他同时也追求各种兴趣和嗜好,如破解密码、开锁、设计灯塔的信号系统、观察树木年轮、改善邮政效率等,而他这样做的逻辑在一个多世纪后的人们眼里才变得容易理解。在研究邮政的经济学时,他持一种与一般人直觉相反的观点。他认为,成本中的大头并不是信件和包裹本身的运输成本,而是“校验”过程的成本,如计算距离以及收取正确费用等。因此,他最早提出了现代的邮政费率标准化的设想。巴贝奇还喜欢划船,不过他感兴趣的“并非划桨的体力劳动,而是航行的脑力艺术”。 巴贝奇也是个火车迷。他曾设计过一种火车行车记录设备,使用墨水笔在三百多米长的纸带上描绘火车行车状态的曲线。它可以看作地震仪和示速仪的组合,能够记录火车运行的速度变化以及沿途所有的颠簸和摇晃。
巴贝奇年轻的时候,有一次在英格兰北部的一个旅馆驻留。他惊奇地发现同店的旅行者正在争论他是干哪一行的:有人告诉我:
“角落里高个子的绅士坚称你是搞五金的,而吃晚饭时坐你旁边的那位胖绅士十分确信你做的是烈酒买卖。还有一个人则声称,前面两个统统没有说对:他说你肯定是为一个钢铁大亨出差来着。”
“哦,”我说,“我猜,你一定比那些朋友更了解我是干哪一行的吧。”
“那是,”那人说,“我敢打保票,你是在诺丁汉做蕾斯花边生意!”
巴贝奇也许一直以来被说成是一名职业数学家,但他此行是周游国内各处的工坊和工厂,以考察各种机器工具在当时的最高水准。他写道:“有闲阶级很难能够找到什么比考察自己国家的工坊更有趣、也更有益的事了。这些工坊包含着丰富的知识宝藏,富人阶级却一般对此视而不见。” 不过,他本人没有放过任何一条知识矿脉。他后来的确成为了诺丁汉蕾斯花边制造的专家,其他如利用火药开采石灰岩、使用金刚石精确切割玻璃,以及所有已知的运用机械来产生能量、节约时间或传递信号的办法,巴贝奇都是行家里手。他还细致研究过水压机、空气泵、煤气表以及螺栓剪钳。在周游结束时,他在制造大头针方面的知识已经不亚于英格兰的任何人。他的知识既实用,又有条理。据巴贝奇的估算,每生产一磅重的大头针,需要花费十个男女工人七个半工时,包括拉出铁丝、拉直铁丝、剪断铁丝、磨尖一头、抛光另一头、添加大头、镀锡或漂白,直到最后用纸打包。他把每一个工序的成本精确到了百万分之一便士。 他也注意到,这个工艺虽然最终臻于完美,但业已日薄西山:一个美国人已经发明了一种自动化机械来完成相同的工作,并且效率更高。
巴贝奇还发明了他自己的机器,一台硕大的、泛着微光的机械,由黄铜和白镴制成,包含数以千计的曲柄、转轮、嵌齿和齿轮,无一不加工得极端精密。他花费了其漫长的一生来改进它,先是一种设想,然后是另一种设想,但所有的工作主要都是在他的脑子里完成的。它最终没有变成现实。因此,这台机器在发明史上占据着一个极端而奇特的地位:它既是一件失败之作,但又是人类最伟大的智力成就之一。它的失败是巨大的,作为一个“国家出资,因而应被视为国有财产” 的科学和工程学项目,业已由财政部拨款近二十年。在1823年项目启动时,议会估算要花费一千五百英镑。而到了1842年首相下令终止项目时,花费已经超过了一万七千英镑。之后,巴贝奇的机器渐渐被人遗忘,在发明史上湮灭无闻。再到后来,它才又被重新发现,其重要意义得到了追认,犹如灯塔在历史长河中熠熠生辉。
一如他在英格兰北部周游时所研究过的织布机、熔炉、制钉厂和玻璃制品厂,巴贝奇的机器也是用于大批量生产某种商品。这种商品,就是数。这台机器沟通了实体物质世界与纯粹抽象世界。它不消耗原材料,它的输入和输出都了无重量,只是要驱动那么多齿轮需要可观的动力。整个齿轮机械可以塞满一整个房间,重达数吨。生产数所要求的机械复杂性已经达到了当时可用技术的极限。与之相比,生产大头针就算是小儿科了。
认为数是一种可以通过生产得到的商品,这个想法并不自然,毕竟数是抽象的,它只存在于观念当中,也是无穷的,没有什么机器能够增加客观存在的数。而巴贝奇的机器所生产的,是那些对人而言重要的数,也就是带有某种意义的数。比如,2.096,910,013就带有一种意义:它是125的常用对数。(至于是否每个数都带有某种意义,这个问题将成为接下来一个世纪的难解之谜。)一个数的意义,可以表示为它与其他数的关系,或它是某个特定算术题的答案。巴贝奇自己并没有从意义的角度来描述他的机器,而是尝试从实际操作的角度来描述:将一些数送入机器,然后等着看另一些数从它里面冒出来;或者换个花哨点的说法就是,向机器提出问题,然后期望得到一个答案。无论是哪种说法,他都难以把自己的意思解释清楚。他抱怨道:
有那么两次,我被这样问道:“请问,巴贝奇先生,假如你往机器里送入了错误的数值,出来的还会是正确的答案吗?”一回是在上议院,还有一回是在下议院。我至今无法很好地理解,该是怎样的思维混乱才会提出这种问题啊。
无论如何,这台机器并未打算成为某种神谕,为来自四面八方的人提供数学解答。它的主要任务是批量地输出数。为便携起见,这些数可以整理成数表,装订成图书。
在巴贝奇看来,整个世界就是由这些数构成的,它们是“自然和艺术中的常数”。他到处收集这些数。他汇编过一张哺乳纲动物常数表:他每到一处,就会对猪和母牛的呼吸和心跳次数进行统计。 他为多少有点让人感觉不可靠的人寿保险业创建过一种统计方法来制作预期寿命表。他还制作过一张表格,上面记录了每平方码各种织物的金衡制格令重量,包括亚麻布、印花布、本色布、平纹细布、真丝绡以及绷带纱布等。还有一张表格则揭示了在英语、法语、意大利语、德语和拉丁语中双写字母组合的相对出现频率。他还甚至研究、统计并发表过一张平面玻璃窗碎裂原因的相对发生频率表,区分了四百六十四种不同的原因,其中十四种涉及“醉酒的男子、女子和男孩”。
但他最中意的还是那些最纯粹的表,也就是那些包含数但也仅包含数的表,在其中一个个数横平竖直地排满一个个页面,形成的图案给人以抽象的享受。
一本只有数的书,在所有的信息技术产品中,这是个多么奇特而又厉害的物件呀!埃利·德容古在1762年曾写道:“喔,欣喜若狂的算术家啊!他那么容易满足,既不求锦衣华服,也不求香车宝马。”
德容古本人对此的贡献是一本小四开本的书,里面印有前19999个三角形数。这本书计算精细、准确而臻于完美。三角形数很简单,仅是前n个自然数之和:1,3(1+2),6(1+2+3),10(1+2+3+4),15,21,28,依此类推。从毕达哥拉斯开始的数论家们就对这些数很感兴趣。虽然它们并无多大的实际用途,但德容古还是兴奋地写出了他在编纂过程中获得的愉悦,这被深有同感的巴贝奇引用到了自己的书中:“数有诸多迷人之处,俗人的眼睛无法看见,只有那些可敬的、孜孜以求的艺术之子才能发现。在这般凝神注目中,甜美的喜悦会油然而生。”
早在印刷术出现之前,数表就已经是书业的一部分。在9世纪,巴格达的阿布·阿卜杜拉·穆罕默德·伊本·穆萨·花剌子密[他的名字因算法(algorithm)一词而流传至今]制定的三角函数表西传至欧洲,东传至中国,经由手工抄写,延续了数百年。而印刷术的发明使得数表大行其道,它们自然地成为了大规模生产原始数据的首个应用。为了满足人们的算术需求,乘法表的范围越来越大,先是10-1000 ,然后是10-10000 ,再然后是1000-1000。除此之外,还有平方表、立方表、平方根表以及倒数表等。一种早期的数表是星历表,它们为观星者列出了太阳、月亮和行星在特定时刻的位置。商人们也发现了数表的用途。1582年,西蒙·斯泰芬(Simon Stevin)编纂了《利息表》(Tafelen van Interest)一书,为银行家和放贷人提供了各种利息计算表。他还大力向“占星师、土地丈量师、挂毯或酒桶的测量师以及体积测量师,总而言之,也就是所有的造币厂厂长和商人” 推销他新的十进制运算法。他或许应该把航海者也加上。
当初在1504年,克里斯托弗·哥伦布最后一次起航前往东印度群岛时,他带了一本由雷吉奥蒙塔努斯(Regiomontanus)编纂、于古登堡发明活字印刷术二十多年后在纽伦堡印制的星历表,借此他准确预测了一次月食,从而赢得了土著居民的帮助,最终才得以德容古那本载有三角形数的书比上述这些书更为纯粹。任意一个三角形数都可以通过一个算法找出(或生成):将n与n1相乘,再除以2即可。所以德容古的数值汇编,虽然方便信息的存储和传输,但实质上可以简单归结为一个公式。运用这个公式,任何会做简单乘法的人(不过在当时这样的人并不多)都可以按照需要算得任何三角形数。
当然,德容古了解这一点,但他及其在海牙的出版商仍然觉得值得这样做。他们以金属活字印刷表格,每页排三列,每列列出三十个自然数及其对应的三角形数,从1(1)直到19,999(199,990,000)。排字工会将一个个数字从金属活字架里拣出来,在排字盘里排列好,然后楔入铁槽,最后置于印刷机上印出来。
那么目的何在?撇开执迷和热情的因素不谈,数表的编制者也意识到了其经济价值。不论有意与否,他们通过权衡临时计算数据与从书中查检数据的难易程度来衡量这些特殊数据的价值。预先计算加上数据存储再加上数据传输的成本,通常比临时计算的成本还要来得低。“计算员”(computer)的职业在那时就已经有了,他们都是具有特殊技能的人。因此总而言之,计算的成本高昂。
从1767年开始,英国政府的经度委员会要求每年出版一本《航海天文历》,其中将提供太阳、月亮、恒星、行星以及木星卫星的位置表。在之后近半个世纪里,这项工作是由一个计算员网络完成的,它包括了三十四位男性和一位女性(来自什罗普郡勒德洛镇的玛丽·爱德华兹)。他们都各自在家工作,每年为此可以拿到七十英镑。 在当时,计算还是一个家庭作坊式的行业。这项工作要求从业者具有一些数学感觉,但不需要特殊的数学天赋,因为计算的每一步都有明确的规则。为了以防万一计算员出错,同样的工作常常会要求不同的人各做一遍。(不过,有时候计算员也会被发现,为图省事而互相抄袭计算结果。)为了对各处的信息流加以统一管理,项目还雇了一位比对员比较两位计算员的结果并核对校样。计算员和比对员之间每隔几天就会通过邮递、步行或骑行传递一次讯息。
一项17世纪的发明进一步催化了数表事业的发展。这项发明本身也是一类数,被称为对数(logarithm)。它是一种用作工具的数。
亨利·布里格斯这样解释道:
对数是为了降低算术和几何问题的求解难度而发明出来的数。这个名字源自两个古希腊语单词,Logos(理性) 和Arithmos(数)。采用对数,就可以避免算术运算中所有麻烦的乘法和除法,而可以用加法来代替乘法,用减法来代替除法。
1614年,布里格斯当时是伦敦格雷欣学院的一名几何学教授,也是该学院的第一位几何学教授。该学院后来成为英国皇家学会的诞生地。在此之前,布里格斯已经编纂了两个数表:《已知磁偏角求天极高度表》和《辅助航海诸表》。这一年,在爱丁堡出版的一本书许诺“将数学计算中一直以来的困难一扫而光”。
在数学实践中没有什么(尤其对于亲爱的数学专业学生来说)比那些大数的乘法、除法、开平方和开立方更为恼人、给计算者造成更多麻烦和阻碍的了,它们不仅费时费力,一般而言还容易出错。
这本新书提出了一种方法,可以大大节省时间、减少错误,这就像是给一片黑暗的世界送去了一只手电筒。它的作者是一位富有的苏格兰人,名叫约翰·纳皮尔(其姓氏拼法不一,如Napier、Napper、Nepair、Naper或Neper)。他是莫奇斯顿城堡的第八代领主、神学家和著名的天文学家,还爱好数学。布里格斯读过该书后,不由变得迫不及待起来,他写道:“纳皮尔,莫奇斯顿的领主,已经让我的脑子和手都闲不下来了。如果允许的话,我希望今年夏天能见他一面,因为从来没有一本书能比他的书带给我更大的快乐以及更多的惊喜。”
他也的确进行了这次苏格兰朝圣之旅。按照他事后的记录,他们的第一次会面是以长达一刻钟的沉默开场的:“彼此以近乎崇拜的目光相互注视,一言不发。”
布里格斯首先回过神来,说道:“大人,我此番不远千里而来,只为见您一面。我想知道是怎样的才思或巧智才让您首先想到这一对天文学助益良多的贡献,也就是对数。大人,功劳要归于您,可我也感到奇怪,之前从来没有人发现它,毕竟一旦知道之后,它又是这么简单。”随后他在领主家里逗留和研习了数周时间。
若换用现代术语表述,所谓对数就是幂运算的指数。学生们都知道,若以10为底,100的对数是2,因为100=102。同样,1,000,000的对数是6,因为6是表达式1000000=106中的指数部分。要做两个数的乘法时,计算者只需分别查出它们的对数并相加即可。例如,100×1000000=102×106=10(2+6)
利用对数表查检出对数并相加,要比直接做乘法要容易。
不过,纳皮尔并不是以指数的方式表达他的思想,而是靠直觉对事物进行了把握:他从差和比之间关系的角度思考这个问题。如果一个数列具有公差,称为等差数列,比如0,1, 2, 3, 4, 5-;如果一个数列具有公比,就是等比数列,比如1, 2, 4, 6, 8,16, 32-。将这两个数列并排放置,0 1 2 3 4 5 … (以2为底的对数)
1 2 4 8 16 32 … (自然数)
这样得到的结果就是一张粗略的对数表——之所以说它是粗略的,是因为整数指数太过疏松。一张真正有用的对数表需要填充整数指数之间的空隙,并精确到许多小数位在纳皮尔的观念中,存在着一种类比:差之于比,就如同加法之于乘法。这样他的思考从一个维度跨越到了另一个维度,从空间关系跨越到了纯粹的数的关系。通过将这些刻度并排放置,他为计算者找到了一种将乘法转变为加法的实用方法——实质上,这是把一项困难的任务调低为更容易的任务。在某种意义上,这是一种翻译,或一种编码。计算者通过查检对数表,将自然数编码成了对数,而对数表就是码本。在这种新的语言中,计算变得容易了:加法代替了乘法,乘法则代替了求幂。计算完成以后,需要再把结果译回自然数的语言。
当然,纳皮尔当时不可能从编码的角度来考虑这个问题。
布里格斯修订、扩展了必要的数列,并出版了一本他自己的书《对数算术》,在其中给出了各种应用实例。除了对数表,他还给出了部分年份的太阳赤纬表、已知经纬度时计算两地距离的方法,以及一张标明赤纬、极距和赤经的星图。这些知识中,有一些是先前从未整理过的,还有一些是将口口相传的知识落到了纸上,这可以从那些并非十分正式的恒星名称中看出来:极点之星、仙女的腰带、鲸鱼肚、竖琴上的最亮点,以及大熊尾巴上最紧挨着它屁股的第一颗星,等等。 布里格斯还考虑到了金融应用,给出了利率的计算规则,以便计算未来收益或推算原始本金。在这里,对数这门新技术是一个转折点:“也可以注意到,在以前几乎没人知道,在利率为八分、九分或十分的前提下,一百英镑的钱每天的价值,或每年的价值。直到借助对数之后,它们才被弄清楚。倘若没有对数,它们需要经过大量辛苦的求根计算方能得出,而这种计算的痛苦要超出这种知识的价值。” 知识的价值与发现的成本,需要核算和权衡。
即便是这样激动人心的发现,也还是花了数年时间才为约翰内斯·开普勒所知晓。1627年,开普勒开始运用对数来整理第谷·布拉赫辛苦积累的数据,完善他的天体表。他在给一个朋友的信中写道:“某个苏格兰贵族最近崭露头角(名字我记不起来了),完成了一项出色的工作:把所有的乘法和除法运算转换成了加法和减法运算。” 开普勒的表比他的中世纪前辈要精确得多——大概要精确三十倍,正是这种精确性才使他有可能提出全新的日心说理论,即行星沿着椭圆轨道绕太阳运行。从那时起一直到电子计算机出现以前,人类大部分的计算都是借助对数进行的。 开普勒的一位老师对此颇不以为然:“对于一名数学教授来说,仅仅由于计算变得更容易了一些就显露出幼稚的满足是有失身份的。” 但为什么不呢?几个世纪来,不论是纳皮尔还是布里格斯,也不论是开普勒还是巴贝奇,他们都在计算中感受到了这种满足。他们制作列表,构建比值和比例之塔来充实对数表,并不断完善他们从一种数转换为另一种数的方法,而之后世界贸易的发展也验证了这种满足并非幼稚之举。
查尔斯·巴贝奇出生于1791年圣诞节后一天的节礼日。他的家乡位于泰晤士河南岸的瓦尔沃思(Walworth),尽管与伦敦桥的距离小孩也只需步行半小时,但它当时仍是一个村庄。他是个银行家的儿子,而他的祖父和曾祖都是金匠。巴贝奇童年时的伦敦,机器时代的痕迹已经无处不在。新一代的公共娱乐经营者已经开始在演出中用各种机械装置招揽生意,其中最具吸引力的是那些自动机械,如机械玩偶,它们匠心独具而精致入微,试图通过大大小小的齿轮去模仿生命。查尔斯·巴贝奇曾在母亲带领下参观过约翰·约瑟夫·梅兰(John Joseph Merlin)位于汉诺威广场的机械博物馆,里面摆满了林林总总的发条机械和音乐盒,而其中最有趣的是各种仿真生物。一只白银天鹅在暗藏的马达和凸轮驱动下,会弯下脖子,叼起一只金属鱼。而在发明家阁楼上的工作间里,查尔斯看到一对裸身的舞女,它们是按照真人的五分之一大小用白银打造的,其中一个会在台面上滑行和鞠躬。年迈的梅兰,也就是这对机械的创造者,说他已经在这对至爱的机械上倾注了多年心血,但仍旧还未完成。另一个小雕像尤其以它的(或者说她的)优雅和生动打动了查尔斯。他后来回忆道:“这位女士的仪态非常迷人,她的眼睛充满想象力,让人难以抗拒。” 说来凑巧,在他四十多岁时,他在一场拍卖上发现了梅兰的这个白银舞女,便以三十五英镑的价格拍下,拿回家中为她安装了一个底座,并为她穿上了专门定制的精美服装。
这个男孩也热爱数学,这种兴趣看起来似乎与机械艺术相去甚远。他一点一滴地自学,不放过任何自己能够找到的数学书。1810年,他进入了剑桥的三一学院,这是艾萨克·牛顿学习和工作过的地方,并且仍然是英国数学的重镇。不过,巴贝奇很快就感到失望了,因为他发现自己对于现有知识比导师懂得还多,而他所寻觅的深入知识在那里则找不到。于是他开始想方设法搜罗外国书籍,尤其是从拿破仑治下的法国。当时英法两国正在交战,但通过一个专业书商,他得到了拉格朗日的《解析函数论》以及“拉克洛瓦的杰作《微积分教程》”。
他的感觉是对的,当时剑桥的数学正停滞不前。一个世纪之前,牛顿是这所大学的第二位数学教授,这门学科的所有权威和声望都来自于他的遗产。而到了巴贝奇的年代,他的巨大影响力反而成为了英国数学挥之不去的阴影。最杰出的学生都在学习他巧妙而深奥的“流数”以及《原理》中的几何学证明。然而在牛顿以外的人手里,古老的几何学方法带来的只有挫败感,而他独特的微积分表述方式也并未给他的后辈带来多少益处,只是让他们越来越与世隔绝。一位19世纪的数学家对此评论道,英国的教授们“将任何创新的企图都视为对牛顿的严重冒犯”。 而学生们想要赶上现代数学的潮流,他们必须另寻别处,转向欧洲大陆,转向“解析”以及由牛顿的竞争者和死对头戈特弗里德·威廉·莱布尼茨发明的微分语言。当然在根本上,只有一种微积分。牛顿和莱布尼茨都清楚他们的工作极其相似,甚至到了足以让他们相互指责对方剽窃的程度。然而他们各自提出了互不兼容的符号系统,也就是不同的数学语言。而在实际工作中,这种表面上的差异会比实质上的共性更为紧要,毕竟符号和算子才是数学家们天天要面对的。与绝大多数学生不同的是,巴贝奇同时掌握了这两套系统(“牛顿的点,莱布尼茨的d” ),并感到学校的情况在一点点好转,虽然“使用一门新语言来思考和推理总是困难的”。
事实上,语言本身在巴贝奇看来是一个适宜的哲学研究主题,他也时不时地会被吸引过去。使用语言来思考语言,往往导致困境和悖论。因此,巴贝奇曾尝试过发明或构造一种通用语言,一种没有方言和瑕疵的符号系统。当然,他并不是头一个进行这种尝试的人。莱布尼 茨 本 人 就 曾 宣 称 他 已 经 接 近 完 成 一 种 通 用 表 意 文 字(characteristica universalis),它能够给予人类“一种新工具用以增强推理能力,其效果远大于任何一种光学仪器对于视力的助益”。 当哲学家们初次意识到世界上方言的多样性时,他们因而常会把语言看作一个漏洞百出的筛子,而不是传递真理的可靠容器。字词意义的混淆经常导致矛盾,语言中的歧义和不当隐喻肯定不是源于事物本身,而应是源于蹩脚的符号选择。要是能找到一种适当的思维技术,一种真正的哲学语言,那该有多好啊!巴贝奇认为,它所使用的符号需要经过精心选择,一定是要通用、易懂且永恒。经过一番系统工作后,他成功构造出了一种语法并准备开始编写词汇,但这时他处处受到了存储和取值问题的制约——“明显无法做到像在字典里那样,将符号以连续顺序排列,以方便在需要的时候查找单词的意义”。 尽管如此,他仍然认为语言是一种人类可以发明出来的东西。在理想情况下,语言应该加以理性化,成为可预测的和机械的,就如同齿轮必须啮合。
在还是一名本科生的时候,巴贝奇就树立了复兴英国数学的目标,为此他积极寻求建立一个倡导团体并准备作出改变。他与另外两位年轻有为的学生约翰·赫歇尔(John Herschel)和乔治·皮科克(George Peacock)一起创立了他们称为“解析社”的团体,“为d摇旗呐喊”而反对“点的异端”,或如巴贝奇所说,“大学的点统治”(他对这个“恶毒双关” 还不无得意)。 在他们努力将微积分从点统治下解放出来的战役中,巴贝奇痛心于“争执和民族怨恨的阴云一直以来笼罩着微分的起源问题”。即便它看上去是法国货,这也无关紧要。他宣称:“我们现在需要重新引进这个外国货,它在国外已经经过了近一个世纪的改进,并且我们需要将其再度改造,使之本土化,为我们所用。” 他们就像是一伙在牛顿地盘的心脏地带举旗反抗牛顿的起义者。他们在每周日礼拜后的早餐上碰头讨论。
“当然,我们遭到了导师们的冷嘲热讽,”巴贝奇回忆道,“并且暗地里有传言,说我们是帮离经叛道的年轻人,最终不会有什么好下场。”但他们的传道还是起到了作用:新方法自下而上传播了开来,学生们比他们的老师接受得更快。赫歇尔写道:“当试卷上开始出现许多不同寻常的答案时,每位剑桥的主考人都不由得双眉一挑,一半是出于愤怒,另一半则是出于欣赏。” 就这样,牛顿的点和流数逐渐淡出了舞台,被莱布尼茨的符号和语言所取代。
巴贝奇身边从来不缺能与之开怀畅饮或是打惠斯特牌赌每分六便士的伙伴。他与其中一群朋友搞了一个灵异俱乐部,专门搜寻超自然灵体存在与否的证据。他还与另一群朋友搞了一个名叫“提取者”的俱乐部,试图通过一套程序来判断成员是否精神健全。具体程序如下:
1.每位成员应每六个月将自己的住址通告给俱乐部秘书长;
2.如果这样的通告延迟超过十二个月以上,那么可以视作他的亲戚已经把他当作疯子关了起来;
3.俱乐部将不择手段,不论是合法的还是非法的,将他从疯人院里弄出来[“提取者”由此得名];
4.每个想要加入的候选人,必须提供六份证明,三份证明他精神健全,另外三份证明他精神异常。
但解析社是件正经事。巴贝奇、赫歇尔和皮科克等人对此态度严肃,言行一致,下决心要“尽其所能,在身后留下一个更美好的世界”。他们租了房间做场地,聚会时相互探讨论文,还发行了他们自己的“学报”。就在这些房间里,一次巴贝奇对着面前一张对数表昏昏欲睡。突然他的朋友叫醒他:“喂,巴贝奇,你都梦见什么啦?”
“我在想,这些表格或许可以用机器来计算。”他回答道。
无论如何,这就是巴贝奇在五十年后的说法。每项成功的发明都需要一个描述灵光闪现时刻的故事,而巴贝奇还准备了另一个。当时,他和赫歇尔一起正在为剑桥天文学会准备一份对数表手稿。这些对数在以前都已经计算过了,但对数这种东西总是会被计算、验算、比对和质疑。巴贝奇和赫歇尔在验算对数表时,毫不奇怪,他们会感觉到这项工作枯燥乏味。“我希望,这些计算要是能由蒸汽完成该多好啊。”巴贝奇吼道。而赫歇尔则简单地回答说:“这完全可能。”
蒸汽,是当时一切发动机的驱动力,是工业得以运行的条件。短短几十年间,这个词就成了动力、力量以及一切蓬勃、现代的事物的代名词。在此之前,水力和风力驱动着磨坊,其他大部分工作则还是要依靠人力、马力或畜力来完成。而经由煤炭加热产生的热蒸汽,在能工巧匠的控制下,有着更强的便携性和灵活性。蒸汽在各个场合都取代了筋肉。它成了一个口号,新潮的人们口中不时会蹦出如“打开蒸汽”(意为“开始工作”)、“增加蒸汽”(意为“变得强大”)或“释放蒸汽”(意为“释放能量或情绪”)的说法。政治家和小说家本杰明·迪斯累里(Benjamin Disraeli)在说“您的道德能量(stream)可以改变世界”时,他是以“能量”作为“蒸汽”的比喻义。的确,蒸汽是当时人类已知的最强大的能量传递介质。
但即便如此,巴贝奇会想到要把将这种强大的力量应用到一种了无重量的领域,将蒸汽应用到思考和算术上,仍是件奇怪的事情。这时,数就是原料,之后支架滑行、齿轮转动,大脑的工作就这样完成了。
并且这个过程应当是自动化的,巴贝奇进一步宣称道。那么称一台机器是“自动化的”是什么意思呢?对他而言,这不仅是一种语义上的区分,也是一条判断机器有用性的原则。当时已有的计算设备可以分成两类:第一类要求人的干预,第二类才是真正地自行运作。为了判断一台机器是否够得上自动化的标准,他需要问一个问题(如果当时已经有了输入和输出这两个词的话,这个问题恐怕可以简单很多):“当需要进行运算的数被置入设备后,它是否可以仅依靠弹簧的运动、下坠的重物或任何其他常力的驱动就得出结果?” 这是一个超前的标准,它剔除了到那时为止几乎所有存在过或设想过的算术运算工具,而这样的工具自有史以来已经出现过很多。往口袋里放小石头、在绳子上打结以及在木头或骨头上刻痕都曾被用来辅助短期记忆,而算盘和计算尺则是利用更复杂的硬件来进行抽象计算。直到17世纪,一些数学家才构想出第一批真正称得上机器的计算设备,它们可以用来做加法,并通过重复做加法来实现乘法。布莱兹·帕斯卡在1642年制造出了一台加法机,它由一排转轮构成,每个转轮代表一个十进制数位。将近三十年后,莱布尼茨改进了帕斯卡的机器。他发明了一种带有突齿的圆柱形转轮,借此来完成从一个数位到另一个数位的“进位”。 不过在本质上,帕斯卡和莱布尼茨的原型机仍然更接近于算盘,一种反映存储状态的被动型寄存器,而不是一种活动机器。在巴贝奇看来,它们都称不上是自动化的。
巴贝奇从来没有打算用某种设备来完成一个一次性的计算,不论这个计算有多困难,毕竟机器的拿手好戏是重复,而重复对人而言无疑是“极其辛苦且单调乏味”。 他预见到,对于计算的需求会随着商业、工业和科学的繁荣而增长。“我敢大胆预言,总有一天,不断积累的数学方程算术运算工作,作为一种持续的制约力量,将最终妨碍到科学的有益发展,除非这种方法或其他类似方法能够将人们从数学计算的沉重负担中解放出来。”
在信息贫乏的世界里,数表是罕见之物,因而只有过了一两个世纪之后,人们才有可能系统地收集到不同的印刷数表,并进行对照检查。结果他们在其中发现了一些意想不到的瑕疵。例如迈克尔·泰勒(Michael Taylor)编纂的《对数表》,其1792年在伦敦印刷的标准四开本中就被发现包含十九个要么一位、要么两位数字的错误。这些错误都在《航海天文历》中一一进行了更正,因为海军部清楚地知道,每一个错误都可能导致船毁人亡。
不幸的是,在这十九处勘误中,有一处更改被证明改错了。所以次年的《航海天文历》新增了“勘误的勘误”,但这时又引入了一个新的错误。于是正如《爱丁堡评论》所说,“混乱雪上加霜”,次年的《航海天文历》不得不再放入一条“对泰勒的《对数表》的勘误的勘误的勘误”。
不同的错误各有其具体原因。1824年,爱尔兰成立了自己的地形测量局,准备以史无前例的精度对国土进行测绘。这时一件紧要的事情是为这支由工兵和矿工组成的测量员队伍准备二百五十套对数表,这些表要求相对便于携带且精度要达到小数点后七位。 测量局比照了过去两百年在伦敦出版的十三份对数表,还有其他来自如法国的巴黎和阿维尼翁、德国的柏林和莱比锡、荷兰的豪达、意大利的佛罗伦萨以及中国的表。他们发现有六个错误在几乎每一张表中都有,并且是一模一样的六个错误。结论不言而喻:这些表里的数据相互抄袭,至少部分如此。
有些错误来源于进位时的错误,还有些则源于数字倒置——有时是计算员写错了,有时则是印刷工排错了,他们很容易把上下行中的数字给排错。人类大脑是多么神秘而不可靠啊!一位评论家不禁感慨。所有这些错误“可以成为有趣的话题,以供对记忆的运行机理进行玄学思考”。 他认识到,计算员手工计算的方式已经没有前途:“唯有通过机械生成的数表,才能使此类错误无处容身。”
巴贝奇的改进办法是将机械原理和数学相结合。他从前后项相减的差分运算中看到了潜力。“有限差分方法”已经经过了数学家(尤其是法国数学家)的近百年研究。它的威力在于能将高阶计算简化为单纯的加法,而且很容易程序化。对于巴贝奇来说,有限差分方法是自己首个设想的核心原理,因此他将源自这个设想的机器命名为差分机。
对此,巴贝奇举了一个三角形数表的例子(时过境迁,他多次感到有必要向公众宣传和解释一下自己的设想)。如同很多重要数列一样,三角形数数列就像一架梯子,从地面出发,越登越高。
1,3,6,10,15,21...
想象有一个小孩将一组组弹珠放置在沙地上,每组摆成如下的样子:
假设这个小孩想知道“第十三组或是任何其他远距离的一组包含多少个弹珠”。(这是个与巴贝奇很相像的小孩。)“他也许会向爸爸寻求答案,但我很担心爸爸会给他泼冷水,告诉他这样的问题毫无意义,因为没有人能知道那个数量是多少,诸如此类。”(显然爸爸不知道哲学教授埃利·德容古在海牙发表过一份三角形数表。)“如果爸爸无法告诉他,那么让这孩子再向妈妈求助,她一定会想方设法满足自己心肝宝贝的好奇心。” 对此,巴贝奇使用了一张差分表来解答这个问题。第一栏包含所讨论的数列,后面各栏是多次后项减前项而得到的结果,直到得到一个常数——最后一栏仅包含同一个数字。
任何多项式函数都可以通过差分法来降阶,并且所有良态(well-behaved)函数,包括对数函数,都可以以这种方法来有效逼近。更高次数的方程需要用到更高阶的差分。巴贝奇还举了一个要求三阶差分的几何例子:将炮弹堆成三角锥体,即将三角形数扩展到三维空间。
差分机则会逆向执行这个过程,即不是反复做减法以求出差分,而是通过级联的加法以生成一系列数。为了做到这一点,巴贝奇设想了一套由数轮构成的系统。数轮上面标记了从0到9的数字,众多数轮安置在一根轮轴上,分别代表一个数的十进制数位:个位、十位、百位,依此类推。数盘有齿,相邻两根轮轴上的数轮通过之间的扇形齿轮相互关联,实现两个数的加法运算。当整部机械运行起来,数轮带动数轮时,信息一点点地得到传递,数也沿着各轮轴渐次累加起来。
当然,当任何一个和超过9的时候,就需要解决进位的机械难题。为此,巴贝奇在每个数轮的9和0两个数字之间设计了一个突齿。到时这个突齿会推动一根连杆,连杆则会将运动传递给位于上方的一个数轮。
这时计算机械史上一个崭新的主题出现了,那就是想方设法缩短计算时间。巴贝奇知道,他的机器要做到比人脑计算得快,并且是尽可能地快。他曾有过一个并行处理的想法:安置在一根轮轴上的数轮同时进行加法运算。“若是可以实现这一点,”他说,“那么在做加减法的时候,不管数有十位、二十位、五十位还是多少位,算起来都与只有一位时一样快。” 然而,他也清楚其中的问题所在。由于存在进位,各个数位上的加法运算不可能是相互独立的。满十进一,进位可能会逐次影响整组数轮。当然,如果预先知道哪里会出现进位,那么加法仍可以并行处理。但是这种知识无法及时获知。他写道:“很不幸,在很多种情况下,相应的进位只有在经过前后相继的数段时间后才能获知。”假定数轮转动一下耗时一秒,他算了所需的时间:两个五十位数相加,这个运算本身最多只需耗费九秒,但为了处理进位,在最糟情况下,需要额外的五十秒。这可真不是个好消息。“设计了众多装置,图纸画了不计其数,目的就是为了节约时间。”巴贝奇不无悲伤地写道。到了1820年,他最终确定了一套设计方案。接下来他弄了一套车床,自己操作,还雇了数位金属铸件工。
两年后,他向皇家学会展示了一台闪闪发光、样式新潮的小型演示模型。
巴贝奇居住在伦敦,离摄政公园不远,过着类似某种绅士哲学家的生活,发表发表数学论文,偶尔对公众做做天文学方面的演讲。他娶了一位来自什罗普郡的年轻富有的女士,乔治亚娜·惠特莫尔(Georgiana Whitmore),她是八姐妹中最小的一个。除了妻子的钱之外,他主要靠自己父亲每年给的三百英镑津贴度日。对于自己的父亲,他不无怨恨,认为他专断、吝啬,并且最重要的是思想闭塞。他在给朋友赫歇尔的信中写道:“可以不夸张地说,老头子对于自己听见的一概不信,对于自己看见的也半信半疑。” 在他父亲1827年过世后,他继承了一笔十万英镑的遗产。他曾短暂做过一名保险精算师,为新成立的守护者人寿保险公司制作预期寿命表。他还曾试图在大学谋求教职,但一直未能如愿。尽管如此,他的社交生活日渐活跃,在学术圈里也开始小有名气。在赫歇尔的帮助下,他被选为了英国皇家学会会员。
有时甚至失败也会给他增添声誉。大卫·布儒斯特曾代表《爱丁堡科学期刊》给他写过一封堪称经典的退稿信:“怀着并非万分不情愿的心情,我将你所有的论文来稿统统退还。不过,我想,你只要重新审视一下那些论文的主题,大概也会同意我别无选择。这些你为数学与玄学随笔栏目提议的主题实在太过深奥,恐怕本刊订阅者中没有一个人能看得懂。” 为了宣传自己即将做出的新发明,巴贝奇开始到处演示,四下写信。到了1823年,英国财政部和财政大臣终于也开始对这个发明产生了兴趣。他曾承诺“对数表将如同马铃薯一样便宜”, 这样的诱惑他们如何能抵挡?对数可是能够挽救船只的。就这样,财政部的首脑批准了第一笔一千五百英镑的拨款。
作为一种抽象设想,差分机引发了极大的热情,人们等不及见到机器实际成形就对此兴奋不已。思想的种子此次落在了肥沃的土壤中。一位技术通俗讲师迪奥尼修斯·拉德纳,以巴贝奇为主题进行了一系列公开演讲,称颂他的“提议将算术简化至可以纳入机械领域,即利用自动化机器来替代排字工,并将思想的力量注了齿轮机械”。
他还相信差分机“一旦完工,必将会产生重要影响,不仅会影响到科学的发展,甚至会影响到文明的进程”。它将是一台理性的机器,是机械与思想的结合。它的仰慕者有时会感到这种结合难以解释清楚。亨利·科尔布鲁克在对皇家天文学会的发言中说道,“或者是问题适应机器,或者是机器适应问题”,但无论是哪种方式,“简单通过让机器运行起来,解法就会被执行,而一连串答案也会随之出现”。
但是差分机在黄铜和铸铁的世界里进展缓慢。巴贝奇将自己伦敦住所后院的车马房改造成了熔制和铸造车间,把马厩改造成了耐火的工作间。他还找到了制图员和发明家约瑟夫·克莱门特(JosephClement)合作。克莱门特自学成才,从乡下织布工子弟凭自身努力而成为英国顶尖的机械工程师。巴贝奇和克莱门特都意识到,他们需要制造新的工具。根据设计,在巨大的铁制框架当中的是要求最复杂、最精确的零件——轮轴、齿轮、弹簧和销子,以及最最重要的数轮,先是成百个,后来进而到了上千个。对此,手工工具根本无法生产出精度符合要求的部件。于是巴贝奇在建立一个制造数表的工厂之前,必须先建立生产部件的新工厂。同时其他环节也需要加以标准化:作为基础部件,可替换的螺丝须有相同的螺纹圈数和螺距。就这样,克莱门特及其学徒开动车床,开始了制造。
随着难度的增加,巴贝奇的雄心也在高涨。动工十年后,巴贝奇的机器只有0.61米高,有六根轮轴、数十个数轮,可以进行六位数的运算。但再过十年后,机器的规模(虽然只是在图纸上)已经达到4.53立方米,重15吨,有25,000个零件,而图纸平铺开来能覆盖超过37平方米的面积。其中的复杂程度更是令人眼花缭乱。为了解决多个数位同时相加的难题,巴贝奇将“加法动作”与“进位动作”相分离,从而错开了进位的时机。首先,偶数轴上的数字先加到奇数轴上。如果出现进位,奇数轴旁边侦测进位的连杆会被弹开。加法动作结束后,奇数轴旁边控制进位的装置会被提起至上方数轮的高度,执行进位动作。然后奇数轴上的数字会被加到偶数轴上,并执行进位。
两个阶段的进位动作,机器都需要知道哪里需要进位,而这个信息是借助连杆的状态来判断的。破天荒头一回,一台设备被赋予了记忆功能。“这实际上就像是机器所做的备忘。”迪奥尼修斯·拉德纳这样写道。而巴贝奇虽然也意识到自己以下的说法有点将机器拟人化,但他还是忍不住说:“我所采用的用于进位的机械手法,与人类记忆的运作方式有些微相似之处。”
如果使用普通的语言,即便仅仅是描述基础的加法运算过程,也需要大量极为炫目的名称来命名金属零件、解释它们的相互作用,以及梳理它们由于复杂的相互依赖关系而形成的一长串因果链。这其中,拉德纳对于“进位动作”的解释无疑让人印象深刻。 单是这一个单独的操作就要涉及数轮、指示指针、指突、轮轴、扳机、槽口、钩状物、棘爪、弹簧、齿槽以及棘轮等众多部件和位置。
当B2数轮上9和0之间的界线越过指示指针时,该数轮轮轴上的一个指突就会触碰到钩状物槽口处的扳机,将其弹开。而这个钩状物正是控制着前面提到的棘爪保持不动,因而一旦钩状物被弹开,棘爪在弹簧作用下向后退,并落入棘轮的下一个齿槽当中。
又写了几百字以后,作为小结,拉德纳采用了流体力学的隐喻:机器运行时,有两股机械动作的波持续不断地自下向上流走,也有两股类似的流持续不断地从右往左游动。在加法动作时,从最底下也就是代表最末的差分的那一行起,波峰每隔一行落在奇数轴上;与此同时,偶数轴上的波峰则落在相邻的一行上。在进位动作时,第一股进位的流从最顶上一行起,每隔一行,沿着奇数轴从右往左游动;而在下一个阶段,另一股流会沿着相邻的偶数轴从右往左游动。
这是一种将具体细节加以抽象的办法,然而这些具体细节实在是太复杂了,最终拉德纳也不得不举手投降。他写道:“机器的神奇之处还更多地体现在细节之中……在这里,我们不抱任何希望,说可以把它们完全呈现出来。”
另一方面,普通制图员的图纸也不足以把这部机器描述清楚,毕竟它不只是一台机器。它是一个动力系统,许多部件具有多种模式或状态,或静止或运动,其影响会通过错综复杂的途径传播出去。那么到底有没有可能在图纸上把它描述清楚呢?为此,巴贝奇专门设计了一种新的形式工具,用他的话来说就是“机械记法”。这是一种符号语言,它不仅要再现机器的物理形态,还要再现其更难以把握的属性:时序和逻辑。这可是一番了不得的雄心,巴贝奇自己也颇为自得。1826年,在《论一种利用符号表示机械动作的方法》一文中,他自豪地向皇家学会报告了自己的成果。 这种方法部分借助了分类。
他分析了运动或能量通过系统进行“传播”的不同方式,而这些方式是多种多样的。一个部件可以简单通过直接连接到另一个部件上而受到影响,“比如固定在转轮上的钉子,或在同一根轴上的转轮和副齿轮”,它也可以通过“强烈的摩擦力”而连接到另一个部件并受到影响。一个部件可能被另一个部件持续不断地驱动,“就像转轮被副齿轮驱动的那样”,也可能被间断地驱动,“就比如转轴转一圈才将螺栓抬起一次的情况”。在这里出现了逻辑分支的景象:由于机器某些部分的状态不同,传播的路径也会发生变化。巴贝奇的机械记法是他在数学分析符号记法方面的研究的自然延伸。正如数学一样,机械也需要严密清晰的过程。他写道:“日常语言的形式实在太过冗赘而难当此任。而符号,如果选择得当、应用广泛的话,将会以一种通用语言的姿态出现。”对于巴贝奇来说,语言从来都不是细枝末节的问题。
1828年,巴贝奇最终赢得了一个大学教职,而且还是剑桥大学备受尊敬的卢卡斯数学教授教席。过去牛顿曾担任该教席。与在牛顿的时代一样,巴贝奇的工作并不繁重。他不必带学生、上课,甚至不必住在剑桥。这对巴贝奇来说,可谓正中下怀,因为他也正日渐成为英国社交圈里的红人。在位于伦敦多塞特街一号的家中,他在周六定期举办聚会,吸引了一批社会名流。其中既有政客、艺术家、贵族,也有当时最杰出的一批英国科学家,如查尔斯·达尔文、迈克尔·法拉第以及地质学家查尔斯·赖尔等。 让来宾们惊叹的不只有巴贝奇的计算机器,还有摆放在机器附近的那个会跳舞的自动机械。(在邀请函中,巴贝奇曾这样写过:“敬请惠顾‘白银女士',届时她将以新服饰亮相。”)他善于讲各种与数学相关的奇闻轶事(考虑到这是在社交聚会上,数学与故事倒也并不矛盾)。赖尔对此赞许有加,说巴贝奇“能以高等数学来开玩笑、做推理”。他曾发表过一篇被频繁引用的论文,在其中他用概率论来研究神学里的奇迹问题。他还写过信给丁尼生,半开玩笑地建议诗人修改他的一个对句“每分钟都有一个人去世/每分钟也有一个人降生”。
几乎不用我说也很清楚,这样的算法将使世界的总人口数永远保持不变。而众所周知的事实是,这个总数在不断增长。
因此,我斗胆建议,在您的大作出版新版本时,将我刚才提及的这一错误计算作如下改正:“每分钟都有一个人去世/每分钟也有一又十六分之一个人降生。”顺便提及,精确的数值是1.167,不过,当然,有些东西还是要向诗律作些妥协。
巴贝奇对于自己的名声也感到好奇,为此还做了一本剪报簿。按一位友人的说法,他“将各种赞赏和反对的声音并排排成两列,从中进行某种权衡比较,还得出了一些极为有趣的结论”。 这位友人也为巴贝奇遭人误解而鸣不平:“后来我反复听到有人说,他整天沉迷于人们对他的评价当中,时而沾沾自喜,时而愤愤不平。”
然而,作为他名声主要来源的差分机,工作进展却变得举步维艰。1832年,他和克莱门特造出了可供演示的试验部分。当巴贝奇在他的聚会上向来宾们展示它时,他们有的感到神奇,有的则仅仅感觉费解。尽管仅是实现了设想的一小部分,但从现在陈列在伦敦科学博物馆的实物可以看出,差分机是在当时技术条件下精密工程所能达到的极致。无论是合金的成分构成、尺寸的精确程度,还是零件的可替换性,这部究竟未能完成的机器的已实现部分在当时都是无与伦比的。尽管如此,这个实验品毕竟仅能成为一件异乎寻常的赏玩之物。
而这也是巴贝奇所能达到的极致了。
在此之后,巴贝奇和克莱门特陷入了争执。克莱门特向巴贝奇和财政部伸手要钱越来越多,引起政府怀疑其中是否有人试图借机牟取暴利。他还藏匿起机器部件和图纸,并为了控制工作间里的专用设备而争执不休。英国政府在耗费了超过十年时间和一万七千英镑以后,最终对巴贝奇失去了信任,而巴贝奇对政府也同样心灰意冷。在与大臣和部长们打交道时,巴贝奇有时会显得立场顽固而态度不恭。他对于英国人看待技术发明的态度也不无不满:“如果你对他说,有一台机器能削土豆,他会宣称这不可能;而如果你当面用机器削给他看,他又会宣称这玩意儿没用,因为它不能切菠萝。” 他们变得不再能把握重点之所在,总是挑发明的缺陷和不足,却忽视了其可能的用途。
“我们要怎么做才能摆脱巴贝奇先生和他的计算机器?”当时的英国首相罗伯特·皮尔(Robert Peel)在1842年8月写信给他的一位顾问咨询道,“可以肯定,就算得以完成,它对于科学也毫无价值……在我看来,它只是个非常昂贵的玩具。”而他也很容易在公职人员中找到对巴贝奇的不利之辞。其中最致命的抨击恐怕来自皇家天文学家乔治·比德尔·艾里(George Biddell Airy),这位思想僵化只认死理的人毫不含糊地说出了皮尔首相最想听到的话:“对于机器的有用性,我觉得他很可能是在白日做梦。” 就这样,皮尔的政府中止了这个项目。然而,巴贝奇的梦想却并未终止,并且早已转变方向,上升到了一个全新的高度。另外,他也已经结识了爱达·拜伦。
在伦敦劳瑟拱廊市集北端的河岸街上,坐落着由美国发明家雅各布·珀金斯(Jacob Perkins)创办的国家应用科学展馆。这是一个“寓教于乐”的地方,结合了玩具店和技术展览,前来参观的人络绎不绝。只需花一先令的门票钱,参观者就可以摸到活的电鳗,听到有关最新科学的讲座,还可以看到一艘蒸汽船模型在二十多米长的水槽里来回巡游,以及珀金斯蒸汽机关枪突突地射出子弹。如果还肯破费一个几尼(二十一先令)的话,参观者或可以坐下来拍摄一张达盖尔银版法相片,在“不到一秒钟”的时间内,自己的肖像就被忠实地记录了下来; 或可以观看织布工演示自动化的雅卡尔提花机,布匹的图案事先编码成纸板上的孔洞,机器再据此持续不断地织出图案。
对于后者,年轻的奥古斯塔·爱达·拜伦曾亲眼目睹。
爱达是“爱的结晶,——尽管她生于苦难,长于动乱”, 她的父亲这样写道。的确,她的父亲是位诗人。1816年1月,时年二十三岁、聪慧、富有且对数学了解颇多的安妮·伊莎贝拉·米尔班克在经过一年的婚姻后,最终带着未满月的爱达离开了时年二十七岁、早已闻名遐迩的拜伦。之后,拜伦离开了英国,终生再未能与他的女儿相见。爱达的母亲在她小时候一直拒绝向她透露她的父亲是谁,直到她八岁那年,拜伦在希腊病逝、引起国内外震惊时才说出她的身世。事实上,诗人一直渴望知道他女儿的任何消息:“等她长到这么大,我才意识到原来自己对她一往情深,也对她的未来有种种设想,只不过即便我现在说出来,恐怕人们也不会相信。因此,我最好还是自己收藏在心……这个女孩有想象力吗?” 是的,爱达想象力非常丰富。
爱达是个神童,在数学方面天资聪慧,并受到了家庭教师的鼓励。她在绘画和音乐方面也有天赋,极具创造力,但在内心也极为孤独。在十二岁时,她开始着手发明一种飞行工具。她写信给母亲说,“明天我就要开始准备我的纸翼了”,“为使飞行的艺术臻于完美,我在考虑写一本叫《飞行学》的书,里面要插很多很多图”。
甚至有一段时间,她写信时的落款都是“非常爱您的信鸽”。她还请求母亲帮她找一本鸟类解剖图解的书,因为她不愿意“自己去解剖,哪怕只是一只小鸟”。甚至对于自己的日常状况,她也分析得条分缕析。
斯坦普小姐告诉我,她现在对我不是十分满意,原因是昨天我在一件简单的事上采取了一些愚蠢的举动,她说这些举动不仅愚蠢,而且还说明我当时精神不集中;而今天虽然到目前为止她总体上并无理由对我感到不满,但她说她还无法直接将昨天的记忆一笔勾销。
她在母亲的严密约束下一天天长大。她从小体弱多病,曾患过一场严重的麻疹,还有着神经衰弱或歇斯底里的症状。(她写道:“我虚弱的时候,总是会不明原由地感到恐慌,不由自主地表现出激动的神情和举止。” )在家里的一间房间里,她父亲的肖像被绿色的打褶织物遮盖了起来。直到二十岁生日时,她才被允许首次看到父亲的肖像。在十七岁时,她对自己的家庭教师暗生情愫,甚至多次偷偷与他在房间和花园幽会调情,极尽亲密,但据她自己说,并无实质性的“接触”。事情败露后,她的母亲极力把事情掩盖了下来,但这位老师立即被辞退了。在这一年春天,爱达身着盛装参加了一年一度在王宫举办的青年女子进入社交界的处子秀。在舞会上,她拜见了国王和王后以及各位高官显贵,其中包括资深的法国外交官塔列朗(Talleyrand),她称塔列朗为“老猢狲”。
一个月后,她见到了查尔斯·巴贝奇。当时,她和母亲一起前往巴贝奇的沙龙,参观拜伦夫人称为“思考机器”的差分机试验品。巴贝奇看到的是一位光彩照人又从容得体的年轻女士,有着精致娇好的面容和如雷贯耳的姓氏,她展示出的数学功底甚至比大部分大学毕业的男性都要深厚。而她看到的则是一位引人注目的四十一岁男性,他轮廓分明的脸上挂着一对威严的眉毛,浑身散发着机智和魅力,却不显得轻佻。对于爱达来说,他看上去是位梦想家,而这正是她所欣赏的。她也十分欣赏那台机器。一位当时在场者写道:“其他来宾在看这件精美仪器时的表情,我敢说就与大家传说的野蛮人第一次见到镜子或听到枪声时的表情差不多。而拜伦小姐尽管年纪轻轻,却懂得它的运行原理,并能看出这项发明的美妙之处。” 她对于数学之美和抽象的热情,尽管过去在历任家庭教师那里得到了零星的满足,在这时变得更加不可抑制。然而,她的热情却无处释放。在当时的英国,女子既不能上大学接受高等教育,也不能加入科学学会(只有植物学和园艺学两门学科例外)。
爱达后来成了她母亲一个朋友的年幼女儿们的家庭教师。在写信给学生时,她曾落款“爱你的、无法自证其说的女教师”。她独自研究欧几里得,各种数学形式在她的脑中生根发芽。她在给另一位家庭教师的信中写道:“我不能说自己掌握了一个命题,除非我能在眼前想象出一幅图,并能在不借助任何书籍或提示的情况下,将整个建构和证明过程仔细梳理一番。” 同样,她也无法忘记巴贝奇及他那台“所有机械当中的珍宝”。 在给另一位朋友的信中,她表露了自己“对于那台机器的巨大渴望”。时不时地,她会将目光转向思维深处,喜欢想象自己在思考时的情景。
巴贝奇的目光则远远超越了他陈列出来的那台机器。他正在计划建造一台新的机器,仍然是计算机器,却完全属于不同种类。他将这台新机器称为分析机。这样做的动力源自他对于差分机局限性的清晰认识:仅仅通过相加差分,并不能计算出每一种数,或解决每一个数学问题。而启发他灵感的正是在河岸街展出的雅卡尔提花机,这台机器通过编码并存储在打孔卡片上的指令进行控制。
引发巴贝奇想象的不是布匹的纺织过程,而是将布匹的图案从一种媒介转换到另一种媒介的编码过程。图案最终会出现在布匹上,但在此之前首先要被“送到一位专门的能工巧匠那里”。根据巴贝奇的说法,这位专家会以一定方式在一套纸板上打好孔,这样当它们被置入雅卡尔提花机时,机器就会精确地按照这位能工巧匠所设计的图案进行纺织。
巴贝奇认为,将信息从其物理载体当中抽象出来,这个概念需要加以强调。他解释道,举例来说,织布工到时或许会选择不同的丝线或颜色,“但无论如何,图案的形式将始终保持不变”。而随着巴贝奇开始构思他的新机器,这一抽象过程的程度也变得越来越高。他想让凸轮和转轮不仅可以处理数,还可以处理代表数的变量。变量的值将由先前计算的结果来决定,而运算过程本身,比如加法和乘法,也将是可选择的,取决于先前计算的结果。按照巴贝奇的设想,这些抽象信息将被存储在卡片上:一组变量卡片和一组运算卡片。他将机器想象为按照预先设置的规则进行计算,而卡片则是用来传递这些规则。由于缺乏现成的词汇,他常常感到对于基础性概念的表述非常笨拙。比如,在一个分析性探索的过程中,有时在面对两个或更多不同的路径,尤其是要在其中选择合适的路径时,机器需要作出判断。在很多情况下,这种判断只有在先前部分的所有可能都已经仔细检查之后才可以作出。
话虽然别扭,不过他还是表达清楚了一件事,那就是信息(它代表数和运算过程)会在机械中流动。它会在某些特殊的实体位置之间来回传递,巴贝奇将这样的实体位置命名为“仓库”(store),表示存储;以及“工厂”(mill),表示操作。
在进行所有这些工作的过程中,巴贝奇现在有了一位智力上的同伴,这就是爱达,先是作为助手,而后则成了其灵感来源。十九岁时,爱达嫁给了一位通情达理且前途无量的贵族,威廉·金(WilliamKing)。他比她年长十岁,并受到了她母亲的青睐。婚后几年内,金就被授予了爵位,成为洛夫莱斯伯爵,而爱达也就成了伯爵夫人,并生了三个孩子。平时,她管理着他们在萨里郡和伦敦的住所,并每天要花好几小时练习竖琴(“我现在成了竖琴的奴隶,而监工也不好说话” );她还要参加舞会、觐见新登基的维多利亚女王,并难为情地坐下来让别人给她画肖像画(“我看出来了,[艺术家]是下定决心要把我的阔下巴整个画出来。既然如此,我倒觉得在上面应该写下‘数学'两字”)。她时常情绪低落,疾病缠身,甚至罹患过一次霍乱。然而,她的兴趣和举止毕竟使她与众不同。有天早上,她身着素装,乘坐四轮马车独自出门,前往埃克塞特会所参观爱德华·戴维(Edward Davy)的“电报”模型。后来在给母亲的信中,她这样写道:
当时仅有的另一个参观者是位中年绅士,他的举止就好像我是个展品似的,这当然在我看来是极为无礼和不可原谅的。
——我敢肯定,他是把我当成一名年轻的(并且我猜在他看来还相当俊俏的)家庭女教师……他等着我走出会所,并跟了上来。——我努力让自己看起来尽可能像个贵族,像个伯爵夫人……我必须使劲让自己看起来比外貌大那么几岁……我希望每天都出去看点什么,而我也相信伦敦总有看不完的东西。
洛夫莱斯夫人崇拜自己的丈夫,但在精神生活方面她也给巴贝奇保留了相当的空间。她梦想着,借助巴贝奇的天才,她可以成为原本不可能成为的人,实现原本不可能实现的东西。“我的学习方式异于常人,”她在写给他的信中说,“因此我觉得只有一个异于常人的人才能教会我。” 她的苦闷和绝望与日俱增,但她对于自己未曾施展的能力一直有着坚定的信心。她在几个月后的一封信中写道:“我希望你能记住我,我是指我对于数学的兴趣。你知道,这是对我莫大的帮助。——帮助之大恐怕我们都无法估量……”
你知道,我生来就有点哲学家的气质,并且天生是个非常卓越的思考者。——因此,当我望向不可预知的前景时,即便我只能见到眼前弥漫的朦胧的不确定性,我也会幻想,我看到了不远处有亮光指引着前行的道路,这让我对于眼前的迷雾和模糊就不那么在意了。——我会是太过异想天开而于你无益吗?我以为不是。
数学家兼逻辑学家奥古斯塔斯·德摩根,是巴贝奇和拜伦夫人的友人,他成了爱达的函授教师。他给她寄去习题,而她则提出了疑问、思考和困惑(“我希望加快进度”;“我很遗憾,我弄不明白收敛开始时的那一项”;“附上我对此的证明”;“函数方程彻底让我迷失了方向”;“我努力使自己惯于思考玄学问题的头脑保持井然有序”)。尽管她天真幼稚,或恰因为这一点,德摩根从她身上察觉到了一种“异乎一般初学者(无论男女)的思考能力”。她迅速掌握了三角学以及微积分。德摩根私下里告诉她母亲说,假如他在某个剑桥学生身上发现了“这般能力”,他会期待这个学生成为“一名原创性的数学研究者,或许还可能是一流的”。 她有着打破沙锅问到底的劲头,而当她感到遇到困难时,那会是真正的困难所在。
某年冬天,她迷上了一种当时流行的智力游戏,叫作单人跳棋(Solitaire)。在一块有三十三个洞的棋盘上摆放三十二枚棋子,其规则很简单:任何一枚棋子都可以跳过与之紧邻的棋子,被跳过的那枚棋子会从棋盘上移除,直到无子可跳为止。游戏的目标是到最后只留下一枚棋子。“人们可能会试几千次,但一次都成功不了。”她在给巴贝奇的信中兴奋地写道。
但通过尝试和观察,我已经能解决它了,并且在任何时候都能做到。但我想知道这个问题能否纳入一个数学公式当中,并用这种方式来解决……一定存在一种确定的原理,我设想它具有某些数字和几何属性,它是解法的基础,并可以用符号语言描述。
为游戏寻求一种形式化的解法,这种想法本身就是原创性的。而通过创建一种符号语言,来对解法加以编码,这正是巴贝奇的思路,她对此并不陌生。
她也曾反思过自己不断增强的思考能力。她认为,它们并非严格都是数学能力。事实上,她只是把数学看作一个更广阔的想象世界的一部分。数学变换让她联想到“人们读到过的某种精灵和仙女,它们刚才以一种形状近在咫尺,下一刻就变成了非常陌生的另一种形式;数学的精灵和仙女有时会出奇地富有欺骗性、令人烦恼却又撩人心弦;它们就如同我在小说世界里发现的那类精灵和仙女”。 想象力——这是尤为宝贵的特质。她思虑及此,以为这是从她那素未谋面的父亲那里遗传而来的。
关于想象力,我们已经谈了很多。我们谈论诗人的想象力、艺术家的想象力,诸如此类;但我倾向于认为,总体而言,我们并不十分明白我们究竟在谈论什么……想象力让我们得以穿透进入周围看不见的世界,即科学的世界。它让我们得以感知和发现事物的实质,而其真实原先我们看不见,其存在原先我们感官感受不到。那些已经学会在未知世界边缘徘徊的人……借助想象力的洁白翅膀,就有可能深入翱翔到我们所在世界当中的那些未经探索的领域。
她开始相信自己肩负着一项神圣的使命要完成。是的,她使用了这个词:使命。“我心里有一种强烈的感觉,即上天赋予了我某种特殊的智力–道德使命要去实现。” 并且她自信拥有这样的能力。她信心满满地告诉母亲:
我相信自己拥有一套非常独特的特质组合,恰好让我适合成为一名非凡的发现者,去揭示自然隐秘的真相……这个信念很久以来一直挥之不去,而慢慢地我也已经接受了这一点。
她列举了自己的特质:首先,由于我神经系统的某些特别之处,我对于某些东西有敏锐的感知力。这一点其他人都没有,即便有,也非常罕见……有人可能会称之为对隐秘之物的直觉感知力,即发现那些眼睛、耳朵和其他普通感官感知不到的东西。
其次,我有强大的推理能力。
再次,……我不仅能够将自己的全部能量和身心投入到我所选定的事情当中,而且我能从各种看上去不相关的领域中找出种种有用的工具,并应用到任何选定的主题和想法上。我能使宇宙每个角落的光线全都聚集到一个巨大的焦点上去。
她承认这些听上去像是疯话,但她坚持认为自己是理智、清醒的。她告诉母亲,现在她清楚了自己的人生道路。“我要攀爬的是怎样一座高山呀!它足以吓退任何不具备如此不知足、如此不安分的能量的人,而这种能量,从我还是婴儿时,就已经开始折磨您和我自己了。无论如何,我相信这种能量最终还是找到了它的食粮。” 她在分析机中找到了。
——与此同时,巴贝奇,这个从不安分守己且兴趣广泛的人,正将他的精力投向另一项方兴未艾的技术,也是蒸汽最强有力的表现方式,即铁路。新成立的大西部铁路公司正在布里斯托尔和伦敦之间铺设铁轨,并准备蒸汽机车的试运行。主持工程的是一位才华横溢的工程师,时年仅二十七岁的伊桑巴德·金德姆·布鲁内尔(IsambardKingdom Brunel)。布鲁内尔向巴贝奇寻求帮助,于是巴贝奇决定从一个信息收集项目着手——这是他典型的风格:匠心独具而又雄心勃勃。他改装了一整节车厢,在里面装了一张与车厢齐长的桌子。桌子两端是两个滚轮,带动三百多米长的纸带在桌面上展开。悬在桌子上方的多支墨水笔随着车厢运动,各自在纸带上画出曲线以“表达”(用巴贝奇的话说)各个方向上车厢所感受到的颠簸和作用力。
同时,其中有一支笔与计时器相配合,记录下车厢的速度。以这种方式,他记录下了三千两百多米长的纸带。
当他在铁轨上行驶时,他意识到蒸汽机车有一种特有的危险:由于它的运行速度已经超出了先前所有通信手段的速度,因而火车之间无法及时了解相互的位置。除非所有的火车都能遵循最正规、最严格的调度,否则险情随时都有可能发生。在某个星期天,巴贝奇和布鲁内尔乘坐的两辆火车差一点点就发生了碰撞。其他人也同样担心火车运行与通信沟通之间的速度差。一位很有影响的伦敦银行家告诉巴贝奇,他不喜欢这种新的交通方式:“这让我们的职员有可能监守自盗,然后以每小时三十多公里的速度逃往利物浦,再从那逃往美国。” 对此,巴贝奇只能表示,希望科学能够找出补救的办法来解决它引发的问题(“或许我们可以让闪电去追赶嫌犯”)。
而对于自己那台不会行走的机器,他也新找到了一个恰当的隐喻,“一台需要自行铺设铁轨的机车”。
尽管英国人对他远见卓识的计划兴趣日趋式微,但巴贝奇却在欧洲大陆找到了欣赏者,尤其是在意大利,这个他称为“阿基米德和伽利略的国度”。1840年夏天,他带着成捆的图纸,途经巴黎和里昂(在那里的家居和教堂装饰织物工厂,他参观了一台巨大的雅卡尔提花机),前往撒丁王国的首都都灵,去参加一个数学家和工程师的会议。在会上,巴贝奇第一次(也是最后一次)公开展示了分析机。他说:“分析机的发现,对于我的国家来说太过超前了,甚至恐怕对于我们这个时代来说都是如此。” 他觐见了撒丁王国国王查理·阿尔贝特(Charles Albert),更重要的是,他还遇见了一位雄心勃勃的年轻数学家路易吉·梅纳布雷亚(Luigi Menabrea)。梅纳布雷亚后来将成为意大利的将军、外交官和总理,但在当时他撰写了一份科学报告《分析机概论》, 试图将巴贝奇的计划介绍给欧洲哲学界更多的人。
这份报告一传到爱达手里,她就开始着手将其译成英语,期间她根据自己掌握的知识订正了原文的一些错误。她独立完成了这件事,既未告诉梅纳布雷亚,也未告诉巴贝奇。
当她最终在1843年将译稿交给巴贝奇看时,巴贝奇给出了热情的回应,并敦促她为此自己写些东西。为此,他们开始了非同寻常的热切合作。他们通过信使来回传递信件,节奏极其频繁(“我亲爱的巴贝奇”和“我亲爱的洛夫莱斯夫人”),并在任何可能的时间在她在圣詹姆斯广场的家中晤面。合作的热情兴奋异常,几近疯狂。尽管他是名人,他五十一而她才二十七,但她俨然成了主导者,时而是坚决的命令,时而是善意的玩笑:“我要你在回信中对以下问题予以回答”;“希望你能把这一点为我写清楚一些”;“你当时可有点不负责任,而且说得也不太准确”;“我真希望你能做到如我那般准确、可靠”。她提议用自己名字的首字母缩写给作品署名,这样较写全名更显谦逊,同时她强调这并非为了“宣扬作者是谁”,而仅是为了“使之与众不同,并与A. A. L.的其他作品保持一致”。
她的论述采取了为梅纳布雷亚的论文作注的方式,注释以字母A到G注记,长度将近论文的三倍。这些注释给出了一个比巴贝奇以往提出的还要更具普遍性、前瞻性的未来设想。有多普遍?这台机器不仅仅执行计算,它还执行运算(operations)。按照爱达的说法,运算指“任何改变了两种或多种事物之间相互关系的过程”,因而“这是一个最普遍的定义,涵盖了宇宙间的一切主题”。 而关于运算的科学,在她的设想中,是一门独立的科学,自有其抽象真理和价值;正如逻辑自有其特别的真理和价值,而独立于那些我们借助逻辑的推理和过程来进行研究的主题……之所以运算科学的独立性很少有人感受到,且总体上也很少有人谈论,一个主要原因是数学记法中的许多符号有着不断变换的意义。
在这里,符号和意义,她特别强调,并不仅限于数学。这台机器“除了数,还可能操作其他东西”。巴贝奇在上千个数轮上刻下了数字,但它们的原理实际上可以表示更为抽象的符号。在理论上,这台机器能够处理任何有意义的关系:它能够操纵语言,也能够谱写音乐。“举例来说,假设在和声和作曲科学中,各种音调声音的基本关系可以以这种方式表达和改编,那么这台机器就能够谱写任意复杂度和长度、精致且科学的乐曲。”
它一直以来是一台处理数的机器,现在则成了一台处理信息的机器。爱达比巴贝奇本人更清晰、也更富想象力地意识到了这一点。她在解释巴贝奇那概念中的虚拟创造物时,视它仿佛已经存在了一般:
分析机与单纯的“计算机器”并无共同基础,它有自己的一席之地……这样一种新的、涵盖广阔的、强大的语言发展了起来,可用于未来的分析。相较于借助我们已有工具的帮助,这样的分析将变得更为快速和精确。进而数学世界中的精神与物质、理论与应用,彼此之间将变得更加紧密而有效。
……我们或许可以恰如其分地说,分析机织出代数的图案,正如雅卡尔提花机织出花朵和叶子。
这般天马行空的想象,全是她一人之功。“该机器的发明者在发明过程中是否产生过这些想法,抑或在此之后他是否从这样的角度看待过机器,我们不得而知。然而,这一点在我们现在看来是相当明显的。”
接下去她从诗意描述转向了实际应用,开始设计一个假想的程序,借此这台假想的机器将能够计算一个众所周知高难度的无穷数列——伯努利数。这种数产生于将从1到n的整数次幂求和,它们的各种形式在数论中非常常见。它们无法通过直接的公式生成,但可以通过一定的方法得到,即一步步扩展特定的公式,并在每一步查看其系数。她首先举了几个例子,其中最简单的办法就是扩展下述公式而另一种途径则是通过扩展公式
但她选择了一条更具挑战性的途径,因为“我们的目标不是要简化……而是要展示这台机器的威力”。
为此她设计了一个过程、一组规则以及一系列运算。在一个世纪后,这会被称为一种算法,或一个计算机程序,可是在当时,要解释这个概念还颇费周章。最不容易理解的一点是,她的算法是递归的。
它循环运行,一次迭代的结果将成为下一次迭代的输入。巴贝奇曾将这种方式称为“机器咬尾巴——团团转”。 爱达解释道:“显而易见,既然每个函数前后相继,并遵循相同的规则,那么就会出现循环的循环的循环……这个问题极其复杂,恐怕很少有人能得跟上……尽管如此,这对该机器而言是一种非常重要的情形,并且体现出某些独特的思想。因此,如果我们对此完全避而不谈的话,难免会有些遗憾。”
这其中的关键就是她和巴贝奇称为变量的实体。变量,体现在硬件上,就是机器的一根根轮轴上的数轮。但除此之外,还有“变量卡片”。因此体现在软件上,变量类似于容器或封套,能够用来表示或存储多位数。(“名字本来是没有意义的,”巴贝奇写道,“它只是一个空空如也的篮子,直到你放入了一些东西。”)变量是机器的信息单位,它与代数中的变量有很大不同。爱达对此解释道:“之所以叫这个名称,是因为那些轮轴上的数值注定要不断改变,以各种可以想见的方式变化。但这时需要警惕一种常会自然产生的误解,即错误地以为轮轴只会接受代数方程里变量的值,而不会接受常量。”因此,数实际上进行了流转,从变量卡片转到变量,从变量转到工厂(进行运算),再从工厂转到仓库。为解决生成伯努利数的问题,她需要编排出一支错综复杂的舞蹈。她整天倾注于此,有时还会通宵工作,一边与巴贝奇通信交流,一边则与疾病和病痛抗争。但是她的思想一直在翱翔:
我的头脑不是凡间之物,这一点时间将会证明(只要我的呼吸以及某些其他部位没有太快地奔向死亡)。
在十年内,假如我还没有从宇宙的种种奥秘之中吸取某些滋养的力量(这项工作凡间的嘴或头脑显然无法做到),那么我的头脑恐怕将为魔鬼所占据。
没人知道在我那瘦小的系统中潜藏着多少尚未被开发但几乎让人惊叹的能量和力量。我说它让人惊叹,是因为你可以想见在某种情况下它可能爆发出怎样的力量。我正在追根究底各种生成伯努利数的方式……我在努力把握这个问题,并试图将它与其他主题联系起来。
事实上,她是在为这台机器编程,并且是在头脑中编程,因为机器还不存在。而她作为第一次需要面对的复杂性,在一个世纪后将为程序员经常遇到:要让这样一台机器运行起来,所需涉及的考量是多么多种多样,又错综复杂啊。经常会有若干组不同的效果在同时作用,彼此相互独立,但又或多或少相互影响。不要说使之相互协调,就是试图正确成功地识别并追踪它们,也会遇到诸多困难。在一定程度上,任何一个条件众多且错综复杂的问题都蕴涵着这类困难。
她向巴贝奇述说了自己在这个过程中的感受:“我现在为陷入了这样一个充满惊喜但又复杂烦扰的境地而很是感到灰心。” 九天以后,她又说:“我发现自己的计划和想法不断变得清晰,越来越成形,更多透彻而更少朦胧。” 她知道自己创造了某些全新的东西。
又过了十天,她一边忙于在舰队街的“泰勒印刷行”检查最终校样,一边不无得意地对巴贝奇宣布道:“我觉得,你的先见之明和预见所有可能情况(而不论其可能性大小)的能力不及我的一半……我不认为,我父亲作为诗人(事实上或原本可能达到)的成就可以与我将要作为分析师(以及玄学家——这两者在我身上并行不悖)的成就相提并论。”
即便机器造出来,谁又会用这台机器呢?既非公司职员,也非商店店员,巴贝奇的儿子在多年以后这样说道。日常的算术计算从来就不是它的目标,否则“这就像是用蒸汽锤砸坚果”。 他借用了莱布尼茨的说法:“它的用户不是那些卖菜或卖鱼的,而是天文台,或私营的计算机构,或其他轻易可以负担得起费用并需要大量计算的人。”巴贝奇的机器一直以来未被当时的人们充分理解,不论是他的政府,还是出入他沙龙的很多朋友。不过,即便在当时,它也是声名远播。
在美国这个新发明层出不穷、科学乐观主义气氛浓郁的国度,爱伦·坡写道:“我们该如何看待巴贝奇先生的计算机器?一台由木材和金属组成的机器……竟能够通过自我纠正可能出现的错误而在数学上保证其运算的准确性,我们又该作何评价呢?” 拉尔夫·沃尔多·爱默生曾与巴贝奇在伦敦见过面,在1870年他宣称:“蒸汽机械是位聪明快学的学生,也是位膀大腰圆的伙伴,但是它还未能发挥其所有作用。”
它业已像人一样在田地里行走,并会执行一切分派给它的任务。它灌溉作物,也移除山岳。它为我们织衣,也为我们拉车。而经过巴贝奇的教导,它还能计算利率和对数……但它还将提供更多高级的机械–智能方面的服务。
当然,巴贝奇机器的神奇之处也会遭到诟病。一些批评家就害怕机械机制与人的智力之间的竞争。“对于数学家而言,那台机器是怎样的一个讽刺呀!”老奥利弗·温德尔·霍姆斯说,“一个弗兰肯斯坦式的怪物,没有头脑,也没有心肝,笨得连错误也犯不了;它像玉米脱粒机一样吐出计算结果,但即便碾磨过一千蒲式耳那么多的玉米,它也永远不会变得更聪明或更好用一点!” 不论态度如何,他们说起来都好像这台机器已经成真似的,尽管事实并非如此。它依旧悬而未决,默默等待着自己的未来。
1885年出版的《国家人物传记大辞典》收录了查尔斯·巴贝奇的生平,但这个简短的 条目对其事迹几乎不着要点:
数学家、科学机械师;……曾获政府资助建造一部计算机器……但因与工程师意见不合,建造工作半途而止;后又向政府提交过一份改进设计,终因费用问题而未获批准……获得剑桥大学卢卡斯数学教授教席,但未曾讲过课。
的确,巴贝奇的兴趣广泛,似乎偏离数学甚远。但其实他的诸多兴趣之下还是隐藏着一条主线,只是他的同时代人甚至他自己都没有觉察。他的种种追求无法归入任何一个范畴,更准确地说,任何一个当时已有的范畴。他真正的研究主题是信息,是信息的通信、编码、处理等。
他曾执著于两项不同寻常又明显不属于哲学思辨的挑战,两项他自己意识到彼此有着深层联系的活动:开锁和破解密码。他说,破解密码是“最吸引人的技艺之一,恐怕我在上面已经花费了过多时间”。 为了使破解过程合乎科学,他曾对英语进行过一番“全面分析”,并创造了一些特别的词典:由含一个、两个、三个或更多字母的词条所构成的词典以及依据单词的第一个、第二个、第三个或更后面的字母进行排序的词典。有了这些词典在手,他设计出了用于解决易位构词游戏和方块填词字谜的种种方法。
而从树木年轮上,巴贝奇看到的是自然将历史进行编码:一棵树以自己的实体记录下了一套完整的信息。“每一场雨,每一阵风,每一次温度变化,都在植物界留下了痕迹;它们对我们而言,的确细微而难以察觉,但不论如何,它们在那些木质纤维深处却留下了永恒的记录。”
在伦敦的工坊里,巴贝奇曾见到过锡制的通话管,“通过它,主管的指示可以瞬间传达到最偏远的角落”。他认为这门技术有助于“节约时间”,并指出人们似乎还尚未发现口语讯息传播距离的上限。他作了一个估算:“假设声音可以从伦敦传到利物浦,那么声音从管子一端达到另一端需要大约十七分钟。” 在19世纪20年代,巴贝奇萌生了一个传递文字讯息的创意,将讯息“装入小圆筒,使之沿着悬挂在高杆、高塔或教堂塔尖的绳索滑出”。 为此,他甚至还在伦敦的家中建造了一个工作模型。他进而设想了各种略有不同的尽可能远距离传播讯息的方式。他注意到,每晚送往布里斯托尔的邮袋不足百斤,可为了将这些讯息送到两百公里外,却要让“重一吨多的四轮马车及其设备走过同样的距离”。 这是多大的浪费呀!设想在每个设有邮局的镇之间每隔约三十米竖立一根高杆,上有钢索将每根杆子联系起来。在城内,教堂塔尖则可以充当高杆之用。同时,带有轮子的锡盒会沿着索道滚动,递送成批的信函。这么一来,费用将变得“相较而言微不足道,并且将这四通八达的索道利用起来,作为某种更为快捷的电报通信的渠道,也不是不可能”。
1851年,在万国工业博览会在伦敦水晶宫举办期间,巴贝奇曾在多塞特街寓所的楼上窗台放置了一盏带活动遮光板的油灯,作为“明暗灯”向路人闪烁数值信号。据此,他为灯塔拟定了一套标准化系统,用于船只判断与灯塔的距离,并将十二份方案副本送到了,按他的说法,“诸海洋大国的有关机构”。结果在美国,国会批准了五千美元的经费用于试验巴贝奇方案的可行性。他还研究了借助镜子反射阳光、“正午阳光” 来传递信号的方式,以及向水手传递格林尼治准点报时信号的方式。为了帮助搁浅船只与岸上救援人员之间进行通信,他建议所有国家都采用一个包含一百个问题和答案的标准列表,其中每一个问题或答案都被分配一个两位数,同时可以将列表“印在卡片上,并固定在每艘船只的若干位置上”。他还指出,类似的信号也可用于军队、警察、铁路,甚至邻居之间的“各种社会用途”。
不过,这些用途并非显而易见。“电报有什么用呢?”撒丁王国国王查理·阿尔贝特曾在1840年向巴贝奇这样问道。巴贝奇绞尽脑汁,试图找到一个例子,“最后我指出这样一种可能性,借助电报,他的舰队可以获得风暴预警”。这进而涉及风暴生成的一种新理论,国王对此十分好奇。
一点一点地,我努力试图将它解释清楚。我先以在我离开英国前不久的一场风暴为例,它给利物浦造成了十分巨大的损失,而格拉斯哥的损失更为巨大……我补充说,如果在热那亚及其他一些地方之间存在电报通信,那么在格拉斯哥的人们就有望在其中一场风暴抵达之前二十四小时就得到信息。
至于那台分析机,它在重新被人记起之前,先得被人遗忘。它没有留下明显的子嗣,因而当它重新出现在世人面前时,它就像是被重新发现的宝藏,引起了人们的阵阵惊叹以及种种困惑。在现在这个计算机如日中天的时代,历史学家珍妮·厄格洛从巴贝奇的机器中感受到了“另一种时代错位感”。 她写道,这样的失败发明包含着的“思想,就像是静躺在黑暗橱柜里、慢慢泛黄的蓝图,等待着被后世再次偶然发现”。
巴贝奇的机器的初衷是生成数表,但到头来,其现代形式反而导致数表被废弃。巴贝奇可曾预计到这一点呢?不过,他的确曾好奇未来的人们将会如何利用他的远见。按他的猜测,至少还要再过半个世纪,才会有人再次尝试构造一台通用计算机器。而事实上,过了将近一个世纪,这项工作所必要的技术基础才准备就绪。巴贝奇在1864年写道:“如果有人在未被告诫以我的前车之鉴的情况下试图尝试这项如此了无指望的工作,并通过完全不同的原理或更简化的机械手段而成功实现了一台可与整个数学分析部门相当的机器,那么我不怕把自己的名誉托付给他,因为他肯定会完全理解我当年努力的性质及其成果的价值。”
而当他展望未来时,他预见有一条真理将高于一切,那就是“知识就是力量”。他是从字面上理解这句话的,认为知识“本身是物理作用力的发生器”。科学给世界带来了蒸汽,他猜想,不久以后科学将转向不那么有形的电力,“它几乎已经可以控制这种以太流体”。
他还望向了更远的未来:
我们必须记住另一门更高级的科学……也在大步前进……那就是计算的科学,它在我们前进的每一步中变得越来越不可或缺,并且最终它将主导科学在生活中的所有应用。
在他去世前几年,他曾对一个朋友说,他乐意放弃剩下不管多少可活的时日,只愿能在五个世纪后的未来生活三天。
至于他年轻的朋友——爱达,洛夫莱斯伯爵夫人,她比巴贝奇早过世很多年。她死于子宫癌,这是一种经年累月的痛苦折磨,即便服用鸦片和大麻也不能减轻多少。在很长一段时间内,她的家人都对她隐瞒了病情的真相。但最终她还是知道了自己时日不多。她在给母亲的信中写道:“人们常说‘将来之事会提前投下其阴影',可是它们有时不也会提前投下其光芒吗?” 她死后被葬在了她父亲的旁边。
同样,爱达对于未来也有一个最后的梦想:“我以我自己的方式迟早会成为一名独裁者。” 在她面前将集结起一个个军团,对此即便是地上的铁腕统治者们也只能乖乖让路。那么她的军团由什么材料构成呢?“我现在可不会说。但我希望,它们将是纪律严明、异常和谐的军队——由大量的数构成,伴着军乐以势不可挡的力量行进。这听起来岂不是十分神秘?显然我的军队必须由数构成,否则他们也就根本不可能存在……但如果进一步问,这又是些什么数?这则是一个谜——”
查尔斯·巴贝奇和爱达·洛夫莱斯的原著现在已经越来越容易读到。查尔斯·巴贝奇的全集(The Works of Charles Babbage)在1989年出版,由马丁·坎贝尔–凯利编辑,共11卷,标价上千美元。
巴贝奇的一些作品也可通过Google的图书数字化项目查看到在线全文电子版,包括Passages from the Life of a Philosopher(1864)、On the Economy of Machinery and Manufactures(1832)以及TheNinth Bridgewater Treatise(1838)。一本尚未被该项目收录(截至2010年)但 非常有用的书 是巴贝奇的 儿 子编 辑的Babbage'sCalculating Engines: Being a Collection of Papers Relating toThem(1889)。随着计算机时代人们对此兴趣日增,这些有用的材料也被收进了许多选集当中,其中非常有益的是菲利普·莫里森和埃米利 · 莫 里 森 编 辑 的 Charles Babbage and His CalculatingEngines(1961)以及安东尼·海曼编辑的Science and Reform:Selected Works of Charles Babbage(1989)。其他一些手稿见于J. M. 迪 贝 撰 写 的 The Mathematical Work of CharlesBabbage(1978)。下面的注释会视情况引用一个或数个上述资料来源,尽量提供给读者最有用的信息。爱达·洛夫莱斯翻译和注释的路易吉·梅纳布雷亚的《分析机概论》的在线电子版可见于约翰·沃克的网站(http://www. fourmilab.ch/babbage/sketch.html),它也可见于莫里斯夫妇编辑的选集。爱达·洛夫莱斯的信件和文章散藏于大英图书馆、博德利图书馆及其他地方,但许多已经出版,见于贝蒂· 亚 历 山 德 拉 · 图 尔 编 辑 的 Ada: The Enchantress ofNumbers(1992、1998)。对此,如有可能,我会引用已出版的版本。
1. Charles Babbage, On the Economy of Machinery andManufactures(1832), 300; reprinted in Science and Reform:Selected Works of Charles Babbage,ed. Anthony Hyman(Cambridge: Cambridge University Press, 1989), 200.
2. “The Late Mr. Charles Babbage, F.R.S.,”TheTimes(London), 23 October 1871.不过,巴贝奇与手摇风琴手和绞弦琴手的斗争并没有白费,一项针对街头音乐的法令在1864年通过,因而它也常常被称为巴贝奇法令,参见:Stephanie Pain,“Mr. Babbage and the Buskers,”New Scientist179, no.2408 (2003): 42.
3. N. S. Dodge, “Charles Babbage,” Smithsonian AnnualReport of 1873,162–197, reprinted in Annals of theHistory of Computing22, no. 4 (October–December 2000),20.
4. Charles Babbage,Passages from the Life of aPhilosopher(London: Longman, Green, Longman, Roberts, &Green, 1864), 37.
5. Ibid., 385–386.
6. Charles Babbage, On the Economy of Machinery andManufactures,4th ed. (London: Charles Knight, 1835), v.
7. Ibid., 146.
8. Henry Prevost Babbage, ed., Babbage's CalculatingEngines: Being a Collection Papers of Relating to Them;Their History and Construction(London: E. & F. N. Spon,1889), 52.
9. Charles Babbage,Passages from the Life of aPhilosopher,67.
10. Charles Babbage and His Calculating Engines: SelectedWritings,ed. Philip Morrison and Emily Morrison (NewYork: Dover Publications, 1961), xxiii.
11. Élie de Joncourt,De Natura Et Praeclaro UsuSimplicissimae Speciei Numerorum Trigonalium(HagaeComitum: Husson, 1762), quoted in Charles Babbage,Passages from the Life of a Philosopher,54.
12. Quoted in Elizabeth L. Eisenstein, The Printing Press asan Agent of Change: Communications and CulturalTransformations in Early-Modern Europe(Cambridge:Cambridge University Press, 1979), 468.
13. Mary Croarken, “Mary Edwards: Computing for a Living in18th-Century England,” IEEE Annals of the History ofComputing25, no. 4 (2003): 9–15; and Mary Croarken,“Tabulating the Heavens: Computing the Nautical Almanacin 18th-Century England,” IEEE Annals of the History ofComputing25, no. 3 (2003): 48–61.
14. Henry Briggs,Logarithmicall Arithmetike: Or Tables ofLogarithmes for Absolute Numbers from an Unite to100000(London: George Miller, 1631), 1.
15. John Napier, “Dedicatorie,” in A Description of theAdmirable Table of Logarithmes,trans. Edward Wright(London: Nicholas Okes, 1616), 3.
16. Henry Briggs to James Ussher, 10 March 1615, quoted byGraham Jagger in Martin Campbell-Kelly et al., eds., TheHistory of Mathematical Tables: From Sumer toSpreadsheets(Oxford: Oxford University Press, 2003), 56.
17. William Lilly,Mr. William Lilly's History of His Lifeand Times, from the Year 1602 to 1681(London: CharlesBaldwyn, 1715), 236.
18. Henry Briggs,Logarithmicall Arithmetike,52.
19. Ibid., 11.
20. Ole I. Franksen, “Introducing ‘Mr. Babbage's Secret,'”APL Quote Quad15, no. 1 (1984): 14.
21. Michael Williams, A History of ComputingTechnology(Washington, D.C.: IEEE Computer Society,1997), 105.
22. Michael Mästlin, quoted in Ole I. Franksen,“Introducing ‘Mr. Babbage's Secret,' ” 14.
23. Charles Babbage,Passages from the Life of aPhilosopher,17.
24. Simon Schaffer, “Babbage's Dancer,” in FrancisSpufford and Jenny Uglow, eds., Cultural Babbage:Technology, Time and Invention(London: Faber and Faber,1996), 58.
25. Charles Babbage,Passages from the Life of aPhilosopher,26–27.
26. W. W. Rouse Ball,A History of the Study of Mathematics atCambridge(Cambridge: Cambridge University Press, 1889),117.
27. Charles Babbage and His Calculating Engines,23.
28. Ibid., 31.
29. C. Gerhardt, ed., Die Philosophischen Schriften vonGottfried Wilhelm Leibniz,vol. 7 (Berlin: Olms, 1890),12, quoted by Kurt Gödel in “Russell's MathematicalLogic” (1944), in Kurt Gödel:Collected Works,vol. 2,ed. Solomon Feferman (New York: Oxford University Press,1986), 140.
30. Charles Babbage,Passages from the Life of aPhilosopher,25.
31. Charles Babbage and His Calculating Engines,25.
32. Charles Babbage,Memoirs of the Analytical Society,preface(1813), in Anthony Hyman, ed.,Science and Reform:
Selected Works of Charles Babbage(Cambridge: CambridgeUniversity Press, 1989), 15–16.
33. Agnes M. Clerke,The Herschels and Modern Astronomy(NewYork: Macmillan, 1895), 144.
34. Charles Babbage,Passages from the Life of aPhilosopher,34.
35. Ibid., 42.
36. Ibid., 41.
37. Charles Babbage,A Letter to Sir Humphry Davy on theApplication of Machinery to the Purpose of Calculatingand Printing Mathematical Tables(London: J. Booth &Baldwain, Cradock & Joy, 1822), 1.
38. Babbage to David Brewster, 6 November 1822, in MartinCampbell-Kelly, ed., The Works of Charles Babbage(NewYork: New York University Press, 1989) 2:43.
39. Dionysius Lardner, “Babbage's CalculatingEngine,”Edinburgh Review59, no. 120 (1834), 282; andEdward Everett, “The Uses of Astronomy,” in Orationsand Speeches on Various Occasions(Boston: Little, Brown,1870), 447.
40. Martin Campbell-Kelly, “Charles Babbage's Table ofLogarithms (1827),”Annals of the History of Computing10(1988): 159–169.
41. Dionysius Lardner, “Babbage's Calculating Engines,”282.
42. Charles Babbage,Passages from the Life of aPhilosopher,52.
43. Ibid., 60–62.
44. Babbage to John Herschel, 10 August 1814, quoted inAnthony Hyman, Charles Babbage: Pioneer of theComputer(Princeton, N.J.: Princeton University Press,1982), 31.
45. David Brewster to Charles Babbage, 3 July 1821, quoted inJ. M. Dubbey, The Mathematical Work of CharlesBabbage(Cambridge: Cambridge University Press, 1978),94.
46. Babbage to John Herschel, 27 June 1823, quoted in AnthonyHyman,Charles Babbage,53.
47. Dionysius Lardner, “Babbage's Calculating Engines,”264.
48. Henry Colebrooke, “Address on Presenting the Gold Medalof the Astronomical Society to Charles Babbage,” inCharles Babbage and His Calculating Engines,219.
49. Dionysius Lardner, “Babbage's Calculating Engines,”288–300.
50. Charles Babbage, “On a Method of Expressing by Signs theAction of Machinery,”Philosophical Transactions of theRoyal Society of London116, no. 3 (1826): 250–265.
51. Quoted in Charles Babbage and His CalculatingEngines,xxiii.莫里森夫妇指出,丁尼生的确在1850年之后的版本中把“每分钟”(every minute)改成了“时时刻刻”(everymoment)。
52. Harriet Martineau,Autobiography(1877), quoted in AnthonyHyman,Charles Babbage,129.
53. Quoted in Doron Swade, The Difference Engine: CharlesBabbage and the Quest to Build the First Computer(NewYork: Viking, 2001), 132.
54. Quoted in ibid., 38.
55. Advertisement in The Builder, 31 December 1842,http://www.victorianlondon.org/photography/ adverts.htm(accessed 7 March 2006).
56. Lord Byron, “Childe Harold's Pilgrimage,” canto 3,118.
57. Byron to Augusta Leigh, 12 October 1823, in Leslie A.Marchand, ed., Byron's Letters and Journals, vol.
9(London: John Murray, 1973–1994), 47.
58. Ada to Lady Byron, 3 February 1828, in Betty AlexandraToole,Ada, the Enchantress of Numbers: Prophet of theComputer Age(Valley, Calif.: Strawberry Press, 1998),25.
59. Ada to Lady Byron, 2 April 1828, ibid., 27.
60. Ada to Mary Somerville, 20 February 1835, ibid., 55.
61. Ibid., 33.
62. Sophia Elizabeth De Morgan,Memoir of Augustus DeMorgan(London: Longmans, Green, 1882),89.
63. Ada to Dr. William King, 24 March 1834, in BettyAlexandra Toole, Ada, the Enchantress of Numbers,45.
64. Ada to Mary Somerville, 8 July 1834, ibid., 46.
65. “Of the Analytical Engine,” in Charles Babbage and HisCalculating Engines,55.
66. Ibid., 65.
67. Ada to Mary Somerville, 22 June 1837, in Betty AlexandraToole, Ada, the Enchantress of Numbers,70.
68. Ada to Lady Byron, 26 June 1838, ibid., 78.
69. Ada to Babbage, November 1839, ibid., 82.
70. Ada to Babbage, 16 February 1840, ibid., 83.
71. Augustus De Morgan to Lady Byron, quoted in BettyAlexandra Toole, “Ada Byron, Lady Lovelace, an Analystand Metaphysician,” IEEE Annals of the History ofComputing18, no. 3 (1996), 7.
72. Ada to Babbage, 16 February 1840, in Betty AlexandraToole,Ada, the Enchantress of Numbers,83.
73. Ada to Augustus De Morgan, 3 February 1841, ibid., 99.
74. Untitled essay, 5 January 1841, ibid., 94.
75. Ada to Woronzow Greig, 15 January 1841, ibid., 98.
76. Ada to Lady Byron, 6 February 1841, ibid., 101.
77. Charles Babbage and His Calculating Engines,113.巴贝奇补充道:“或许我们可以让闪电去追赶嫌犯。”
78. Quoted in Anthony Hyman,Charles Babbage,185.
79. Bibliothèque Universelle de Genève,no. 82 (October1842).
80. Ada to Babbage, 4 July 1843, in Betty AlexandraToole,Ada, the Enchantress of Numbers,145.
81. Note A (by the translator, Ada Lovelace) to L. F.Menabrea, “Sketch of the Analytical Engine Invented byCharles Babbage,” in Charles Babbage and His CalculatingEngines,247.
82. Ibid., 252.
83. H. Babbage, “The Analytical Engine,” paper read atBath, 12 September 1888, in Charles Babbage and HisCalculating Engines,331.
84. Note D (by the translator, Ada Lovelace) to L. F.Menabrea, “Sketch of the Analytical Engine Invented byCharles Babbage.”
85. Ada to Babbage, 5 July 1843, in Betty AlexandraToole,Ada, the Enchantress of Numbers,147.
86. Note D (by the translator, Ada Lovelace) to L. F.Menabrea, “Sketch of the Analytical Engine Invented byCharles Babbage.”
87. Ada to Babbage, 13 July 1843, in Betty AlexandraToole,Ada, the Enchantress of Numbers,149.
88. Ada to Babbage, 22 July 1843, ibid., 150.
89. Ada to Babbage, 30 July 1843, ibid., 157.
90. H. P. Babbage, “The Analytical Engine,” 333.
91. “Maelzel's Chess-Player,” in The Prose Tales of EdgarAllan Poe: Third Series(New York: A. C. Armstrong & Son,1889), 230.
92. Ralph Waldo Emerson, Society and Solitude(Boston: Fields,Osgood, 1870), 143.
93. Oliver Wendell Holmes, The Autocrat of the Breakfast-Table(New York: Houghton Mifflin, 1893), 11.
94. Charles Babbage,Passages from the Life of aPhilosopher,235.
95. “On the Age of Strata, as Inferred from the Rings ofTrees Embedded in Them,” from Charles Babbage,The NinthBridgewater Treatise: A Fragment(London: John Murray,1837), in Charles Babbage and His CalculatingEngines,368.
96. Charles Babbage,On the Economy of Machinery,10.
97. Charles Babbage,Passages from the Life of aPhilosopher,447.
98. Charles Babbage,On the Economy of Machinery,273.
99. Charles Babbage,Passages from the Life of aPhilosopher,460.
100. Ibid., 301.
101. Jenny Uglow, “Possibility,” in Francis Spufford andJenny Uglow,Cultural Babbage,20.
102. Charles Babbage,Passages from the Life of aPhilosopher,450.
103. Charles Babbage,On the Economy of Machinery,387–388.
104. Ada to Lady Byron, 10 August 1851, in Betty AlexandraToole, Ada, the Enchantress of Numbers,287.
105. Ada to Lady Byron, 29 October 1851, ibid., 291.
106. 据OED的说明,纳皮尔并未解释他对logarithm的字面意义的理解,但通常认为这里的logos解释为“比例、比”。这样也与纳皮尔构造对数时的最初思路相吻合。——译者注
107. 牛顿在变量上方加点来表示微分,如ẋ,而莱布尼茨则采用记法。在这里,“点统治”(Dot-age)与“老年痴呆”(dotage)恰好成双关。——译者注
108. 事情发生在1821年,巴贝奇对此有三次相似的表述,作者此处引用的是他第三次(1839年)的表述。对于三次表述,可参见:Bruce Collier,The Little Engines That Could''ve: TheCalculating Engines of Charles Babbage, 2nd ed. (NewYork: Garland, 1990), pp. 14–18。——译者注109. 莱布尼茨曾畅想过把代数甚至逻辑本身都加以机械化:“我们或许可以下一个定论,即那样的机器将会受到所有与计算相关的人的欢迎……包括财务经理人、资产管家、商人、测量员、地理学家、航海家、天文学家等……因为让这些优秀人才花费时间像奴隶 一 样 从 事 计 算 工 作 , 实 在 是 得 不 偿 失 。 ”(“Machinaarithmetica in qua non additio tantum et subtractio sedet multipicatio nullo, divisio vero paene nullo animilabore peragantur,” trans. M. Kormes, 1685, in D. E.Smith,A Source Book in Mathematics(New York: McGraw-Hill,1929), 173.)
110. 另一名来宾,查尔斯·狄更斯,将巴贝奇部分融入了其小说《小杜丽》中的一个角色丹尼尔·多伊斯。多伊斯是一名发明家,想要服务政府,却遭到了政府的不公正对待:“众所周知,他是个聪明人……他完成了一项发明(这其中经过了一个奇怪而神秘的过程),这项发明对于他的国家和同胞都非常重要。我说不清,他为此花了多少钱,或他为此花了多少年光阴,但他的确将它做到了完美。”狄更斯又补充道:“在丹尼尔·多伊斯身上可以感受到一种镇静、内敛的自足气质——一种冷静的认识,即过去是对的东西,到现在仍然是对的。”
111. 作者此处可能引用了1903年出版的《国家人物传记大辞典:索引与摘要》(Dictionary of National Biography : Index andEpitome),摘要不到百字;而《国家人物传记大辞典》第二卷关于巴贝奇的条目则占有三面。相关图书可在archive.org上查阅。——译者注
本书评论