#定理
A Review of the Lean Theorem Prover(jiggerwit.wordpress.com)
2020-12-28 21:50
当我开始寻找比HOL-Light更强大的基础系统时，我转向了Lean。HOL-Light是我多年来一直乐于使用的校对助手。 HOL-Light擅长于其工作（例如真实和复杂的分析），但在处理大型对象（例如所有集合的类别）方面却不足。
Coq和Lean均基于CiC（归纳结构演算）的逻辑基础。与HOL不同，CiC可以轻松......
Earnshaw's Theorem(en.wikipedia.org)
2020-11-16 3:2
跳转到导航跳跃搜索恩肖定理指出，仅靠电荷的静电相互作用，点电荷的集合不能保持稳定的稳定平衡构型。1842年，英国数学家塞缪尔·恩肖(Samuel Earnshaw)首次证明了这一点。它通常指的是磁场，但最初应用于静电场。
恩肖定理适用于经典的平方反比定律(电力和重力)，也适用于永磁体的磁力，如果永磁体是硬的(磁体的强......
Bayes Theorem: A Framework for Critical Thinking(neilkakkar.com)
2020-8-5 16:46
你有没有注意到，你是如何在前一秒怒气冲冲，下一秒又完全平静下来的？
一个混蛋司机在高速公路上拦下你，你就大发雷霆了。过了一会儿，你注意到他把车开进了医院，你的怒火就消失了。“是的，也许他车里有个病人。或者，也许亲近的人快要死了。我猜他终究不是个混蛋。“。
概率论中的一条晦涩难懂的法则，叫做贝叶斯定理，很好地解释了这一......