计算机数学入门（三）：怎么证明它是对的
上一篇：（二）世界是连续的，机器是离散的——讲一堆东西怎么被压进机器。 这一篇：讲怎么确认压完之后它还是对的。 耗时：读完约 50 分钟，动手约 2 小时。 开头：一个活了 9 年的 bug 2006 年，Google 的 Joshua Bloch 在博客里写了一件事： JDK 里的二分查找是错的。 ...
上一篇：（二）世界是连续的，机器是离散的——讲一堆东西怎么被压进机器。 这一篇：讲怎么确认压完之后它还是对的。 耗时：读完约 50 分钟，动手约 2 小时。 开头：一个活了 9 年的 bug 2006 年，Google 的 Joshua Bloch 在博客里写了一件事： JDK 里的二分查找是错的。 ...