对于从图灵机到量子计算机，计算机可以解决所有问题吗？感兴趣的读者，本文将会是一篇不错的选择，我们将详细介绍图灵机就计算能力而言，并为您提供关于1.计算机发展阶段计算机发展历史机械式计算机机电式计算机电
对于从图灵机到量子计算机，计算机可以解决所有问题吗？感兴趣的读者，本文将会是一篇不错的选择，我们将详细介绍图灵机就计算能力而言，并为您提供关于1.计算机发展阶段 计算机发展历史 机械式计算机 机电式计算机 电子计算机 逻辑电路与计算机 二极管 电子管 晶体管 硅 门电路 计算机 电磁学计算机二进制、433个量子比特！IBM发布最大超导量子计算机，比特数量超谷歌7倍、active-directory – 在将计算机加入域之前将计算机添加到AD有什么问题吗？、IBM 宣布 20 量子位计算机，并扩展开源量子软件包的有用信息。
本文目录一览：- 从图灵机到量子计算机，计算机可以解决所有问题吗？（图灵机就计算能力而言）
- 1.计算机发展阶段 计算机发展历史 机械式计算机 机电式计算机 电子计算机 逻辑电路与计算机 二极管 电子管 晶体管 硅 门电路 计算机 电磁学计算机二进制
- 433个量子比特！IBM发布最大超导量子计算机，比特数量超谷歌7倍
- active-directory – 在将计算机加入域之前将计算机添加到AD有什么问题吗？
- IBM 宣布 20 量子位计算机，并扩展开源量子软件包
从图灵机到量子计算机，计算机可以解决所有问题吗？（图灵机就计算能力而言）
本文已收录到 GitHub · AndroidFamily，有 Android 进阶知识体系，欢迎 Star。技术和职场问题，请关注公众号 [彭旭锐] 进 Android 面试交流群。
前言
大家好，我是小彭。
今天，我们正式开启一个新专栏 —— 计算机组成原理。 计算机组成原理是计算机科学中最基础的理论知识，你越早掌握这些知识，你就能越早享受知识带来的 "复利效应"。
在构思到写作的过程中，我一直在思考应该以什么内容作为这个专栏的开篇，应该以什么内容来吸引住读者的眼球，也有过其它一些想法。最后，我决定抛开所有功利的想法，回归到一个最纯粹的计算机科学问题 —— “计算机可以解决所有问题吗？”。
学习路线图：
1. 图灵机 —— 哪些问题是可计算的？
一个有纸、笔、橡皮擦并且坚持严格的行为准则的人，实质上就是一台通用图灵机。 —— 图灵
1.1 图灵机的背景
在计算机科学中， 可计算性（calculability） 是指一个问题是否存在解决算法。对于一个问题，如果能够使用有限的机械的步骤求出结果，就是可计算的，反之则认为这个问题是不可计算的。
一开始，人们普遍认为任何问题都是有算法的，都是可计算的，而科学家的工作正是找出这些问题的解决算法。后来，人们经过长时间研究，发现很多问题依然找不到算法，也无法做出不存在算法的证明。例如数学家希尔伯特提出的 23 个数学问题中的第 10 个问题：
- 希尔伯特第 10 问题： 是否存在一个算法能判定任何丢番图方程有无整数解？
这个问题其实是希尔伯特提出的另一个问题的子集：
- 可判定性问题： 是否存在一个算法能够判定任何数学命题的真伪？ 如果存在这样的算法，那么很多数学问题都可以直接得到答案。如果不存在这样的算法，希尔伯特第 10 问题自然也不成立。
在图灵之前，美国数学家阿隆佐·丘奇（图灵的导师）率先提出了可判定性问题的解决方法 —— Lambda 演算 数学表达系统，并证明了不存在这样的通用判定算法，但其使用了非常多的数学技巧，难以理解和应用。
直到 1936 年（小伙子才 24 岁！），英国科学家艾伦·图灵在数学杂志上发表了论文 《论可计算数及其在可判定性问题上的应用》 ，其中提出了解决 “可判定性问题” 的一个开创性思路。论文我看不懂，我尽量将自己能理解到的核心思路概括为 3 点，如果有错误，欢迎你帮我指出：
- 1、自动机（Automatic Machines）： 图灵观察了人类使用笔和橡皮擦在纸上进行计算的过程，将现实世界中的所有计算行为归结为一系列简单机械的动作。在论文中，图灵将这种以简单机械的方式运行的想象中的机器称为自动机，而后人则将这种机器称为 “图灵机”；同时，图灵证明了只要提供足够的时间和内存，图灵机总是能够实现任何计算；
- 2、通用图灵机（Universal Turing Machines）： 假设有一个特殊的图灵机，它能够接收另外一些图灵机作为输入，并且能够产生和这些图灵机一样的输出，那么我们说这个特殊的图灵机就是通用图灵机。 在这里，我们可以把图灵机想象成一个程序或一个算法，而通用图灵机就是能够运行程序的计算机，目前我们所能接触到的所有现代电子计算机都是通用图灵机。
- 3、停机问题（Halting Problem）： 为了解决希尔伯特的可判定性问题，图灵将 “判定数学命题真伪” 的问题转化为 “判定图灵机是否会停机” 的问题，即著名的停机问题 —— “是否存在一个能够判定其它图灵机是否会停机的通用图灵机”。 随后，图灵通过一个巧妙的逻辑矛盾证明了不存在这样的通用图灵机，等于证明了 “不存在一个算法能够判定任何数学命题的真伪”。图灵的这个逻辑证明的推导过程，我们先放到一方稍后再说。
小结一下： 图灵首先提出了一个能够实现任何计算的计算机模型 —— 图灵机，相比于阿隆佐·丘奇提出 Lambda 演算系统，图灵机模型更加简单。随后，图灵提出了著名的停机问题，并通过巧妙的逻辑悖论证明了停机问题在图灵机上是不可计算的，这是最早被证明无法解决的可判定性问题之一，为希尔伯特的可判定性问题提供了一个反例论证。
图灵雕像
—— 图片引用自 Wikipedia
1.2 图灵机的工作原理
图灵机的工作原理与人类使用笔和橡皮擦在纸上进行计算的过程类似，图灵机主要由 4 个部分组成：
- 1、输入：一条无限长的纸带
TAPE，纸带上写满连续的符号，类似于计算机的指令； - 2、读写头
HEAD：一个可移动指针，可以从纸袋上读取符号； - 3、符号表
TABLE：规定了图灵机在不同状态下遇到不同符号的处理规则； - 4、状态寄存器：记录图灵机内部状态（有限状态），其中有一个特殊的停机状态（HALT），当图灵机遇到停机状态时，程序结束。
图灵机示意图
—— 图片引用自 Wikipedia
在计算过程中，图灵机的读写头从纸带头部开始，不断地读取纸袋上的符号。图灵机内部有不同的状态，每个状态会根据读取到的符号，到不同的符号表中查找下一步的动作，例如左移、右移、修改格子或修改寄存器。不断重复这个步骤，最终，当图灵机运行到停机状态时，表示计算完成， 整个计算过程自始至终都由机器自动完成。
图灵机模型
—— 图片引用自 Wikipedia
1.3 停机问题的逻辑证明
停机问题： 是否存在一个计算机程序，它能够根据任意计算机程序的描述和输入来判断该程序最终会停止还是永远运行。如果把图灵机想象成一个程序或一个算法，那么这个问题就等价于：是否存在一个通用图灵机，它能够根据任意图灵机的描述和输入来判定该图灵机最终会停止还是永远运行。
在此之前，先思考一个类似的逻辑悖论：
理发师悖论： 在某个城市中有一位理发师，他的广告词是这样写的：“本人的理发技艺十分高超，我将为本城所有不给自己刮胡子的人刮胡子，我也只给这些人胡子”。来找他刮脸的人络绎不绝，可是，有一天，这位理发师发现自己的胡子长了，他本能地抓起了剃刀，但是他看到自己的广告牌后陷入沉思：如果他不给自己刮胡子，他就属于 “不给自己刮胡子的人”，那么他就该给自己刮胡子。而如果他给自己刮胡子，他就属于 “给自己刮脸的人”，他就不该给自己刮胡子。
那这个理发师到底该不该给自己刮胡子呢？无论他刮还是不刮都会与广告词矛盾，产生一个悖论。唯一的破解方法就是把理发师自己排除到广告词的规则外，这样他想刮还是不刮都可以。
现在，我们回过头来 follow 图灵对停机问题的逻辑证明：
- 1、 假设存在一个能够判定其它程序是否会停机的通用图灵机 H，输出结果是 “会停机 or 不停机”。 如果能够找到一个程序，图灵机 H 无法正确地判断该程序是否会停机，就说明停机问题无法解决；
- 2、 为了找到这样的程序，图灵基于 H 定义了另一个图灵机 H，H 会产生与输入程序相反的输出：如果程序会停机则 ^H 不会停机，如果程序不会停机则 ^H 会停机。
- 如果 H 的输出结果是 “程序会停机”，那么 ^H 进入一个死循环永远运行下去，即 ^H 不停机；
- 如果 H 的输出结果是 “程序不停机”，那么 ^H 会输出 “程序不停机”，并且停机。
- 3、现在 H 和 ^H 各司其职，勉强可以理解。 思考一个特殊情况，如果把 ^H 本身作为 ^H 的输入程序，结果是什么？
- 如果 H 的输出结果是 “^H 会停机”，那么 ^H 会进入死循环永远不停机；
- 如果 H 的输出结果是 “^H 不停机” ，那么 ^H 会停机。
可以看到，跟理发师悖论类似，H 不管怎么回答都是矛盾的。这一悖论也意味着停机问题不能用图灵机来解决。
停机悖论
1.4 图灵机的意义
我所理解的图灵机的应用价值主要体现在 2 个方面：
- 1、奠定了现代计算机的抽象逻辑模型： 其实，在图灵机模型之前，也有其他科学技术提出了能够描述人类计算能力的模型，例如 Lambda 演算。但相比于其他模型，图灵机模型的优势在于简单直接，而且很容易通过机械技术或电子技术实现。在图灵机模型的价值被世人认可后，图灵机模型也为现代计算机奠定了理论基础。 图灵后来被誉为 “计算机科学之父”，图灵机模型的贡献比重很大。
- 2、证明了计算机存在计算边界： 图灵先是证明了图灵机总是能够实现任何计算，但又证明了停机问题无法用图灵机解决。将这两点结合起来，说明不是所有问题都能用计算解决，例如决策问题。这一理论后来建立了可计算理论的基础，后人称之为 “丘奇-图灵论题” ：无论有多少时间或内存，有些问题是计算机无法解决的，除非建立完全超越图灵机的计算模型，或者说 “超计算”。
目前，量子计算机是计算机科学界最尖端的发展方向，那么量子计算机和我们熟悉的经典计算机有哪些不同呢，量子计算是超运算吗，量子计算机能解决所有问题？
2. 量子计算机 —— 用实验代替计算
2.1 什么是量子计算机？
量子计算机（Quantum computer）一种使用 “量子物理实验代替数学计算” 的计算机。
在 1982 年，诺贝尔物理奖获得者理查德·费曼在报告 《计算机模拟物理学》中最早提出相对成熟的量子计算概念：对于千变万化且初始状态不确定的问题，如果单纯依靠计算难以解决，那么直接用量子实验来模拟，再观察实验的结果来获得计算结果。根据大数定律，只要实验采样的次数足够多，就能以足够大的精度获得结果。举个类似的例子，18 世纪的蒲丰投针实验，就是一种用反复投针的物理实验得到圆周率的方法，也是用实验获得计算结果的案例。
然而，量子计算机依然遵循丘奇-图灵论题，量子计算机在可计算性方面并没有任何优势。 任何可以由量子计算机解决的问题，只要提供足够的时间，都可以由经典计算机解决。虽然如此，量子计算机在处理某些特定问题上会存在时间上的绝对优势，这就是量子优越性。
2.2 什么是量子优越性？
经典计算机和量子计算机解决的问题有一定交叉，但两者擅长的方向不一样。量子计算机在解决特定问题上的绝对优势，也叫量子优越性。 例如，在路径规划、密码破解、材料设计、人工智能，原子结合，基因序列等，只需要知道答案，不需要知道过程的问题上，量子计算机强于经典计算机。那么，量子计算机是如何实现这一优越性的呢？—— 量子比特。
量子计算最基础的单元是 ”量子比特“，与电子比特在同一时刻只能表示 “0” 或 “1” 不同，量子比特既可以是 “0” 或 “1” 其中之一，也可以是 “0” 和 ”1“ 的叠加态。那么，1 个量子比特可以是 2 个电子比特的叠加态，2 个纠缠的量子比特就可以是 4 种电子比特的叠加态，4 个纠缠的量子比特就是 16 种电子比特的叠加态…… 依次类推，$n$ 个纠缠的量子比特就是 $2^n$ 种电子比特的叠加态。
这个特点有什么用呢？举个例子，要寻找 1 亿种密码中的正确密码，经典计算机的解法是用 穷举 法依次尝试 1 亿种可能性，直到出现命中正确答案的结果后停止。 而量子计算机可以直接制造叠加所有可能性的量子比特，一次性尝试所有可能性。 再通过量子干涉操控放大命中正确答案的信号，而缩减错误答案的信号，使得最终量子态包含引起正确答案的信号， 通过观察得到正确答案。
4个相互纠缠的量子比特可以同时处于 16 种比特组合中的所有状态
—— 原图截图自 突破！Fluxonium两比特门精度99.72% —— 阿里达摩院扫地僧 著
2.3 量子计算两大核心难题 —— 多比特 & 高精度
- 多比特数： 目前还未实现超过百级的比特数；
- 高精度： 操控量子的精度不够，且比特数越多，操控难度越大。当操作次数增加后，错误也会累积，最终量子态包含的正确信息也会越少，反而丢失了量子优越性。在现有的量子纠错方案下，维护 1 个物理比特的正确性需要另外 1000 个物理比特来纠错。
3. 总结
今天，我们了解了图灵机模型和量子计算机的简单原理，并在此基础上思考了计算机的计算边界，并不是所有问题都可以用计算解决。 虽然图灵机是所有现代计算机的抽象逻辑模型，但图灵机并不是一个实际的机器。 你应该听过冯·诺依曼机，它跟图灵机一样吗？
参考资料
- Truing machine —— Wikipedia
- Universal Turing Machine —— Wikipedia
- Halting problem —— Wikipedia
- Church–Turing Thesis —— Wikipedia
- Quantum Computing —— Wikipedia
- Qubit —— Wikipedia
- 突破！Fluxonium两比特门精度99.72% —— 阿里达摩院扫地僧 著
- 10分钟速成课 计算机科学（第 15 集 · 艾伦·图灵） —— Carrie Anne 著
1.计算机发展阶段 计算机发展历史 机械式计算机 机电式计算机 电子计算机 逻辑电路与计算机 二极管 电子管 晶体管 硅 门电路 计算机 电磁学计算机二进制
引言
任何事物的创造发明都来源于需求和欲望
而科学技术的发展则推动实现了目标
正是因为人类对于计算能力孜孜不倦的追求,才创造了如今规模的计算机.
计算机,字如其名,用于计算的机器.这就是最初计算机的发展动力.
在漫长的历史长河中，随着社会的发展和科技的进步，人类始终有计算的需求
进行运算时所运用的工具，也经历了由简单到复杂，由低级向高级的发展变化。
本文尽可能的仅仅描述逻辑本质,不去追究实现细节
计算(机|器)的发展与数学/电磁学/电路理论等自然科学的发展息息相关
计算(机|器)的发展有四个阶段
手动阶段
机械阶段
机电阶段
电子阶段
手动阶段
顾名思义,就是用手指进行计算,或者操作一些简易工具进行计算
最开始的时候人们主要是借助简单的工具比如手指/石头/打绳结/纳皮尔棒/计算尺等,
我想大家都用手指数过数;
有人用一堆石子表示一些数目;
也有人曾经用打绳结来计数;
再后来有了一些数学理论的发展,纳皮尔棒/计算尺则是借助了一定的数学理论,可以理解为是一种查表计算法.
你会发现,这里还不能说是计算(机|器),只是计算而已,更多的靠的是心算以及逻辑思维的运算,工具只是一个简简单单的辅助.
机械阶段
我想不用做什么解释,你看到机械两个字,肯定就有了一定的理解了,没错,就是你理解的这种普通的意思,
一个齿轮,一个杠杆,一个凹槽,一个转盘这都是一个机械部件.
人们当然不满足于简简单单的计算,自然想制造计算能力更大的机器
机械阶段的主题思想其实也很简单,就是通过机械的装置部件比如齿轮旋转,动力传送等来表示数据记录,进行运算,也即是机械式计算机,这样说有些抽象.
我们举例说明:
契克卡德是现今公认的机械式计算第一人,他发明了契克卡德计算钟
我们不去纠结这个东西到底是如何实现的,只描述事情逻辑本质
其中他有一个进位装置是这样子的
可以看到采用十进制,转一圈之后,轴上面的一个突出齿,就会把更高一位(比如十位)进行加一
这就是机械阶段的精髓,不管他有多复杂,他都是通过机械装置进行传动运算的
还有帕斯卡的加法器
他是使用长齿轮进行进位
再有后来的莱布尼茨轴,设计的更为精巧
我觉得对于机械阶段来说,如果要用一个词语来形容,应该是精巧,就好似钟表里面的齿轮似的
不管形态究竟如何,终究也还是一样,他也只是一个精巧了再精巧的仪器,一个精密设计的机关装置
首先要把运算进行分解,然后就是机械性的依靠齿轮等部件传动运转来完成进位等运算.
说计算机的发展,就不得不提一个人,那就是巴贝奇
他发明了史上著名的差分机,之所以叫差分机这个名字，是因为它计算所使用的是帕斯卡在1654年提出的差分思想
我们仍旧不去纠结他的原理细节
此时的差分机,你可以清晰地看得到,仍旧是一个齿轮又一个齿轮,一个轴又一个轴的更加精巧的仪器
很显然他仍旧又仅仅是一个计算的机器,只能做差分运算
再后来1834年巴贝奇提出来了分析机的概念 一种通用计算机的概念模型
正式成为现代计算机史上的第一位伟大先驱。
之所以这样说,是因为他在那个年代,已经把计算机器的概念上升到了通用计算机的概念,这比现代计算的理论思想提前了一个世纪
它不局限于特定功能，而且是可编程的，可以用来计算任意函数——不过这个想法是构思在一坨齿轮之上的.
巴贝奇设计的分析机主要包括三大部分
1、用于存储数据的计数装置，巴贝奇称之为“仓库”（store），相当于现在CPU中的存储器
2、专门负责四则运算的装置，巴贝奇称之为“工厂”（mill），相当于现在CPU中的运算器
3、控制操作顺序、选择所需处理的数据和输出结果的装置
而且,巴贝奇并没有忽略输入输出设备的概念
此时你回想一下冯诺依曼计算机的结构的几大部件,而这些思想是在十九世纪提出来的,是不是不寒而栗!!!
巴贝奇另一大了不起的创举就是将穿孔卡片（punched card）引入了计算机器领域，用于控制数据输入和计算
你还记得所谓的第一台计算机"ENIAC"使用的是什么吗?就是纸带!!
ps:其实ENIAC真的不是第一台~
所以说你应该可以理解为什么他被称为"通用计算机之父"了.
他提出的分析机的架构设想与现代冯诺依曼计算机的五大要素,存储器 运算器 控制器 输入 输出是吻合的
也是他将穿孔卡片应用到计算机领域
ps:穿孔卡片本身并不是巴贝奇的发明，而是来自于改进后的提花机,最早的提花机来自于中国,也就是一种纺织机
只是可惜,分析机并没有真正的被构建出来,但是他的思维理念是超前的,也是正确的
巴贝奇的思想超前了整整一个世纪，不得不提的就是女程序员艾达,有兴趣的可以google一下,Augusta Ada King
机电阶段与电子阶段使用到的硬件技术原理,有不少是相同的
主要差别就在于计算机理论的成熟发展以及电子管晶体管的应用
为了接下来更好的说明,我们自然不可避免的要说一下当时出现的自然科学了
自然科学的发展与近现代计算的发展是一路相伴而来的
文艺复兴运动使人们从传统的封建神学的束缚中慢慢解放,文艺复兴促进了近代自然科学的产生和发展
你要是实在没事情做,可以探究一下"欧洲文艺复兴革命对近代自然科学发展史有何重要影响"这一议题
电磁学
据传是1752年,富兰克林做了实验,在近代发现了电
随后,围绕着电,出现了很多旷世的发现.比如电磁学,电能生磁,磁能生电
这就是电磁铁的基本原型
根据电能生磁的原理,发明了继电器,继电器可以用于电路转换,以及控制电路
电报就是在这个技术背景下被发明了,下图是基本原理
但是,如果线路太长,电阻就会很大,怎么办?
可以用人进行接收转发到下一站,存储转发这是一个很好的词汇
所以继电器又被作为转换电路应用其中
二进制
而且,一个很重要的事情是,德国人莱布尼茨大约在1672-1676发明了二进制
用0和1两个数码来表示的数
逻辑学
更准确的说是数理逻辑,乔治布尔开创了用数学方法研究逻辑或形式逻辑的学科
既是数学的一个分支，也是逻辑学的一个分支
简单地说就是与或非的逻辑运算
逻辑电路
香农在1936年发表了一篇论文<继电器和开关电路的符号化分析>
我们知道在布尔代数里面
X表示一个命题,X=0表示命题为假;X=1表示命题为真;
如果用X代表一个继电器和普通开关组成的电路
那么,X=0就表示开关闭合 X=1就表示开关打开
不过他当时0表示闭合的理念跟现代正好相反,难道觉得0是看起来就是闭合的吗
解释起来有些别扭,我们用现代的看法解释下他的观点
也就是:
(a) 开关的闭合与打开对应命题的真假,0表示电路的断开,命题的假 1表示电路的连通,命题的真
(b)X与Y的交集,交集相当于电路的串联,只有两个都联通,电路才是联通的,两个都为真,命题才为真
(c)X与Y的并集,并集相当于电路的并联,有一个联通,电路就是联通的,两个有一个为真,命题即为真
这样逻辑代数上的逻辑真假就与电路的连通断开,完美的完全映射
而且,所有的布尔代数基本规则,都非常完美的适合开关电路
基本单元-门电路
有了数理逻辑和逻辑电路的基础理论,不难得出电路中的几个基础单元
Vcc表示电源 比较粗的短横线表示的是接地
与门
串联电路,AB两个电路都联通时,右侧开关才会同时闭合,电路才会联通
符号
另外还有多输入的与门
或门
并联电路,A或者B电路只要有任何一个联通,那么右侧开关就会有一个闭合,右侧电路就会联通
符号
非门
右侧开关常闭,当A电路联通的时候,则右侧电路断开,A电路断开时,右侧电路联通
符号:
所以你只需要记住:
与是串联/或是并联/取反用非门
机电阶段
接下来我们说一个机电式计算机器的优秀典范
机电式的制表机
霍尔瑞斯的制表机,主要是为了解决美国人口普查的问题.
人口普查,你可以想象得到自然是用于统计信息,性别年龄姓名等
如果纯粹的人工手动统计,可想而知,这是多么复杂的一个工程量
制表机首次将穿孔技术应用到了数据存储上,你可以想象到,使用打孔和不打孔来识别数据
不过当时设计还不是很成熟,比如如果现代,我们肯定是一个位置表示性别,可能打孔是女,不打孔是男
当时是卡片上用了两个位置，表示男性就在标M的地方打孔，女性就在标F的地方打孔,不过在当时也是很先进了
然后,专门的打孔员使用穿孔机将居民信息戳到卡片上
紧接着自然是要统计信息
利用电流的通断来识别数据
对应着这个卡片上的每个数据孔位,上面有着金属针,下面有着容器,容器装着水银
按下压板时，卡片有孔的地方，针可以通过，与水银接触，电路接通，没孔的地方，针就被挡住。
如何将电路通断对应到所需要的统计信息？
这就用到了数理逻辑与逻辑电路了
最上面的引脚是输入,通过打孔卡片的输入
下面的继电器是输出,根据结果 通电的M将产生磁场， 牵引特定的杠杆，拨动齿轮完成计数。
看到没,此时已经可以根据打孔卡片作为输入,继电器组成的逻辑电路作为运算器,齿轮进行计数的输出了
制表机中的涉及到的主要部件包括: 输入/输出/运算
1896年，霍尔瑞斯创立了制表机公司,他是IBM的前身.....
有一点要说明
并不能笼统的说谁发明了什么技术,下一个使用这种技术的人,就是借鉴使用了发明者或者说发现者的理论技术
在计算机领域,很多时候,同样的技术原理可能被好几个人在同一时期发现,这很正常
还有一位大神,不得不介绍,他就是康拉德·楚泽 Konrad Zuse 德国
http://zuse.zib.de/
因为他发明了世界上第一台可编程计算机——Z1
图为复制品,复制品其实机械工艺上比37年的要现代化一些
尽管zuse生于1910,Z1也是大约1938建造完成,但是他其实跟机械阶段的计算器并没有什么太大区别
要说和机电的关系,那就是它使用电动马达驱动,而不是手摇,所以本质还是机械式
不过他的牛逼之处在于在也设想出来了现代计算机一些的理论雏形
将机器严格划分为处理器和内存两大部分
采用了二进制
引入浮点数，发明了浮点数的二进制规格化表示
靠机械零件实现与、或、非等基础的逻辑门
虽然作为机械设备，但是却是一台时钟控制的机器。其时钟被细分为4个子周期
处理器是微代码结构的操作被分解成一系列微指令，一个机器周期一条微指令。
微指令在运算器单元之间产生具体的数据流，运算器不停地运作，每个周期都将两个输入寄存器里的数加一遍。
可编程 从穿孔带读入8比特长的指令 指令已经有了操作码 内存地址的概念
这些全都是机械式的实现
而且这些具体的实现细节的理念思维,很多也是跟现代计算机类似的
可想而知,zuse真的是个天才
后续还研究出来更多的Z系列
虽然这些天才式的人物并没有一起坐下来一边烧烤一边讨论,但是却总是"英雄所见略同"
几乎在相同时期，美国科学家斯蒂比兹(George Stibitz)与德国工程师楚泽独立研制出二进制数字计算机,就是Model k
Model I不但是第一台多终端的计算机，还是第一台可以远程操控的计算机。
贝尔实验室利用自身的技术优势，于1940年9月9日，在达特茅斯学院（Dartmouth College）和纽约的本部之间搭起线路.
贝尔实验室后续又推出了更多的Model系列机型
再后来又有Harvard Mark系列,哈佛与IBM的合作
哈佛这边是艾肯IBM是其他三位
Mark I也通过穿孔带获得指令,和Z1是不是相同?
穿孔带每行有24个空位
前8位标识用于存放结果的寄存器地址，中间8位标识操作数的寄存器地址，后8位标识所要进行的操作
——结构已经非常类似后来的汇编语言
内部还有累加寄存器,常数寄存器
机电式的计算机中,我们可以看到,有些伟大的天才已经构思设想出来了很多被应用于现代计算机的理论
机电时期的计算机可以说是有不少机器的理论模型已经算是比较接近现代计算机了
而且,有不少机电式的型号一直发展到电子式的年代,部件使用电子管来实现
这为后续计算机的发展提供了不可磨灭的贡献
电子管
我们现在再转到电学史上的1904年
一个叫做弗莱明的英国人发明了一种特殊的灯泡-----电子二极管
先说一下爱迪生效应:
在研究白炽灯的寿命时，在灯泡的碳丝附近焊上一小块金属片。
结果，他发现了一个奇怪的现象：金属片虽然没有与灯丝接触，但如果在它们之间加上电压，灯丝就会产生一股电流，趋向附近的金属片。
这股神秘的电流是从哪里来的？爱迪生也无法解释，但他不失时机地将这一发明注册了专利，并称之为“爱迪生效应”。
此处完全可以看得出来,爱迪生是多么的有商业头脑,这就拿去申请专利去了~此处省略一万字....
金属片虽然没有与灯丝接触,但是如果他们之间加上电压,灯丝就会产生一股电流，趋向附近的金属片
就是图中的这样子
而且这种装置有一个神奇的功能:单向导电性,会根据电源的正负极连通或者断开
其实上面的形式和下图是一样的,要记住的是左边靠近灯丝的是阴极 阴极电子放出
用现在的术语解释就是:
阴极是用来放射电子的部件, 分为氧化物阴极和碳化钍钨阴极。
一般来说氧化物阴极是旁热式的, 它是利用专门的灯丝对涂有氧化钡等阴极体加热, 进行热电子放射。
碳化钍钨阴极一般都是直热式的,通过加热即可产生热电子放射, 所以它既是灯丝又是阴极。
然后又有个叫做福雷斯特的人在阴极和阳极之间,加入了金属网,现在就叫做控制栅极
通过改变栅极上电压的大小和极性,可以改变阳极上电流的强弱,甚至切断
电子三极管的原理大致就是这样子的
既然可以改变电流的大小,他就有了放大的作用
不过显然,是电源驱动了他,没有电他本身不能放大
因为多了一条腿,所以就叫做电子三极管
我们知道,计算机应用的其实只是逻辑电路,逻辑电路是与或非门组成,他并不是真的在乎到底是谁有这个本事
之前继电器能实现逻辑门的功能,所以继电器被应用到了计算机上
比如我们上面提到过的与门
之所以继电器可以实现逻辑门的功能,就是因为它具有"控制电路"的功能,就是说可以根据一侧的输入情况,决定另一侧的情况
那新发明的电子管,根据它的特性,也可以应用于逻辑电路
因为你可以控制栅极上电压的大小和极性,可以改变阳极上电流的强弱,甚至切断
也达到了根据输入,控制另外一个电路的功能,只不过从继电器换成电子管,内部的电路需要变化下而已
电子阶段
现在应该说一下电子阶段的计算机了,可能你早就听过了ENIAC
我想说你更应该了解下ABC机.他才是真正的世界上第一台电子数字计算设备
阿塔纳索夫-贝瑞计算机（Atanasoff–Berry Computer，通常简称ABC计算机）
1937年设计，不可编程，仅仅设计用于求解线性方程组
但是很显然,没有通用性,也不可编程,也没有存储程序机制,他完全不是现代意义的计算机
上面这段话来源于:http://www4.ncsu.edu/~belail/The_Introduction_of_Electronic_Computing/Atanasoff-Berry_Computer.html
主要陈述了设计理念,大家可以上面的这四点
如果你想要知道你和天才的距离,请仔细看下这句话
he jotted down on a napkin in a tavern
世界上第一台现代电子计算机埃尼阿克(ENIAC),也是继ABC之后的第二台电子计算机.
ENIAC是参照阿塔纳索夫的思想完整地制造出了真正意义上的电子计算机
奇葩的是为啥不用二进制...
建造于二战期间,最初的目的是为了计算弹道
ENIAC具有通用的可编程能力
更详细的可以参看维基百科:
https://zh.wikipedia.org/zh-cn/%E9%9B%BB%E5%AD%90%E6%95%B8%E5%80%BC%E7%A9%8D%E5%88%86%E8%A8%88%E7%AE%97%E6%A9%9F
不过ENIAC程序和计算是分开的,也就意味着你需要手动输入程序!
并不是你理解的键盘上敲一敲就好了,是需要手工插接线的方式进行的,这对使用来说是一个巨大的问题.
有一个人叫做冯·诺伊曼,美籍匈牙利数学家
有意思的是斯蒂比兹演示Model I的时候,他是在场的
而且他也参与了美国第一颗原子弹的研制工作,任弹道研究所顾问,而且其中涉及到的计算自然是极为困难的
我们说过ENIAC是为了计算弹道的,所以他早晚会接触到ENIAC,也算是比较顺理成章的他也加入了计算机的研制
冯诺依曼结构
1945年，冯·诺依曼和他的研制小组在共同讨论的基础上
发表了一个全新的“存储程序通用电子计算机方案”——EDVAC（Electronic Discrete Variable Automatic Computer）
一篇长达101页纸洋洋万言的报告，即计算机史上著名的“101页报告”。这份报告奠定了现代电脑体系结构坚实的根基.
报告广泛而具体地介绍了制造电子计算机和程序设计的新思想。
这份报告是计算机发展史上一个划时代的文献，它向世界宣告：电子计算机的时代开始了。
最主要是两点:
其一是电子计算机应该以二进制为运算基础
其二是电子计算机应采用存储程序方式工作
并且进一步明确指出了整个计算机的结构应由五个部分组成：
运算器、控制器、存储器、输入装置和输出装置,并描述了这五部分的职能和相互关系
其他的点还有,
指令由操作码和地址码组成,操作码表示操作的性质,地址表示操作数的存储位置
指令在存储器内按照顺序存放
机器以运算器为中心,输入输出设备与存储器间的数据传送通过运算器完成
人们后来把根据这一方案思想设计的机器统称为“冯诺依曼机”,这也是你现在(2018年)在使用的计算机的模型
我们刚才说到,ENIAC并不是现代计算机,为什么?
因为不可编程,不通用等,到底怎么描述:什么是通用计算机?
1936年，艾伦·图灵(1912-1954)提出了一种抽象的计算模型 —— 图灵机 (Turing Machine）
又称图灵计算、图灵计算机
图灵的一生是难以评价的~
我们此处仅仅说他对计算机的贡献
下面这段话来自于百度百科:
图灵的基本思想是用机器来模拟人们进行数学运算的过程
所谓的图灵机就是指一个抽象的机器
图灵机更多的是计算机的科学思想,图灵被称为 计算机科学之父
它证明了通用计算理论，肯定了计算机实现的可能性
图灵机模型引入了读写与算法与程序语言的概念
图灵机的思想为现代计算机的设计指明了方向
冯诺依曼体系结构可以认为是图灵机的一个简单实现
冯诺依曼提出把指令放到存储器然后加以执行,据说这也来源于图灵的思想
至此计算机的硬件结构(冯诺依曼)以及计算机的自然科学理论(图灵)
已经比较完全了
计算机经过了第一代电子管计算机的时代
随后出现了晶体管
晶体管
肖克利1947年发明了晶体管,被称为20世纪最重要的发明
硅元素1822年被发现,纯净的硅叫做本征硅
硅的导电性很差,被称为半导体
一块纯净的本征硅的半导体
如果一边掺上硼一边掺上磷 然后分别引出来两根导线
这块半导体的导电性获得了很大的改善,而且,像二极管一样,具有单向导电性
因为是晶体,所以叫做晶体二极管
而且,后来还发现加入砷 镓等原子还能发光,称为发光二极管 LED
还能特殊处理下控制光的颜色,被大量应用
如同电子二极管的发明过程一样
晶体二极管不具有放大作用
又发明了在本征半导体的两边掺上硼,中间掺上磷
这就是晶体三极管
只要电流I1 发生一点点变化 电流I2就会大幅度变化
也就是说这种新的半导体材料就像电子三极管一样具有放大作
所以被称为晶体三极管
晶体管的特性完全适合逻辑门以及触发器
世界上第一台晶体管计算机诞生于肖克利获得诺贝尔奖的那年,1956年,此时进入了第二代晶体管计算机时代
再后来人们意识到:晶体管的工作原理和一块硅的大小实际没有关系
可以将晶体管做的很小,但是丝毫不影响他的单向导电性,照样可以方法信号
所以去掉各种连接线,这就进入到了第三代集成电路时代
随着技术的发展,集成的晶体管的数量千百倍的增加,进入到第四代超大规模集成电路时代
433个量子比特！IBM发布最大超导量子计算机，比特数量超谷歌7倍
周三，IBM召开了2022年IBM量子峰会，宣布在量子硬件和软件方面均取得了新的突破性进展，并概述了其对以量子为中心的超级计算的开创性愿景。
在未来，量子计算机有望将计算速度提高到今天最快的超级计算机的百万倍！
433量子比特处理器，够大！
IBM周三表示，它推出了迄今为止最强大的量子计算机处理器，名为Osprey，这是一台433个量子比特的机器，其量子比特数量是去年宣布的Eagle机器的三倍。
虽然不同的量子计算机公司对其量子比特的功率有不同的说法，但量子比特的数量，或称量子比特，是使用量子力学的量子计算机功率的一个标志，而量子比特可以通过许多不同的方式创建。
IBM Osprey的量子比特数居IBM量子处理器第一位，其数量是去年宣布的Eagle机器的三倍。
该处理器可以运行复杂的量子计算，拥有远超任何经典计算机的计算能力。如果用经典比特来表示IBM Osprey处理器的一个状态，其数量要远远超过已知宇宙中原子的总数！
目前，IBM在全球拥有20多台量子计算机，客户可以通过云平台进行访问。
IBM 高级副总裁兼研究总监Darío Gil介绍称：「新的 433 量子比特Osprey处理器的出现，使我们离量子计算机用于解决以前无法解决的问题更近了一步。」
「我们正在不断扩大和推进我们的量子技术，包括硬件、软件和经典集成，与我们的合作伙伴和世界各地的客户一起，迎接我们这个时代的最大挑战。这项工作将成为即将到来的以量子为中心的超级计算时代的基础。」
配套量子系统明年上线，更加模块化
除了处理器，IBM还推出了下一代量子配套系统。
Gil表示，IBM仍努力研发具有1000多个量子比特的计算机。为了进一步扩大规模，IBM团队正在尝试一种新方法。
「Osprey芯片的尺寸已经很大了。而明年，含有1000量子比特的芯片将会更大，」Gil说：「所以在那之后，我们一直在设计和建造一款全新、基于模块化的整个量子计算的系统。」
IBM将这个模块化系统称为Quantum System 2。
Gil称：「Quantum System 2是第一个真正的模块化量子计算系统，随着时间的推移，系统规模将持续扩大。」「模块化意味着芯片本身要相互连接。」
IBM表示，通过连接其中的三个系统，它可以构建一个拥有多达 16,632 个量子比特的系统。
IBM称，Quantum System 2模块化、灵活，可将多个处理器结合成一个具有通信链路的系统。
IBM表示，公司目标是在2023年底前上线这个系统，通过连接多个Quantum System 2，成为 「以量子为中心的超级计算」的集群。
其他方面，IBM 还展示了新的 IBM Quantum Safe 技术、客户和生态系统扩展等生态内容。
IBM研究员兼Quantum副总裁Jay Gambetta说：「2022年IBM量子峰会标志着全球量子计算领域发展的一个关键时刻。随着我们不断提高量子系统的规模，使其使用更简单，我们将看到量子技术的使用和量子计算行业的成长。」
探索量子计算的路上，IBM稳步前行
那么，这款IBM史上最强量子计算机的发布，对我们来说又意味着什么呢？这还要从量子计算机能做的事儿说起。
理论上讲，量子能够以更快的方式进行运算。许多传统计算机需要花几年解决的问题，量子计算机可能几天就完成了。
而量子比特则是一项描述量子计算机运算能力的重要参数——量子比特数越大，计算机中的组件就越多，能够以指数方式执行的计算就越多。
迄今为止，与传统计算机相比，量子计算机已经在某些任务中证明了自己的显著优势。
甚至还有不少专家预测：如果量子纠错能力和量子比特数能将过去两年的发展速度保持下去，量子计算机完全可能比当今最快的超级计算机——还要快数百万倍！
所以，Osprey的发布不仅为2023年推出含有1,121个量子比特的计算机Condor铺平了道路，也证明IBM正在通过新硬件、软件和系统突破实现以量子为中心的超级计算的道路上稳步前进。
2016年，「蓝色巨人」将第一台可供任何人进行实验的量子计算机放在云上——这是一台具有5个量子比特的设备。每个超导电路被冷却至接近绝对零度（-273℃）。
2019和2020年，他们则连续推出了包含27和65个量子比特的计算机Falcom和Hummingbird——没错，IBM的每一款量子计算机，都是以鸟类命名的。
真不知道在不久的将来，是否会出现以「百鸟之王」孔雀命名的机器。反正小编我是已经期待上了！
2021年，IBM 推出了首款拥有100多个量子比特的量子处理器Eagle。它不仅使原来达到的量子比特数增加了一倍，还成为了IBM第一台超过100比特的量子计算机。
如今，Osprey的推出再一次将量子比特的数量提升了近3倍！我们完全可以相信，IBM能够在2023年交付世界上第一台拥有超过1,000个量子比特的通用量子计算机Condor。
当然，「蓝色巨人」的雄心，可远不止1,000个量子比特而已。
今年夏天，IBM刚刚发布了最新路线图，计划制造以量子比特为中心的超级计算机。
从发布会的规划图中我们可以清晰地看到：除Condor外，他们还计划在2023年发布的下一个QPUHeron中引入一种新的耦合器，以此调整量子比特之间的耦合，并展示了可能会在2025年发布4000个甚至更多量子比特的计划。
IBM量子计算部门的首席硬件架构师Oliver Dial表示：「到 2024 年底，在我们的『100x100计划』中，我们预计通过并行运行多个Heron芯片降低错误率，以此实现100量子比特宽、100门深的系统，从而完成对传统计算机的超越。」
IBM还宣布，他们正在与通信技术公司沃达丰合作开发后量子学。可以抵御未来可能迅速破坏现代的量子计算机。
当然，Dial也承认：虽然到目前为止，IBM大体还能按照规划图稳步前进，但比特的数量显然只是对量子计算庞大且艰巨的探索中的一部分。更长的相干时间和对噪声的减少，同样需要纳入考量。
以上就是433个量子比特！IBM发布最大超导量子计算机，比特数量超谷歌7倍的详细内容，更多请关注php中文网其它相关文章！
active-directory – 在将计算机加入域之前将计算机添加到AD有什么问题吗？
解决方法
IBM 宣布 20 量子位计算机，并扩展开源量子软件包
IBM 从去年开始就提供量子计算作为云计算服务，当时它推出了 5 qubit 版本的高级计算机。 而近日，该公司宣布发布 20-qubit 量子计算机，仅用 18 个月的时间便实现了飞跃。（Qubit，即量子位，量子计算器中的最小信息单位，出处计算机量子物理。）
最初版本的 IBM 量子计算机是免费提供给社区使用，并帮助教育人们编程和使用这些设备，而此次宣布的 20-qubit 量子计算机是第一个商业产品，它将在年底之前提供。
IBM Q 研究副总裁 Dario Gil 表示，qubit 量子单位越大，则需要处理的交互就越复杂，发生错误的概率就越高。不过，目前 IBM 的研究人员正设法解决高量子单位高错误率的问题。
IBM 还在官方博客中简要表示，将扩展开源量子软件包 QISKit，为量子计算提供世界上最先进的生态系统。
目前，IBM 正在与标准组织合作试图开发后量子计算加密算法，尽管实现这一点还有很长的路要走，但他们似乎理解了这些问题的严重性，并试图缓解这些问题。
参考：TechCrunch，IBM news room
关于从图灵机到量子计算机，计算机可以解决所有问题吗？和图灵机就计算能力而言的问题就给大家分享到这里，感谢你花时间阅读本站内容，更多关于1.计算机发展阶段 计算机发展历史 机械式计算机 机电式计算机 电子计算机 逻辑电路与计算机 二极管 电子管 晶体管 硅 门电路 计算机 电磁学计算机二进制、433个量子比特！IBM发布最大超导量子计算机，比特数量超谷歌7倍、active-directory – 在将计算机加入域之前将计算机添加到AD有什么问题吗？、IBM 宣布 20 量子位计算机，并扩展开源量子软件包等相关知识的信息别忘了在本站进行查找喔。
本文标签：
