rethink

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

陶哲轩《实分析》中第三章和第八章笔记的整理

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

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