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