计算机数学入门（三）：怎么证明它是对的

Tue, 03 Nov 2026 16:35:00 +0800

上一篇：（二）世界是连续的，机器是离散的——讲一堆东西怎么被压进机器。 这一篇：讲怎么确认压完之后它还是对的。

耗时：读完约 50 分钟，动手约 2 小时。

开头：一个活了 9 年的 bug

2006 年，Google 的 Joshua Bloch 在博客里写了一件事：

JDK 里的二分查找是错的。