1895年,英国工程师弗莱明利用爱迪生效应发明了真空管 。从此,人类进入了微电子时代 。1912年,美国发明家李福瑞斯特在加州帕洛阿尔托发现了真空管的放大效应,为电子工业奠定了基础 。1913年,麻省理工学院教授范尼瓦尔·布什制造了第一台模拟计算机差分分析仪 。计算机由电机驱动,利用齿轮转动角度进行仿真计算 。
1936年11月12日,英国数学家艾伦·图灵发表了一篇关于计算机理论的基础性论文《论可计算数,及其在entscheidungs问题中的应用》,阐明了现代计算机理论,从理论上定义了现代通用计算机、可计算性等重要概念 。为了模拟人类的操作过程,图灵指出,能够实现数字计算和逻辑判断的机器必须具备以下功能:
(1)无限长的纸带 。纸带被分成格子,每个格子有一个来自有限字母表的字母,字母表有一个空白色符号 。纸带上的网格编号为0、1、2、…,纸带的一端可以无限拉伸 。
②扫描仪 。扫描仪可以沿着纸带移动,读出当前网格中的字母并更改字母 。
③一套控制规则 。它根据图灵机的当前状态和当前扫描器读取的字母确定扫描器的下一个动作,并改变登记在状态寄存器中的状态,使图灵机进入新的状态 。
④状态寄存器 。它用于保存图灵机的当前状态 。图灵机所有可能状态的数量都是有限的,而且有一个特殊的状态——停止状态 。
满足以上四个条件的机器就是著名的图灵机 。本文中,图灵以图灵机的形式定义了一种基于通用算术的形式语言 。这种形式语言完全等同于奥地利数学家库尔特·哥德尔在1931年证明不完全性定理时给出的语言 。
图灵
图灵机的每一部分都是有限的,但有一根无限长的纸带,这是一个理想的设备 。图灵认为,这样的机器可以模拟人类能够执行的任何计算过程 。图灵对计算机理论的重要贡献之一是给出了停机问题,即数理逻辑中的可计算性问题 。它提出了一个问题“你能判断任何程序是否会在有限的时间内完成运行吗” 。数学上讲,给定一个程序P和输入I,程序P会在输入I下停止吗?1936年,图灵证明了图灵定理——判断停机问题没有通用算法 。证明了计算机和程序的纯数学定义——图灵机 。图灵定理告诉我们关机问题在图灵机上是不可判定的 。从数理逻辑的角度来看,停机问题是一阶逻辑的不完备性 。因此,图灵定理的本质是哥德尔不完全定理的另一种表述 。图灵因其图灵机和图灵定理被誉为计算机科学之父 。
图灵机的本质是:有限状态机+在存储介质上读写 。
1950年10月,图灵发表了重要论文《计算机器与智能》,提出了著名的图灵测试,为人工智能奠定了基础 。因此图灵被后人尊为人工智能之父 。在第一个计算机时代,本文定义了第五代和第六代计算机 。
图灵不仅在计算理论上为现代计算机奠定了基础,还在二战期间为英国的MI-6建造了一台名为“bombe”的计算机 。并用这台电脑破译了德国军事密码“谜” 。后人的评价是图灵的破译使盟军提前2 ~ 4年结束二战,同时为盟军避免了1400 ~ 2100万人死亡 。
第一台电子计算机的发明者是美国人约翰·阿塔那索夫 。他是真正的“电子计算机之父” 。他是爱荷华州立大学的物理学教授 。阿塔纳索夫和他的研究生克利福德·贝里于1939年10月开发了第一台人类电子计算机 。
阿塔纳索夫将这台机器命名为ABC电脑(Atanasoff-Berry Computer),其中A和B分别取其姓氏的首字母,C为电脑的首字母 。计算机为爱荷华州立大学的教授和研究生制作了许多微分方程的数值解 。在阿塔纳索夫和贝里离开爱荷华州立大学之前,他们制造了两台可以运行的ABC电脑 。
ABC是第一台现代电子计算机 。在设计这台计算机时,阿塔纳索夫提出了三个非常重要的设计思想:用二进制逻辑实现数字运算,保证精度;利用电子技术实现控制逻辑运算和算术运算,保证计算速度;采用计算功能与更新存储二进制数功能分离的结构 。后来,控制论之父维纳在此基础上提出了计算机的五大原理:计算机必须数字化;主要是电子设备;采用二进制;存储内部计算表;将数据存储在计算机中 。这些思想直到现在仍然是设计计算机的基本思想 。
这两台ABC电脑存放在爱荷华州立大学物理系的储藏室里,很快就被遗忘了 。1946年,两台计算机的部件被拆除并用于其他目的,只剩下内存 。爱荷华州立大学没有为ABC电脑申请专利,这是后来发明权之争的根源 。阿塔纳索夫“计算机之父”的称号,并不是因为他的发明被当时的人们所接受,而是因为法院做出的判决 。阿塔纳索夫和著名的ENIAC计算机发明者约翰·莫克利和约翰·埃克特为谁是第一台电子计算机的发明者打了一场著名的官司,法院共开庭135次 。1973年10月19日,法院宣布:“莫基利和埃克特没有发明第一台电子计算机,他们只是使用了阿塔纳索夫发明的思想 。”早在1941年,阿塔纳索夫就向ENIAC的发明者莫基利讲述了他对电子计算机的想法 。莫莉参观了爱荷华州立大学物理系阿塔纳索夫的计算机实验室 。
推荐阅读
- 苏格拉底与柏拉图关于爱情 苏格拉底的故事
- 完整的汉字起源和演变史 汉字演变过程
- 开心的梦和恶梦又是怎么产生的? 人为什么会做梦
- 社保卡的初始密码是多少 社保卡密码
- 未定事件簿致斯卡提的情诗活动攻略及boss推荐战力,升级必备
- CF手游电竞传奇春节特别篇2未料之局剧情选择攻略,您需要了解的
- CF手游电竞传奇春节特别篇1迷踪之始剧情选择攻略,新发布的哦
- 女生胃疼男生幽默安慰方法,给她想要的安慰
- 女生说安好是什么意思?你明白了她的含义吗
- 带点套路的真心话问女生的,套路她的真心