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