前往小程序,Get更优阅读体验!
立即前往
首页
学习
活动
专区
工具
TVP
发布
社区首页 >专栏 >维多利亚时代的程序员

维多利亚时代的程序员

作者头像
用户9861443
发布2023-11-21 13:54:00
2070
发布2023-11-21 13:54:00
举报
文章被收录于专栏:图灵人工智能图灵人工智能

点击上方“图灵人工智能”,选择“星标”公众号

您想知道的人工智能干货,第一时间送达

1.羔羊计划

这是我的私货,也是一个督促自己的计划。有一些迷茫困惑的时候,常看一些电影、小说、哲学、宗教,发现一些时隐时现的东西被反复提起,这促成了我想去了解不同的人,去学习模仿和记录,于是有了羔羊计划。

于是在 2 年前,在 Note 里面写了一个粗陋的计划;

第一步,借着读《Tools for Thought》,实践这个计划。介绍不同时代的电脑行业的人们的故事。很多仙逝了,有些健在,远到英国维多利亚时代,近到 1985年;我会按照我的阅读节奏,介绍整合他们的生平;同时用蹩脚的英语技能翻译书中他们的故事,非常欢迎对各种翻译错误不通顺的地方评论指出,感谢。

2.维多利亚时代的程序员

—— 史上首位程序员是位女士。[1]

3.Babbage

41岁的巴贝奇 Babbage

对数表

Babbage 留下了一本胡思乱想的回忆录《Passages from the Life of a Philosopher》,电脑先驱 Herman Goldstine 将这本书描述为「一套文献,包含了从崇高到荒谬,从深奥到低俗的一堆胡言乱语。事实上,Babbage 的大部分职业生涯就是这样的。奇怪的是,在他行为如此古怪的时候,他竟然有这么多忠诚的好朋友。」在这本书中,Babbage 提到了他的分析机最初的灵感来源。

有天晚上,我坐在剑桥分析学会的屋里,头斜靠在前面的桌子上,心情梦幻一样对着展开的一张对数表。学会的一个会员走进来,看着我半梦半醒就喊道:「Babbage,你在做什么白日梦啊?」 ,我回答:「我觉得世界上所有的这些对数表都应该用机器来计算。」

《Passages from the Life of a Philosopher》

纽约时报刊登的分析机的原型图

伦敦英国皇家外科学院保存的巴贝奇一半大脑

4.Ada

Ada: Its short, ancient, vocalic. 这是 Ada 的父亲英国著名诗人拜伦勋爵给她女儿取的名字。拜伦是那个时代最被诽谤为可耻的人物。他与 Ada 母亲的分手是那个时代最知名的家庭里短事情之一,Ada 在一个月大之后就再也没有见过她的父亲。Byron 在他的一些诗歌中写了一些关于 Ada 的令人心酸的段落,Ada 生前曾想死后被安葬在生父身边,可能是为了刁难比她活得更长的母亲吧。

诗人拜伦勋爵

Ada 的母亲,被传记作家描绘成一个虚荣和傲慢并存的维多利亚时代典型女人,她认为每天服用一剂含有鸦片酊的「滋补品」 将是治愈她美丽、直率的女儿的叛逆行为的完美药方,因此迫使她女儿对鸦片上瘾!

4岁的 Ada

Ada 早年就展示了她的数学天赋, 她家庭最亲近的朋友之一是英国著名逻辑学家 Augustus De Morgan。她受过良好的教育,但似乎总是渴望获得比她的导师能提供的更多的知识。Ada 一直在积极地寻找一位完美的导师,而现在她认为这位导师就是与她母亲同龄的 Charles Babbage 。

