#theorem
2020-11-9 16:0
大多数程序员应该知道的一个巧妙的工具家族是“定理证明器”。如果你读的是计算机专业的大学，你可能已经接触到了…。但在编程时，您可能不会考虑使用它们。
虽然我确信它们可以用来证明定理，但我从来没有用过它们来证明定理。它们对于快速检验一些假设和找到有用的常数很有用。让我举一个简单的例子。
我们知道软件中的无符号奇数有乘法逆......
Bayes Theorem: A Framework for Critical Thinking(neilkakkar.com)
2020-8-5 16:46
你有没有注意到，你是如何在前一秒怒气冲冲，下一秒又完全平静下来的？
一个混蛋司机在高速公路上拦下你，你就大发雷霆了。过了一会儿，你注意到他把车开进了医院，你的怒火就消失了。“是的，也许他车里有个病人。或者，也许亲近的人快要死了。我猜他终究不是个混蛋。“。
概率论中的一条晦涩难懂的法则，叫做贝叶斯定理，很好地解释了这一......