知识
概率论的解释：《概率论沉思录》笔记
在概率论（和统计）中有频率学派（Frequentist）和贝叶斯学派（Bayesian）两大流派。后者引入了先验概率和后验概率的概念，在人工智能时代获得了更多的支持。《概率论沉思录》一书的作者采取了更广阔的视角，试图让我们以正确的方式建立直觉。…
希尔伯特第三问题的证伪细节
希尔伯特第三问题是说：给定两个体积相等的多面体，是否总能将一个切成有限个多面体，通过平移、旋转组合成另一个？…
LISP 模式：图灵完备及元编程
在 1960 年，John McCarthy 中一篇论文中定义了一个名为 Lisp（意为 list processing）的编程语言。Paul Graham 认为，“目前为止只有两种真正干净利落，始终如一的编程模式：C 语言模式和 Lisp 语言模式。此二者就像两座高地……随着计算机变得越来越强大，新开发的语言一直在坚定地趋向于 Lisp 模式。”
Lisp 似乎受到了 Lambda 演算与 Kleene 的递归论的影响，但不完全来自于它们。…
无类型 λ 演算与重写系统
本文讨论 Alonzo Church 发明的无类型 λ 演算 Lambda Calculus. 这是一个类型论与函数式编程的基础模型。…
迷宫生成算法的若干方案
本文迁移自之前的文章集。包含固定大小迷宫的随机化 Prim 算法与无限迷宫的递归分割算法。对应在线项目见于迷宫生成算法演示。…