可计算思想-【出版物】-录音小样

我们从机器人偶的故事回归到人工智能。人工智能是以机器为载体所实现的人类智能或生物智能。“工欲善其事，必先利其器”，那么目前实现智能算法的计算之器、也就是我们现在广泛使用的计算机到底从何而来呢？任何事物的产生都需要有理论基础，人类从手工计算到自动计算经历了漫长的年代，是可计算思想的蓬勃发展直接推动了现代计算机的产生。什么是可计算思想呢？20世纪初，人们发现有许多问题无法找到解决的答案和方法，如我们所熟知的费马猜想就是没有答案的。于是当时一些学者开始猜测，是否对这些问题来说根本就不存在算法，也就是说这些问题是不可计算的。为了研究可计算和不可计算等问题，可计算性思想得以提出。为了研究可计算思想，必须要有计算的工具，即计算之器。20世纪30年代，科学家们分别设计了一些计算武器，包括哥德尔从数学角度提出的原始递归函数、阿隆佐·邱奇从数理逻辑角度提出的。 如果你对这部分内容感兴趣，可在文档区提供的视频中了解更详细的信息。而真正推动人类第一台计算机诞生的是1937年由图灵从机械角度提出的图灵机模型。在图灵机模型中，我们事先将已经写好的程序存入程序控制器，一旦图灵机从两端无限长的纸带上读入数据或任务指令，就可“按部就班”促发预设程序，直至图灵机停机，完成可计算的任务。由于图灵机从机械角度来完成计算任务，图灵机成为人类历史上诞生的第一台计算机的理论模型。任何一个任务，如果它是可计算的，它就一定能被图灵机所完成；反过来，如果一个任务不能被图灵机完成，或者使图灵机陷入死循环无法停机，那么这个任务就是不可计算的。