理模式?能否使用这些方法使其他重要问题取得进展? 例子:停机定理,其证明中注意力于利用算法的思想来 建立数学真理的想法 ●哲学合意:该定理是否告诉我们以前不知道的关于人类 的某些重要事恃?该定理的结论是否加上了重要的哏[x 制,或者反过来讲,是否为我;就我们可能知道的关于宇 宙以及我们自己的更深刻的洞纂开创新的机遇?何子 哥德尔(Gωle)旳不完全性定理,该定理就人类明现实 世界真理的能力加上了限制 为有资格进入我们这种荣誉的名单,一条定理必须别这些 范畴的大多数,即使不是全部的话,取得高分.无须太多想象就 能看出,利用这些过凞器很快就可以把乌拉姆估计的数百万条 定理削减到可以作尔翅模 但是伟大的窳理不是孤立存在的;他们导致重大的理论,如 前面指出过的,一条定理的薰义的重要分就在于或是在创造 这些理论或是以某神方弌养育、繁荣这些理论中作出的贡献.为 此,我这里注目的至少要像对伻20世纪伟大的理论一样地对 待伟大的定理自真 浏览一千书日录后读者可能会问,为什么本书中所考虑的 定理郗这么古老!五κ指导理论中最新的是单纯形方法,这也要 追溯到1947年,而最只的布劳威尔不动点定理发表于1910年.如 果这是我们追求的现代弋数学,即20世纪的数学,为什么20世纪 后半世纪的研究工-点没有呢?当考惹到通常的舆论认为本 世纪后半个世纪中做出的有意义的数学研究工作要比前几∴世 纪的数学研究的总和还要多时,这就更加令人费解了 这是一个相当今肖合理的问题、所以值得给予--个仔细考 虑过的回答.阿答基本士在于以下的事买,即我们实际上追求的 是伟大的理论,不是伟大的定理.而数学中伟大的理论就象伟 大的诗篇、伟大的绘画或伟大的文学一样,需要时间使之成熟以