规则足够丰富的博弈足以表达出一阶逻辑，从而蕴含各种类型的计算
目前发现用来解释：
极限定义
Category: 小知识点
arxiv上这篇看不懂。但是看知乎上这篇，倒是学到了一些东西，只是一些基础的定义，https://zhuanlan.zhihu.com/p/75390268，作者解释得十分有趣，一开始跳过文章链接里附的证明，只看文章还能看得明白，但是讲到这儿
2018年，黄皓突然意识到可以借用一个已经有200年历史的柯西隔行扫描定理。
及之后的内容就看不明白了。
- 知识拓展
暑假结束一定要弄明白证明是什么意思，看文章是只用了线性代数知识证明的。同济的紫书确确实实可以扔掉了，机械化知识填鸭。
