摘要：
0的哲学 0在我们生活中最常见的就是 占位。比如205，如果没有0，就变成了25，我们就没有办法有效地区分25和205. 起点。比如尺子中的刻度 否定。比如1代表是，0代表否 除了这些常见的地方，0最厉害之处就是可以：简化规则、统一规范。 下面举几个例子 空计划 比如医生给我们制定了一个吃药任务，按 阅读全文
摘要：
一、概念 能否写出一个程序，判断其他程序是否会结束？ 比如，求和函数sum计算[1,2]，check_halt(sum, [1, 2])应该返回true 虽然我们特别想要这样的功能，让我们提前做灾备工作，避免重大的程序风险，但是这是一个不可解的问题，可以用反证法来证明。 什么是反证法？ 就是先假设“ 阅读全文