rethink
陶哲轩《实分析》中第三章和第八章笔记的整理
如何用 python 代码对古语‘尽人事,听天命’建模
为什么能用函数编码一切?为什么 lambda 演算理论上等价于图灵机以及等价于现代计算机,组合子逻辑和世界运行的普遍规律有什么关系? 如何实现一个以字符串替换为核心的具有通用功能(图灵完备)解释器?
陶哲轩《实分析》中第三章和第八章笔记的整理
如何用 python 代码对古语‘尽人事,听天命’建模
为什么能用函数编码一切?为什么 lambda 演算理论上等价于图灵机以及等价于现代计算机,组合子逻辑和世界运行的普遍规律有什么关系? 如何实现一个以字符串替换为核心的具有通用功能(图灵完备)解释器?