“精炼我们推理的唯一方式，是让它们和数学一样切实。”
——戈特弗里德·莱布尼茨，《发现的艺术》
那些超越时代的天才
如果要评选19世纪Geek女神的话，奥古斯特·艾达·金（Augusta Ada King）一定能上榜。她是诗人拜伦的女儿，查尔斯·巴贝奇的助手和合作者，拉弗拉斯伯爵夫人，以及世界上第一位程序员——甚至远在“程序员”这个词被赋予现在的意义之前，她就写出了程序，而且打在了硬纸卡片上。
虽然是拜伦的女儿，但是艾达几乎没有见过自己的父亲。在出生后几个星期，她的母亲就带着她返回娘家，两个月后更是签署了分居协议；而她那热血浪漫的诗人父亲几个月后远赴法国和瑞士，最终客死异乡。艾达的数学天分据说来自母亲，灵动的思维则可能来自父亲——这两者在她后期的研究中缺一不可。良好的家庭环境让艾达能够遵循自己的兴趣，优秀的家庭教师们也为她提供了良好的教育。
在她的家庭教师里，有一些相当出色的人物，例如提出了徳·摩根定律的数学和逻辑学家奥古斯都·徳·摩根，以及女科学家玛丽·索麦维。正是在后者的介绍下，1833年6月，不满18岁的艾达遇见了查尔斯·巴贝奇。
两个人的命运，从那一刻开始，紧紧纠缠在了一起。


查尔斯·巴贝奇(Charles Babbage)，那个时代公认的博学者——或者失败者，这完全取决于观察角度。他毕业于剑桥大学，20岁的时候就协助建立了英国统计学会，25岁就成了英国皇家学会会员，37岁的时候成了母校的卢卡斯数学教授——牛顿曾经担任过的职位。他是发明家、数学家、多产作家以及梦想家。从二十岁起，他就开始计划制造一台能够自动计算的机器，把人工从繁复的计算中拯救出来。而大量的人工计算，正是那个时代欧洲的特色之一。
1819年，巴贝奇在一次去法国的访问中，看到普隆尼男爵招募大量计算工人，在几组数学家的带领下趴在桌上写写算算的情形，深受这种智力放大方式的震撼；而这些计算结果的质量之低，更是让他感到无力。当时的科学作家迪昂赛斯·拉德诺写道，从40册表里随机抽样，就发现了3700项错误；而根据巴贝奇的计算结果，这些计算错误，每年将会为政府带来超过300万英镑的损失。
看来，制造自动运算机器，势在必行。


从计算开始
对数，是当时社会发展的重要基础之一，无论是金融、航海还是天文，都离不开能够简单把乘除化为加减的对数运算。和今天课本上附带的《常用对数表》一样，快速运算也要依赖于对数表；而世界上第一份对数表，却只能靠手工来算出。
巴贝奇就是打算解决这个问题。1822年，他制造了第一台差分机，能够进行三个五位数的加法运算，结果能达到六位数。接下来的梦想更加宏伟，他与英国政府签订了合同，计划在两到三年内，制造出可以计算七个二十位数的差分机，并且自带打印功能。
然而，这个计划失败了。也许是因为总是冒出新点子的巴贝奇不停地改动设计，也许是他找到的制造商无法实现他要求的精度，第二部差分机用了十年时间和三万英镑的投入，却只完成了七分之一。而此时，巴贝奇几乎将所有精力都放在了一个新项目上——他已经意识到了差分机的不足，并且计划制造出通用的计算机：分析机。
就在这时，他第一次遇见了艾达·拜伦。
巴贝奇设想的分析机采用十进制计算，用齿轮存储1000个50位数，能做平方和四则运算。这台用蒸汽机驱动的机器有三十米长和十米宽，每秒钟能够计算一次。几乎所有的人都认为巴贝奇是痴人说梦，而艾达不这么看。她很快理解了巴贝奇的设计，并且预料到了分析机可能的用途，这些用途甚至是巴贝奇没有想到的。艾达写道：“这种机器也许可以作曲，或者解决复杂的问题。”


songshuhui点net/archives/52131

已经出到8了，更新的是否太慢了
记忆传承，信息永生（六）
http://songshuhui.net/archives/52651
记忆传承，信息永生（七）
http://songshuhui.net/archives/52929
记忆传承，信息永生（八）
http://songshuhui.net/archives/53536

不会不会，这里的万字控基本也需要休息的…