#定理

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)首次证明了这一点。它通常指的是磁场,但最初应用于静电场。 恩肖定理适用于经典的平方反比定律(电力和重力),也适用于永磁体的磁力,如果永磁体是硬的(磁体的强......
2020-8-5 16:46
你有没有注意到,你是如何在前一秒怒气冲冲,下一秒又完全平静下来的? 一个混蛋司机在高速公路上拦下你,你就大发雷霆了。过了一会儿,你注意到他把车开进了医院,你的怒火就消失了。“是的,也许他车里有个病人。或者,也许亲近的人快要死了。我猜他终究不是个混蛋。“。 概率论中的一条晦涩难懂的法则,叫做贝叶斯定理,很好地解释了这一......