计算

自我打印程序和递归定理
2025-05-24-> 2025-07-03

程序的“自我”是什么?如何在 python 中写出大量打印“自我”的程序并引出递归定理, lambda 演算, Y 算子等

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

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