更新时间：2019-08-20 17:35:44
封面
版权信息
献词
引言
第一部分 基础
第1章 这个墓穴埋葬着丢番图
第2章 无理数和超越数
第3章 几个世纪以来的发展
第二部分 可计算数
第4章 图灵的学业
第5章 运作的机器
第6章 加与乘
第7章 子程序
第8章 万物皆数字
第9章 通用机
第10章 计算机与可计算性（上）
第10章 计算机与可计算性（下）
第11章 机器与人
第三部分 判定性问题
第12章 逻辑与可计算性（上）
第12章 逻辑与可计算性（下）
第13章 可计算函数
第14章 主要证明（上）
第14章 主要证明（下）
第15章 λ演算
第16章 对连续统的设想
第四部分 题外话
第17章 万物皆是图灵机？
第18章 长眠的丢番图
参考文献