当年轻的 Ada Byron 第一次看到差分机的工作模型时,De Morgan 也出席了这个历史性的场合,当时的 Babbage 正在为 Byron 夫人们的朋友演示差分机的工作原理。在 De Morgan 的回忆录里面,回忆起这个机器对 Augusta Ada 的影响是说道,「当与会的他人如同野蛮人第一次看到镜子亦或者听到枪声时表现的那种表情时,年纪轻轻的 Ada 却完全明白了它的作用,凝视着这个美丽的发明,并且我相信她看到了它的伟大之美。」

18岁的 Ada,第一次看到差分机的那一年

婚后的 Ada

The bounds of arithmetic were, however, outstepped the moment the idea of applying cards had occurred; and the Analytical Engine does not occupy common ground with mere "calculating machines." It holds a position wholly its own; and the considerations it suggests are most interesting in their nature. In enabling mechanism to combine together general symbols, in successions of unlimited variety and extent, a uniting link is established between the operations of matter and the abstract mental processes of the most abstract branch of mathematical science. A new, a vast and a powerful language is developed for the future use of analysis, in which to wield its truths so that these may become of more speedy and accurate practical application for the purposes of mankind than the means hitherto in our possession have rendered possible. Thus not only the mental and the material, but the theoretical and the practical in the mathematical world, are brought into intimate connexion with each other. We are not aware of its being on record that anything partaking of the nature of what is so well designated the Analytical Engine has been hitherto proposed, or even thought of, as a practical possibility, any more than the idea of a thinking or a reasoning machine. (这一段比较复杂不会翻译 🙃)

正是 Babbage 和 Ada 试图建立一个绝对可靠的赌马系统,使得 Ada 陷入了两次典当家庭珠宝的悲惨境地,在她丈夫不知情的情况下,这些珠宝用来支付赌马的赌资。Ada 和 Babbage 一直进行着一个疯狂的计划,他们一度利用一个小规模的差分机的模型去计算赌马这件事。随着 AI 在一个世纪后的发展,我们了解到即使最好的 AI 也无法处理真正复杂的系统。自然,他们损失惨重,更糟糕的是 Ada 在此时求助了她的母亲,而她的母亲告诉了她的丈夫,Ada 又不得不借钱赎回了家族的珠宝。

36岁的 Ada,逝世前

Ada 是36岁时死于癌症,Babbage 比她多活了几十年,但没有 Ada 的建议、支持,有时还有严厉的挑战,他无法完成梦寐以求的分析机。因为他那个时代的工具制作艺术没有达到他的设计所要求的公差,Babbage 率先使用钻石镶嵌工具进行精密车削。为了使发动机零部件的生产系统化,他设计了大规模生产可互换零部件的方法,并写了一篇后来被称为「mass production」 的经典经济学论文。

巴贝奇的经济学论文

5.George Boole

五年后,他发表了《An investigation of the laws of thought》 ,在此基础上建立了逻辑和概率的数学理论。形式逻辑早在希腊时代就已经存在,最广为人知的是亚里士多德完善的三段论形式,大多数人学习的简化版本不超过「人都要死的,苏格拉底是人,所以苏格拉底也会死。」 几千年来,亚里士多德的逻辑以同样的形式存在,似乎注定要停留在形而上学的外部边界上,永远不会突破到更具体的数学领域,因为它仍然只是一个文字的问题。下一个级别的符号精度缺失了。

一千多年来,唯一可以用严谨而精确的符号表达的基于逻辑的系统学科,被称为数学 ,也包含了欧几里得确立的几何学。正如欧几里得在空间图形的公理和定理系统中规定了基本的几何陈述和规则那样,Boole 在代数符号中规定了逻辑的基础。这并不是一个微小的事情。虽然几何知识是一个广泛有用的可以走遍四方的工具,但是 Boole 确信逻辑是理解确立人类理性本身的关键。他知道他发现了从亚里士多德到笛卡尔以来的每一位形而上学家所忽视的东西。

在 Boole 的《An investigation of the laws of thought》第一章中,他写道:

