2023.9.30 编：毕导出了一期视频讲解哥德尔不完备（第一、第二）定理，还蛮不错的，推荐观看。这里是链接：https://www.bilibili.com/video/BV19u4y1D7GT 元数学是什么 元数学就是研究数学的数学。 皮亚诺公理和形式系统都是在定义数学的微缩模型： [皮亚诺公理](https://zh.wikipedia.org/wiki/%E7%9A% ...

pdf ...

编程珠玑每一章讲了编程、开发的不同的方面。 第一章讲如何准确、正确的定义问题。 第二章讲算法设计（灵光一现，啊哈！算法）。 第三章提到数据结构和编程的关系（欸有点面向对象的感觉）。 第四章运用循环不变式来证明程序的正确性。 第五章运用脚手架、断言调试程序。 第六章概述了加速程序的几个方向，并在第八至x章分别阐述。 第七章书如其名：粗略估算。 第八章重新设计算 ...

数学总是持续在自身的基础上构建，所以学习时的步步跟进就显得很重要。 > 数学中常常会引入重要的新思想，新思想会比旧思想更加复杂，每一个新思想的引入都有可能把我们甩在后面。 > 人们在学习高等数学时，走到一个证明的结尾处，通常会经历这样的思考：“我理解每一行是怎样由前一行得到的，但是我却不明白为什么这个定理是正确的，人们是怎样想到这个论证的。”我们经常想从证明中得到更多的东西，而不仅 ...

《数学女孩》系列以小说的形式展开，重点描述一群年轻人探寻数学中的美。内容由浅入深，数学讲解部分十分精妙，被称为“绝赞的数学科普书”。 —— 图灵新知 数学女孩 1-6 大纲 《数学女孩》：由浅至深讲解了等比数列、泰勒展开、 无穷级数、生成函数、卷积、调和数、分拆数等知识 《数学女孩2：费马大定理》 ...