数学与逻辑

函数是一条规则：给出一个输入，它就给出唯一一个输出。

集合论是数学的通用语言：一切从“一堆东西”开始。

几何从五条公理出发，推出了两千年的确定性。

三角学量角与周期，解析几何把图形写成方程。

数感不是算得快，而是对多与少的直觉。

数学是把话说到精确的语言。

算术算具体数字，代数请字母当替身，一次算清一整类问题。

统计帮你从一堆乱数据里，看出趋势、谎言和真相。

对称就是做一次变换后，看起来没变。

概率让你承认运气的分量，然后算着运气往前走。

微积分是研究“变化”的数学，一门算清瞬间与累积。

无穷让直觉失灵，极限是驯服无穷的缰绳。

证明就是用无可反驳的推理，把猜想变成必然。

悖论不是文字游戏，它逼着数学重画地基。

命题逻辑只关心真假，把推理算成一张表。

「必然」与「可能」可以像「非」「且」一样当符号来算。

命题逻辑看整句真假，谓词逻辑把句子拆成零件。

演绎从规则推出必然，归纳从例子猜出大概。