定理
2021-7-22 21:44
我们理所当然地认为，世界某一地区的事件不会立即影响远处发生的事情。这个被物理学家称为局域性的原理长期以来被认为是关于物理定律的基本假设。因此，当阿尔伯特·爱因斯坦和两位同事在 1935 年证明量子力学允许“远距离的幽灵行动”时，正如爱因斯坦所说的那样，该理论的这一特征似乎非常值得怀疑。物理学家想知道量子力学是否遗漏了......
2020-12-28 21:50
当我开始寻找比HOL-Light更强大的基础系统时，我转向了Lean。HOL-Light是我多年来一直乐于使用的校对助手。 HOL-Light擅长于其工作（例如真实和复杂的分析），但在处理大型对象（例如所有集合的类别）方面却不足。
Coq和Lean均基于CiC（归纳结构演算）的逻辑基础。与HOL不同，CiC可以轻松......
2020-11-16 3:2
跳转到导航跳跃搜索恩肖定理指出，仅靠电荷的静电相互作用，点电荷的集合不能保持稳定的稳定平衡构型。1842年，英国数学家塞缪尔·恩肖(Samuel Earnshaw)首次证明了这一点。它通常指的是磁场，但最初应用于静电场。
恩肖定理适用于经典的平方反比定律(电力和重力)，也适用于永磁体的磁力，如果永磁体是硬的(磁体的强......
2020-8-5 16:46
你有没有注意到，你是如何在前一秒怒气冲冲，下一秒又完全平静下来的？
一个混蛋司机在高速公路上拦下你，你就大发雷霆了。过了一会儿，你注意到他把车开进了医院，你的怒火就消失了。“是的，也许他车里有个病人。或者，也许亲近的人快要死了。我猜他终究不是个混蛋。“。
概率论中的一条晦涩难懂的法则，叫做贝叶斯定理，很好地解释了这一......