计算的本质

算盘

• 算盘也靠一套珠算口诀来控制操作，而不是心算。所以用算盘，人就是机械操作而已，而不是头脑运算。

机械计算机

• 进入发展死胡同，机械计算机越做越精巧，内部结构越来越复杂。按照大家的思路，要想实现更复杂的功能，就需要设计和制造更复杂的机械，但机械复杂到一定程度后，就无法造出来了。

布尔

• 提出了布尔代数，但是布尔在世的时候并不知道发明的这个东西有啥用

香农

• 香农发现世界上的很多现象和布尔代数的逻辑是对应的，比如电压高低、
• 进一步发现，加减乘除各种运算都是由很多个基本的逻辑电路“搭”出来的
• 香农在布尔代数和算术运算之间打起来一座桥梁，这个桥梁就是简单的逻辑电路

超算

• 超算其实更多的是工程成就

计算机发展历程

• 如果想直接实现微积分很困难
• 但是如果把微积分计算变成加、减、乘、除运算，再变成更为简单的二进制逻辑运算，事情就变得容易多了。

量子计算机

• 量子计算机不是突破了二进制，
• 计算不论采用了几进制，在数学上都是等价的

图灵

• 抛开具体的技术问题，回到计算机本质

  • 数学问题是否都有明确的答案。（引申出对数学边界的定义问题）
  • 有明确的答案，是否可以通过有限步计算得到答案
  • 对于有限步计算出的数学问题，能否有一种假想的机器进行计算

• 图灵机

  • 意义：
    • 将数学问题分为了两类，一类可以用图灵机在有限步内完成计算，另一类不可以。（计算机上一个问题可以不可以解，不是指在数学上能否能计算，而是指图灵机能否算出来）
    • 图灵机给后人设计计算机指定了一个原则（存储地址、计算机状态、规则表、读写头）
    • 图灵机将求解数学问题的过程和机械运动对应起来了，今天计算机的本质其实就是机械运动

• 图灵贡献：超越时代，告诉大家什么问题能解决，什么不能，对可以解决问题给出一个大方向

• 至今为止，计算机相关理论和技术发展都没有超越图灵机的范畴，80多年前图灵为计算机所能解决的问题划的那条线，至今还没有被逾越

人工智能的极限

• 所有问题>数学问题>可判定的问题>有答案的问题>可计算问题（图灵机）>工程可解问题>人工智能可解问题
• 人工智能能够做越来越多的事情，但是不论怎么扩展，它都不可能超过可计算这个范畴