|
楼主 |
发表于 2022-1-22 12:11:43
|
显示全部楼层
本帖最后由 oyangningtao 于 2022-1-22 12:13 编辑
会计算的机器
美国逻辑学家查尔斯·皮尔斯通过讲授英国数学家乔治·布尔的著作,将符号逻辑学从大西洋彼岸带到了美国。在这个过程中,皮尔斯从根本上重新定义并极大丰富了布尔代数。布尔以无可争议的方式将逻辑与数学整合到了一起,而皮尔斯大概是19 世纪中期最了解布尔代数的人了。
不仅如此,皮尔斯还有其他发现,他发现了逻辑与电力之间的联系。
到了19 世纪80 年代,皮尔斯发现,布尔代数可用于模拟电气开关电路。布尔逻辑的真/ 假完全映射了电流流经复杂电路中开/ 关的方式,换句话说,逻辑可以用电路来表示。这就意味着电力驱动的计算机和逻辑机是可以构造出来的。它们不只是小说家的空想,它们可能会实现,而且最终定会实现。
皮尔斯有一名叫艾伦·马昆德的学生,他在1885 年还真的设计出了一台能够进行简单逻辑运算的电力逻辑机,但是还是没有造出来。皮尔斯用来解释如何模拟布尔代数的开关电路是计算机的一个基本组成部分。这个装置的独特之处在于能够管理信息,这一点和电流或机车完全不同。
机械开关为电回路所替代,使得计算设备的体积可以变得更小。事实上,第一台电力逻辑机是由本杰明·布拉克设计并制造出来的便携式装置,体积小到可以装进公文包中。这台制造于1936 年的布拉克逻辑机可用于处理三段论形式的逻辑语句。譬如说,将“男人终有一死;苏格拉底是男人”编入机器,逻辑机可接受“苏格拉底终有一死”的推论,而拒绝“苏格拉底是女人”的推论。后者这类错误的推理会关闭回路并触发机器的警告灯,表示发生了逻辑错误。
布拉克逻辑机是一台功能有限的专用机器。然而,当时问世的大多数专用计算装置都是用来处理数字问题而不是处理逻辑问题的。早在皮尔斯还在研究逻辑与电力之间的联系时,赫曼·霍列瑞斯就在设计一台制表机,以进行1890 年的美国人口普查的计算。
霍列瑞斯的公司最终被一家企业合并了,这家企业后来更名为国际商用机器公司(简称IBM)。到20 世纪20 年代末,IBM 靠向企业售卖专用计算机器盈利,让这些企业能够将日常的数字计算工作自动化。但IBM 的机器还不是计算机,也不是像布拉克逻辑机那样的机器。它们不过是被过分美化的大型计算器而已。
计算机的诞生
克劳德·香农在其麻省理工学院的博士论文中解释了如何利用电力开关电路模拟布尔逻辑(查尔斯·皮尔斯在50 年前就曾预言过)。受到该论文的鼓舞,IBM的高管于20 世纪30 年代同意斥资制造一台基于机电式继电器的大型计算机器。他们给了哈佛大学教授霍华德·艾肯一笔在当时颇为可观的经费——50 万美元,用以研制 Mark I,Mark I 是一台受巴贝奇分析机的启发而设计的计算装置。巴贝奇设计的是一个纯粹的机械装置,相比之下,Mark I 是一个电力机械装置,它以继电器为开关,继电器阵列则作为数字存储空间。这台机器运行时噪声非常大,继电器不停地开关,咔咔地响个不停。1944 年,Mark I 问世并受到广泛赞誉,人们都说科幻小说中的电子大脑终于成为现实。但是IBM 的高管却高兴不起来,因为艾肯在为这台计算机揭幕时并未提及IBM 的资助。IBM 为这笔投资感到懊悔。但原因还不止如此,在 Mark I 研制工作开始之前,其他方面的技术已取得了新的进展,这使得 Mark I 尚未问世就已然过时。赫曼·霍列瑞斯 发明了世界上第一台大规模数据处理装置,并于1890 年成功应用于美国人口普查。他是数据处理行业的鼻祖。(资料来源:IBM 档案)
电力驱动正在为电子驱动让路。当其他人将蒸汽驱动的巴贝奇式机器换成电气继电器时,爱荷华州立大学的数学和物理学教授约翰·阿塔纳索夫看到了将电气继电器换成电子元件的可能性。在美国参加第二次世界大战前不久,阿塔纳索夫在克利福德·贝里的帮助下设计出了ABC。ABC 是阿塔纳索夫- 贝里计算机(Atanasoff-BerryComputer)的首字母缩写,这台设备的开关装置采用的不是继电器,而是真空管。这个开关装置的更新换代是一次技术性飞跃。理论上说,以真空管为开关元件的机器运算起来比继电器机器更快速、更高效。但ABC 和巴贝奇分析机一样,也未能问世,这也许是因为阿塔纳索夫所筹集的经费还不到7000 美元,远不足以建造这台机器。不过,阿塔纳索夫和贝里确实组装出了一台简单的样机。他们用大量的电线和真空管拼出了一台粗糙的台式计算器。通过将真空管作为开关元件这一举措,阿塔纳索夫大大推动了计算机技术的发展。相较于继电器开关,真空管的高效使得计算机的面世成为现实。
|
本帖子中包含更多资源
您需要 登录 才可以下载或查看,没有帐号?立即注册
x
|