《数学与泛型编程:高效编程的奥秘》一3.7 本章要点

3.7 本章要点

古希腊人对数字的“形状”以及其他一些属性(例如是不是素数,是不是完美数等)很着迷,这就给数论这一数学领域打下了基础。他们所提出的某些算法(例如埃拉托斯特尼筛法)即便在今天来看,也是相当优雅的,只不过我们还可以通过某些现代的优化技术来继续提升其效率。

* * *

读完本章之后,大家已经看到了两种能够证明是无理数的方法,一种是几何方法,另一种是代数方法。能够针对同一个数学现象提出两种完全不同的证明,这是相当好的结果,而且数学家实际上也必须像这样去寻找同一个数学现象的多种证法,以增强自己对于数学结论的信心。比方说,高斯一生就花了很多时间去寻找二次互反律(quadratic reciprocity law)这条重要定理的各种证明方法。
毕达哥拉斯学派试图用离散的数字来表示连续的现实,在这个过程中,他们发现了无理数的存在。他们这种想通过离散量来表示连续量的想法,起初看上去似乎有些天真,但实际上,直到今天计算机学者也依然在这么做,也就是说,我们依然在通过二进制数来模拟现实世界中的值。实际上,连续与离散之间的紧张关系迄今为止依然是数学的一项主题,并且有可能会一直延续下去。这种张力不仅不会阻碍数学的发展,而且还会促使我们取得进步并提出新的见解。

上一篇:WPF 使用 Expression Design 画图导出及使用 Path 画图


下一篇:Delphi7 内存管理及 FastMM 研究