立体几何

常用的立体几何结论。
发布于 2023-02-18

哥德尔不完备性定理的证明

公理系统中竟然存在「既不能证明,又不能证伪」的命题 ...
发布于 2023-01-09

皮亚诺公理

有人用 379 页纸证明了 1 + 1 = 2。
发布于 2022-12-14

速度增量法

碰撞问题大杀器。
发布于 2022-06-25

大同小异

发布于 2022-06-16

N1 互换

发布于 2022-06-15

端点效应

发布于 2022-06-14

泰勒展开

发布于 2022-06-11