240 发简信
IP属地:上海
  • Proof Theory 番外篇

    A-> B (meta language) A⊢ B (formal language) A implies B ...

  • Proof Theory 摘要第五辑

    Apply rules of inference to derive conclusions Schema:符合我们语言语法规则(除了用原变量替代various subpar...

  • Proof Theory 摘要第四辑

    Logic Equivalence 当两个sentence在truth table里满足的条目完全一致时,我们认为这两个sentence满足 Logic Equivalenc...

  • Proof Theory 摘要第三辑

    Proposition 指代的是在观察集内一种可能发生的条件 而 Propositional Logic 关注的是 Proposition 和他们之间的相互关系 Propos...

  • Proof Theory 摘要第二辑

    一组判断(sentence)能否得到(entail not reasoning)一个结论(conclusion)的基础条件是,这组判断是否在任何情况上都为真。 A set o...

  • Proof Theory 摘要第一辑

    证明理论(proof theory)是一个在数学证明中的概念,大多民间研究者被冠以”民科“的一大原因就是因为他们往往用一些想当然收集到的事例来证明自己的观点或者发现,这个论证...

  • 刻个鬼哦刻!

    战国时期楚国有一个人,坐船过江的时候不小心,携带的剑坠入了江中。于是他就在船边刻了个记号。船停了,他就从刻了记号的地方下水去寻找他的剑…… 好了好了,相信大家都知道,刻舟求剑...