书名：复杂（第一推动丛书·综合系列）
作者：梅拉妮·米歇尔
译者：唐璐
出版社：湖南科学技术出版社
出版时间：2018-01-01
ISBN：9787535794369
第4章 计算
- 什么是计算？什么可以计算
- 希尔伯特问题和哥德尔定理
- 图灵机和不可计算性
- 定义为图灵机的明确程序
- 通用图灵机
- 图灵对判定问题的解决
- 哥德尔和图灵的命运
先了解一下计算思想的历史以及科学家用来理解自然界复杂系统的计算概念的基础。
一、什么是计算？什么可以计算
1、信息是用来计算的
- 香农的信息定义关注的是消息源的可预测性。
- 不过在现实世界中，信息是用来分析并产生意义的东西，信息被存储，并和其他信息结合，产生结果或行为。
总之，信息是用来计算的。
2、有关计算的问题
直到20世纪40年代末，计算都是指手工进行数学运算（小学生称之为“做算术”）
现在计算指的是各式各样的计算机干的事情，另外自然界的复杂系统似乎也干这个。
但是计算到底是什么呢？它又能做些什么呢？计算机什么都能算吗？是不是存在原则上的局限性？
这些问题都是在20世纪中叶才得到解决。
