#数学

【草稿】概率论反思

概率论对现实的描述何以可能指导现实活动?概率论能多大程度地描述现实?

·
【草稿】概率论反思

希尔伯特第三问题:多面体剪接的 Dehn 不变量

给定两个体积相等的多面体,是否总能将一个切成有限个多面体,通过平移、旋转组合成另一个?

·
希尔伯特第三问题:多面体剪接的 Dehn 不变量

群论知识索引

按学习历程排布的群论相关文章及符号表。

·
群论知识索引

无类型 λ 演算

Lambda Calculus 的规则、使用和合流性。

·
无类型 λ 演算

LISP 模式

最早的 LISP 及其扩展。

·
LISP 模式