我们都曾经在高一的时候学习过基础的谓词逻辑，其中谓词逻辑最核心的两点，一个是谓词，一个是量词，谓词指的是从论域Q到布尔值\to …

  Define a single inference rule as an ordered pair \langle X/y\r …

The Paradox The Naive Set Theory is considered inconsistent for a …

What are propositions and sets? Why are they related to us?   It’ ̷

  The type inference algorithm always plays an important role in …

  之前在群里和群友讨论，如果你不打算搞纯理论方向的研究，那么学习理论知识究竟有什么意义，就拿计算机语言说事，看上去现在的绝大部分 …

Theoretical Foundation of Typechecking Algorithm for Equi-Recursi …

The Proof of Knaster-Tarski Theorem Definition[Monotone Function] …

对物语系列主角的思考——阿良良木历的虚伪从何而来   从终物语的剧情来看，阿良良木历拥有一个非常扭曲的人格，混合了自我厌恶，排外和 …

  我怀着非常生气的心情写下这篇文章，因为为了解决这个问题我毁掉了自己的生产环境。   在 …