rethink

自打印和递归定理
2025-05-24-> 2025-05-25

如何在 python 中写出大量 quine 自复制程序并引出递归定理

集合论基础
2025-03-08-> 2025-03-14

陶哲轩《实分析》中第三章和第八章笔记的整理，如何用精巧的语言编造出‘收纳天地的乾坤袋’

以函数为中心：lambda 演算和组合子逻辑
2024-07-28-> 2024-09-11

为什么能用函数编码一切？为什么 lambda 演算理论上等价于图灵机以及等价于现代计算机，组合子逻辑和世界运行的普遍规律有什么关系? 如何实现一个以字符串替换为核心的具有通用功能（图灵完备）解释器？

概率和统计间的旋转门 -- 极限理论
2024-03-28-> 2024-09-06

尝试回答：概率中不确定性如何能通过数学方法从理论上缓解或消除？随机变量 X 依概率收敛于 Y, 是否意味着 X 和 Y 的相关系数为 1, 是否意味着 X 和 Y 遵循的两个分布很接近，比如 KL 散度为 0 ？概率中不等式的弱和强表示什么？通过什么手段可以让不等式变强...