一阶逻辑的博弈语义

规则足够丰富的博弈足以表达出一阶逻辑,从而蕴含各种类型的计算

目前发现用来解释:

极限定义

Advertisements

27/7/2019 敏感度猜想

arxiv上这篇看不懂。但是看知乎上这篇,倒是学到了一些东西,只是一些基础的定义,https://zhuanlan.zhihu.com/p/75390268,作者解释得十分有趣,一开始跳过文章链接里附的证明,只看文章还能看得明白,但是讲到这儿

2018年,黄皓突然意识到可以借用一个已经有200年历史的柯西隔行扫描定理。

及之后的内容就看不明白了。

  • 知识拓展

暑假结束一定要弄明白证明是什么意思,看文章是只用了线性代数知识证明的。同济的紫书确确实实可以扔掉了,机械化知识填鸭。