“精炼我们推理的唯一方式,是让它们和数学一样切实。”
——戈特弗里德·莱布尼茨,《发现的艺术》
前文请看 《记忆传承,信息永生》系列
那些超越时代的天才
如果要评选19世纪Geek女神的话,奥古斯特·艾达·金(Augusta Ada King)一定能上榜。她是诗人拜伦的女儿,查尔斯·巴贝奇的助手和合作者,拉弗拉斯伯爵夫人,以及世界上第一位程序员——甚至远在“程序员”这个词被赋予现在的意义之前,她就写出了程序,而且打在了硬纸卡片上。
虽然是拜伦的女儿,但是艾达几乎没有见过自己的父亲。在出生后几个星期,她的母亲就带着她返回娘家,两个月后更是签署了分居协议;而她那热血浪漫的诗人父亲几个月后远赴法国和瑞士,最终客死异乡。艾达的数学天分据说来自母亲,灵动的思维则可能来自父亲——这两者在她后期的研究中缺一不可。良好的家庭环境让艾达能够遵循自己的兴趣,优秀的家庭教师们也为她提供了良好的教育。
在她的家庭教师里,有一些相当出色的人物,例如提出了徳·摩根定律的数学和逻辑学家奥古斯都·徳·摩根,以及女科学家玛丽·索麦维。正是在后者的介绍下,1833年6月,不满18岁的艾达遇见了查尔斯·巴贝奇。
两个人的命运,从那一刻开始,紧紧纠缠在了一起。
查尔斯·巴贝奇(Charles Babbage),那个时代公认的博学者——或者失败者,这完全取决于观察角度。他毕业于剑桥大学,20岁的时候就协助建立了英国统计学会,25岁就成了英国皇家学会会员,37岁的时候成了母校的卢卡斯数学教授——牛顿曾经担任过的职位。他是发明家、数学家、多产作家以及梦想家。从二十岁起,他就开始计划制造一台能够自动计算的机器,把人工从繁复的计算中拯救出来。而大量的人工计算,正是那个时代欧洲的特色之一。
1819年,巴贝奇在一次去法国的访问中,看到普隆尼男爵招募大量计算工人,在几组数学家的带领下趴在桌上写写算算的情形,深受这种智力放大方式的震撼;而这些计算结果的质量之低,更是让他感到无力。当时的科学作家迪昂赛斯·拉德诺写道,从40册表里随机抽样,就发现了3700项错误;而根据巴贝奇的计算结果,这些计算错误,每年将会为政府带来超过300万英镑的损失。
看来,制造自动运算机器,势在必行。
从计算开始
对数,是当时社会发展的重要基础之一,无论是金融、航海还是天文,都离不开能够简单把乘除化为加减的对数运算。和今天课本上附带的《常用对数表》一样,快速运算也要依赖于对数表;而世界上第一份对数表,却只能靠手工来算出。
巴贝奇就是打算解决这个问题。1822年,他制造了第一台差分机,能够进行三个五位数的加法运算,结果能达到六位数。接下来的梦想更加宏伟,他与英国政府签订了合同,计划在两到三年内,制造出可以计算七个二十位数的差分机,并且自带打印功能。
然而,这个计划失败了。也许是因为总是冒出新点子的巴贝奇不停地改动设计,也许是他找到的制造商无法实现他要求的精度,第二部差分机花了十年时间和三万英镑的投入,却只完成了七分之一。而此时,巴贝奇几乎将所有精力都放在了一个新项目上——他已经意识到了差分机的不足,并且计划制造出通用的计算机:分析机。
就在这时,他第一次遇见了艾达·拜伦。
巴贝奇设想的分析机采用十进制计算,用齿轮存储1000个50位数,能做平方和四则运算。这台用蒸汽机驱动的机器有三十米长和十米宽,每秒钟能够计算一次。几乎所有的人都认为巴贝奇是痴人说梦,而艾达不这么看。她很快理解了巴贝奇的设计,并且预料到了分析机可能的用途,这些用途甚至是巴贝奇没有想到的。艾达写道:“这种机器也许可以作曲,或者解决复杂的问题。”
1841年,已经是三个孩子母亲的艾达正式成为巴贝奇的合作者。她把巴贝奇用法文撰写的论文翻译成英文,添加了自己的注释,让这部论文的长度增加到最初的三倍。正是她,从提花机中得到灵感,将分析机的程序用打孔卡片输入,也建立了子循环和条件分支的概念。算法终于不再用硬件实现,而可以通过挂上不同的纸带而实现不同的运算。
而这时,这两位先驱者遭到了巨大的打击。英国政府正式终止了差分机的合同,新任首相公开声称差分机的唯一的用途就是费钱。在制造差分机时自己搭了一万三千英镑的巴贝奇早已一贫如洗,两人只能靠偶尔销售些小东西来继续支撑。
1952年,从小体弱多病的艾达因癌症去世,终年36岁,留下的只有大量文档和世界上第一个程序的设计:一个计算伯努利数的分析机专用程序。巴贝奇二十年后去世,就连登在《泰晤士报上》上的讣告也嘲笑他的失败。
他们都没有看到自己梦想成真的那天。
要翻墙?(发邮件到Gmail):ziyouhulianwangATgmail.com