读改变未来的九大算法笔记08_并非万能的算法
1. 有些问题根本不可能通过计算机解决，不管计算机有多强大或人类程序员有多聪明
2. 不可计算问题
2.1. 20世纪30年代末
2.1.1. 美国人阿隆佐·邱奇
2.1.1.1. Alonzo Church
2.1.1.2. 在计算理论上的突破性工作至今仍是计算机科学许多方面的基础
2.1.1.3. 单独发现了不可判定问题的存在
2.1.1.3.1. 比图灵早几个月发表了自己的成果
2.1.1.3.2. 邱奇的公式更为抽象，且并未详尽地提及由机器执行的计算
2.1.2. 英国人阿兰·图灵
3. 计算机软件的可靠性
3.1. 通常的情况
3.1.1. 即便高质量、编写良好的软件都会做些偏离其原有目的的事
3.2. 糟糕的情况
3.2.1. 软件崩溃，你丢失了正在处理的数据或文件
4. 可以证明不可能
4.1. 可以证明不可能存在一个能侦测所有计算机程序中所有潜在崩溃的自动化软件检查器
4.2. 反证法（Proof by Contradiction）
4.2.1. 假设怀疑某个声明S为假，但你想确信无疑地证明其为假。你先假设S为真
4.2.2. 你先假设S为真
4.2.3. 通过进行一些推理，你得出某个声明T也必须为真
4.2.4. 如果已知T为假，就出现了矛盾
4.2.5. 这能证明你的原始假设（S）也必为假
4.2.6. S导出T，但T为假，因此S为假
4.3. 实验前提
4.3.1. 任何程序可以将任何文件作为输入运行，但输出结果通常为乱码，除非输入文件本该配合由你选择运行的程序
4.3.2. 计算机程序作为文件被存储在计算机磁盘上，因此一个程序可以用另一个程序作为其输入文件运行
4.3.3. 计算机程序能将其自身文件作为输入运行
5. 发现崩溃的不可能性
5.1. 图