1. 下面论述的目的是研究进行推理的心智操作的基本规律。用微积分的符号语言表达这些规律,并在此基础上建立逻辑科学和构造其的方法... 从这些研究过程中得到的各种真理要素中收集一些关于人类心智的本质和构成的可能的模仿... 2. ...使我们能够从给定的前提推断出正确的推论,并不是逻辑的唯一对象... 这些研究还有另一种兴趣,来自于它们所散发出的智力的光芒。它们告诉我们,语言和数字是推理过程的工具。它们在某种程度上揭示了我们共同智力的不同权力之间的联系。它们向我们提出了... 真理和正确性的基本标准——这些标准不是从外部产生的,而是深深地建立在人类能力的构成之中... 通过超越人们对自身和世界所理解的知识的能力来揭示那些高度思维能力的秘密法则和关系,这是一个不需要赞扬理性思维的目标。

6.Herman Hollerith 与 IBM

计算史上的下一个重要发展,也是十九世纪最后一个重要贡献,与计算对数表或设计思想法则毫无关系。第二次推动这一发展的是 Herman Hollerith,19岁的美国人口普查办公室雇员。他的角色不会对电脑的重要理论基础产生影响,他的发明最终被淘汰, 但他的小创新却后来主导电脑产业。

Hollerith 对计算的发展做出了美国人的第一个重要贡献,他在人口普查办公室的上司给他制定了一个计划,使数据的收集自动化。根据他上司的建议,他设计了一个系统,该系统使用在卡片上打孔方式将信息输入电子计数系统中。

1890年的人口普查是历史上将数据处理和数学方程式计算变成自动化的时刻。事实证明,Hollerith 斯既不是数学家,也不是逻辑学家,而是一个数据处理者。他的任务并不是数字计算,而是收集、分类、存储和检索信息集合中的大量小项目。Hollerith 和他的同事们在不知不觉中成为了二十世纪信息工作者的先驱,因为他们的任务是找到一种机械方法来跟踪他们的组织所掌握的信息。

Hollerith 是由他的上司 John Shaw Billings 介绍这项任务的,Billings 自1870年以来一直留心信息技术的发展,当时他受雇于人口普查办公室,开发了处理大量信息的新方法。由于 Billings 负责收集和整理1880年和1890年人口普查的数据,他敏锐地意识到,日益增长的全国人口使政府每十年进行一次宪法规定的人口普查的事情受到限制。在可预见的未来,要计算和分类的如此大量信息可能需要十五年或二十年才能完成。就像关于电脑其他部件起源的故事一样,关于穿孔卡片系统的发明的确切认证也存在一些争议。

人口普查办公室的 Billings 和 Hollerith 的同事Willcox 在一份报告中写道:

当第十次(1881年)人口普查的结果在华盛顿制成表格时,Billings 和一个同伴正在办公室里走来走去,办公室里有数百名工作人员,他们正在用缓慢而令人心碎的手工清点方法,费力地将日程表上的信息项目转移到记录单上。当他们看着那些职员的时候,他对他的同伴说: 「应该有一些机械的方法来做这件工作,这是 Jacquard 织布机的原理,即卡片上的孔可以调整要织的图案。」 种子落在了良好的土地上。他的同伴是办公室里一位才华横溢的年轻工程师,他第一次确信这个想法是可行的,此后 Billings 并没有要求或拥有这个想法专利的欲望。

天才的年轻人 Hollerith 在 1919 年写下的这个版本:

一个星期天的晚上,在 Billings 的茶几上,他对我说,应该有一台机器来做纯机械的人口统计工作和其他类似这样的工作。我们讨论了这个问题,我记得... 他是那个想到用卡片上的刻度来描述在卡片边缘打孔的那个人...研究完这个问题后,我回到 Billings 那里,说我想我可以找到解决这个问题的办法,并问他是否愿意和我一起去。Billings说,除了想看到问题的某种解决办法之外,他对其他的事情都不感兴趣了。

Hollerith 系统把用过的穿孔放在卡片上的指定位置,代表每个被采访者的人口统计特征。就像 Jacquard 和Babbage 的卡片,以及当时流行的「演奏钢琴」一样,Hollerith 卡片上的孔是为了让机械部件通过。Hollerith 使用的是一种机电计数器,在这种计数器中,如果遇到孔,铜刷会关闭某些电路,如果没有孔,则不会关闭电路。

一个电动机制增加了运行计数在每个类别的每一个单位时,该类别的电路被关闭。通过添加分类设备,将卡片分发到各种箱子中,根据孔的模式和所需的制表类型,Hollerith 不仅创造了跟上大量数据的能力,而且创造了询问有关数据的新的更复杂的问题的能力。新制度在 1890年人口普查时发挥了大作用。Hollerith 及时申请了这个发明的专利,1882年至1883年,他在麻省理工学院担任机械工程讲师,建立了麻省理工学院与电脑科学和技术发展之间最早的联系。

1896年,Hollerith 成立了「Tabulating Machine Company」 ,生产卡片和读卡机。1900年,Hollerith 把他的设备租给人口普查局进行第十二次人口普查。几年之后,Hollerith 的「Tabulating Machine」 已经成为一个被称为「IBM」 的公司,由一个叫 Thomas Watson 的老人经营。

7.尾声

从 Alan Turing 的英国团队需要一种特殊的计算设备来破解德国密码,到 John von Neumann 在 Los Alamos 的数学家们在制造原子弹时面临着几乎无法克服的计算,到 Norbert Weiner 的研究人员在发明更好更快的方法来提高防空火力的瞄准精度,再到生产了电子数值积分器和计算器的美国陆军弹道研究实验室的项目。

在没有对电脑的起源历史的意识的情况下,推测电脑在不久的将来会变成什么样子是愚蠢的。历史在这一点上是清楚和无可争辩的:「弹道学诞生于控制论。第一台电子数字电脑 ENIAC 最初是为了计算弹道射击表而建造的。当 ENIAC 的发明者后来设计出第一台微型电脑时,它就是 BINAC,这种设备小到可以装进洲际弹道导弹的尖端,而且智能到可以根据星星的位置进行导航。」

虽然建造第一台电子数字电脑是为了生产更精确的武器,但是如果没有至少一项与弹道学或炸弹无关的重要理论突破,这项技术就不可能实现。计算的理论起源不在于寻找更高效的武器,而在于寻找更强大、更优雅的符号系统。第一台现代意义上的电脑不是机器, 它甚至都算不上是一个蓝图。

数字电脑被描绘为是一种抽象的符号系统 —— 第一个自动化的符号系统 —— 而不是作为一种工具或武器。发明它的人并不关心弹道学或计算科学,而是关心思想和机器的本质。

参考链接

[1] rheingold.com

版权声明

版权属于原作者,仅用于学术分享

文章精选:

  1. 图灵和冯·诺依曼的遗产:生命计算机的架构
  2. 开源语言大模型演进史:高质量基础模型竞赛
  3. Open AI首席科学家:ChatGPT可能已经有了意识,AI将万世不朽
  4. 大语言模型真能“理解”语言吗?
  5. 李航:关于大模型的思考及研究热点
  6. OpenAI首席科学家:通向无监督学习之路
  7. Nature 封面:AI 改变科学的多种方式,无论是好是坏
  8. 智能计算领域10个重大科学问题
  9. 中国发表第一篇计算机顶会的人都怎么样了?中国ACL、AAAI、CVPR第一人是谁
  10. AI智能超越人类终破解!李飞飞高徒新作破圈,5万个合成数据碾压人类示例,备咖啡动作超丝滑
本文参与 腾讯云自媒体同步曝光计划,分享自微信公众号。
原始发表:2023-11-20,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 图灵人工智能 微信公众号,前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体同步曝光计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
目录
  • 参考链接
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档