24小时热门版块排行榜

返回列表

当前主题已经存档。

当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖

formleaf

木虫 (正式写手)

应助: 0 (幼儿园)
贵宾: 1.097
金币: 3383.1
散金: 2780
红花: 3
帖子: 991
在线: 69.6小时
虫号: 698652
注册: 2009-02-09
性别: GG
专业: 组合数学

[交流] 【转帖】什么是好数学

什么是好数学？

作者：Terence Tao 译者：卢昌海 –

译者序：本文译自澳大利亚数学家 Terence Tao 的近作 “What is Good Mathematics?”。 Tao 是调和分析、微分方程、组合数学、解析数论等领域的大师级的年轻高手。 2006 年， 31 岁的 Tao 获得了数学界的最高奖 Fields 奖，成为该奖项七十年来最年轻的获奖者之一。美国数学学会 (AMS) 对 Tao 的评价是： “他将精纯的技巧、超凡入圣的独创及令人惊讶的自然观点融为一体”。著名数学家 Charles Fefferman (1978 年的 Fields 奖得主) 的评价则是： “如果你有解决不了的问题，那么找到出路的办法之一就是引起 Terence Tao 的兴趣”。 Tao 虽然已经具有了世界性的声誉，但由于他的年轻，多数人 (尤其是数学界以外的人) 对他的了解仍很有限。 Tao 的这篇短文在一定程度上阐述了他的数学观，类似于英国数学家 Godfrey Hardy 的名著《A Mathematician's Apology》，相信会让许多读者感兴趣 (如果哪位读者想接受 Fefferman 的忠告，让自己的问题有朝一日引起 Tao 的兴趣，那么读一读这篇文章可能会有所助益:-)。不过 Tao 的这篇文章远比《A Mathematician's Apology》难读得多。从表面上看，它不带任何数学公式，这点甚至比《A Mathematician's Apology》做得更为彻底 (后者还带有一些 12+12=2 之类的数学公式)，但实际上，文章的主要部分 - 即第二节 (对应于译文中篇的全部及下篇的大部分) - 所涉及的数学概念相当密集，足以给非数学专业的读者造成很大的困难，因此译文对译者知识所及且能用简短方式加以说明的若干概念进行了注释。本译文略去了原文的摘要、文献及正文中单纯与文献有关的个别文句 (即诸如 “感兴趣的读者请参阅某某文献” 之类的文句)。

1. 数学品质的诸多方面

我们都认为数学家应该努力创造好数学。但 “好数学” 该如何定义？甚至是否该斗胆试图加以定义呢？让我们先考虑前一个问题。我们几乎立刻能够意识到有许多不同种类的数学都可以被称为是 “好” 的。比方说， “好数学” 可以指 (不分先后顺序)：

好的数学题解 (比如在一个重要数学问题上的重大突破)；
好的数学技巧 (比如对现有方法的精湛运用，或发展新的工具)；
好的数学理论 (比如系统性地统一或推广一系列现有结果的概念框架或符号选择)；
好的数学洞察 (比如一个重要的概念简化，或对一个统一的原理、启示、类比或主题的实现)；
好的数学发现 (比如对一个出人意料、引人入胜的新的数学现象、关联或反例的揭示)；
好的数学应用 (比如应用于物理、工程、计算机科学、统计等领域的重要问题，或将一个数学领域的结果应用于另一个数学领域)；
好的数学展示 (比如对新近数学课题的详尽而广博的概览，或一个清晰而动机合理的论证)；
好的数学教学 (比如能让他人更有效地学习及研究数学的讲义或写作风格，或对数学教育的贡献)；
好的数学远见 (比如富有成效的长远计划或猜想)；
好的数学品味 (比如自身有趣且对重要课题、主题或问题有影响的研究目标)；
好的数学公关 (比如向非数学家或另一个领域的数学家有效地展示数学成就)；
好的元数学 (比如数学基础、哲学、历史、学识或实践方面的进展)； [译者注：此处 “元数学” 译自 “meta-mathematics”，不过这里所举的有些内容，如历史、实践等，通常并不属于元数学的范畴。]
严密的数学 (所有细节都正确、细致而完整地给出)；
美丽的数学 (比如 Ramanujan 的令人惊奇的恒等式；陈述简单漂亮，证明却很困难的结果)；
优美的数学 (比如 Paul Erd?s 的 “来自天书的证明” 观念；通过最少的努力得到困难的结果)； [译者注： “来自天书的证明” 译自 “proofs from the Book”。 Paul Erd?s 喜欢将最优美的数学证明说成是来自 “The Book” (我将之译为 “天书”)，他有这样一句名言：你不一定要相信上帝，但应该相信 “The Book”。 Erd?s 去世后的第三年，即 1998 年， Martin Aigner 和 Günter M. Ziegler 以《来自天书的证明》为书名出版了一本书，收录了几十个优美的数学证明，以纪念 Erd?s。]
创造性的数学 (比如本质上新颖的原创技巧、观点或各类结果)；
有用的数学 (比如会在某个领域的未来工作中被反复用到的引理或方法)；
强有力的数学 (比如与一个已知反例相匹配的敏锐的结果，或从一个看起来很弱的假设推出一个强得出乎意料的结论)；
深刻的数学 (比如一个明显非平凡的结果，比如理解一个无法用更初等的方法接近的微妙现象)；
直观的数学 (比如一个自然的、容易形象化的论证)；
明确的数学 (比如对某一类型的所有客体的分类；对一个数学课题的结论)；
其它[注一]。

如上所述，数学品质这一概念是一个高维的 (high-dimensional) 概念，并且不存在显而易见的标准排序[注二]。我相信这是由于数学本身就是复杂和高维的，并且会以一种自我调整及难以预料的方式而演化；上述每种品质都代表了我们作为一个群体增进对数学的理解及运用的不同方式。至于上述品质的相对重要性或权重，看来并无普遍的共识。这部分地是由于技术上的考虑：一个特定时期的某个数学领域的发展也许更易于接纳一种特殊的方法；部分地也是由于文化上的考虑：任何一个特定的数学领域或学派都倾向于吸引具有相似思维、喜爱相似方法的数学家。它同时也反映了数学能力的多样性：不同的数学家往往擅长不同的风格，因而适应不同类型的数学挑战。

我相信 “好数学” 的这种多样性和差异性对于整个数学来说是非常健康的，因为它允许我们在追求更多的数学进展及更好的理解数学这一共同目标上采取许多不同的方法，并开发许多不同的数学天赋。虽然上述每种品质都被普遍接受为是数学所需要的品质，但牺牲其它所有品质为代价来单独追求其中一两种却有可能变成对一个领域的危害。考虑下列假想的 (有点夸张的) 情形：

一个领域变得越来越华丽怪异，在其中各种单独的结果为推广而推广，为精致而精致，而整个领域却在毫无明确目标和前进感地随意漂流。
一个领域变得被令人惊骇的猜想所充斥，却毫无希望在其中任何一个猜想上取得严格进展。
一个领域变得主要通过特殊方法来解决一群互不关联的问题，却没有统一的主题、联系或目的。
一个领域变得过于枯燥和理论化，不断用技术上越来越形式化的框架来重铸和统一以前的结果，后果却是不产生任何令人激动的新突破。
一个领域崇尚经典结果，不断给出这些结果的更短、更简单及更优美的证明，但却不产生任何经典著作以外的真正原创的新结果。

在上述每种情形下，有关领域会在短期内出现大量的工作和进展，但从长远看却有边缘化和无法吸引更年轻的数学家的危险。幸运的是，当一个领域不断接受挑战，并因其与其它数学领域 (或相关学科) 的关联而获得新生，或受到并尊重多种 “好数学” 的文化熏陶时，它不太可能会以这种方式而衰落。这些自我纠错机制有助于使数学保持平衡、统一、多产和活跃。

现在让我们转而考虑前面提出的另一个问题，即我们到底该不该试图对 “好数学” 下定义。下定义有让我们变得傲慢自大的危险，特别是，我们有可能因为一个真正数学进展的奇异个例不满足主流定义[注三]而忽视它。另一方面，相反的观点 - 即在任何数学研究领域中所有方法都同样适用并该得到同样资源[注四]，或所有数学贡献都同样重要 - 也是有风险的。那样的观点就其理想主义而言也许是令人钦佩的，但它侵蚀了数学的方向感和目的感，并且还可能导致数学资源的不合理分配[注五]。

真实的情形处于两者之间，对于每个数学领域，现存的结果、传统、直觉和经验 (或它们的缺失) 预示着哪种方法可能会富有成效，从而应当得到大多数的资源；那种方法更具试探性，从而或许只要少数有独立头脑的数学家去进行探究以避免遗漏。比方说，在已经发展成熟的领域，比较合理的做法也许是追求系统方案，以严格的方式发展普遍理论，稳妥地延用卓有成效的方法及业已确立的直觉；而在较新的、不太稳定的领域，更应该强调的也许是提出和解决猜想，尝试不同的方法，以及在一定程度上依赖不严格的启示和类比。因此，从策略上讲比较合理的做法是，在每个领域内就数学进展中什么品质最应该受到鼓励做一个起码是部分的 (但与时俱进的) 调查，以便在该领域的每个发展阶段都能最有效地发展和推进该领域。比方说，某个领域也许急需解决一些紧迫的问题；另一个领域也许在翘首以待一个可以理顺大量已有成果的理论框架，或一个宏大的方案或一系列猜想来激发新的结果；其它领域则也许会从对关键定理的新的、更简单及更概念化的证明中获益匪浅；而更多的领域也许需要更大的公开性，以及关于其课题的透彻介绍，以吸引更多的兴趣和参与。因此，对什么是好数学的确定会并且也应当高度依赖一个领域自身的状况。这种确定还应当不断地更新与争论，无论是在领域内还是从通过旁观者。如前所述，有关一个领域应当如何发展的调查，若不及时检验和更正，很有可能会导致该领域内的不平衡。

上面的讨论似乎表明评价数学品质虽然重要，却是一件复杂得毫无希望的事情，特别是由于许多好的数学成就在上述某些品质上或许得分很高，在其它品质上却不然；同时，这些品质中有许多是主观而难以精确度量的 (除非是事后诸葛)。然而，一个令人瞩目的现象是[注六]：上述一种意义上的好数学往往倾向于引致许多其它意义上的好数学，由此产生了一个试探性的猜测，即有关高品质数学的普遍观念也许毕竟还是存在的，上述所有特定衡量标准都代表了发现新数学的不同途径，或一个数学故事发展过程中的不同阶段或方面。

2. 个例研究： Szemerédi 定理

现在我们从一般转向特殊，通过考察 Szemerédi 定理 - 那个声称任何具有正 (上) 密度的整数子集必定包含任意长度算术序列的漂亮而著名的结果 - 的内容及历史来说明上段所述的现象。这里我将避免所有的技术细节。 [译者注： 1. 整数子集 A 的 “上” 密度，指的是 lim supN→∞ |A∩[-N,N]|/2N，其中序列 aN 的上极限 lim supN→∞ aN 定义为 AN=supk≥N ak 的极限。 2. 算术序列 (在后文中有时被简称为序列) 指的是由整数组成的等差序列，序列中的整数个数称为算术序列的长度。]

这个故事有许多个自然的切入点。我将从 Ramsey 定理 - 任何有限着色的足够大的完全图必定包含大的单色完全子图 (比如任意六人中必有三人要么彼此相识，要么彼此陌生，假定 “相识” 是一个有良好定义的对称关系) - 开始。这个很容易证明 (无需用到比迭代鸽笼原理更多的东西) 的结果代表了一种新现象的发现，并且开辟了一系列新的数学结果： Ramsey 型定理。这些定理中的每一个都是数学上一个新近洞察的观点 “完全无序是不可能的” 的不同表述。 [译者注： 1. 完全图指的是任意两个顶点间都有边相连的图。 2. 鸽笼原理也叫 Dirichlet 抽屉原理，它最简单的版本指的是将 n>k 件东西放入 k 个容器中，其中至少有一个容器含有多于一件东西。]

最早的 Ramsey 型定理之一 (事实上比 Ramsey 定理还早了几年) 是 van der Waerden定理：给定整数集的一个有限着色，其中必有一个单色类包含任意长度算术序列。
van der Waerden 的高度递归的证明非常优美，但有一个缺点，那就是它给出的出现第一个给定长度算术序列的定量下界弱得出奇。事实上，这个下界含有序列长度和着色种数的 Ackermann 函数。 Erd?s 和 Turán 所具有的良好数学品位，以及希望在(当时还是猜想的) 素数是否包含任意长度算术序列这一问题上获取进展的企图，使他们对这一定量问题做了进一步的探究[注七]。他们推进了一些很强的猜想，其中一个成为了 Szemerédi 定理；另一个则是一个漂亮 (但尚未证明) 的更强的命题，它声称任何一个倒数和非绝对可和的正整数集都包含任意长度算术序列。 [译者注： 1. 译文 “定量下界” 所对应的原文是比较笼统的 “quantitative bounds” (即未指明是上界还是下界)。 2. Ackermann 函数 A(m,n) (其中 m、 n 为非负整数) 的递归定义是： A(0,n)=n+1； A(m,0)=A(m-1,1)； A(m,n)=A(m-1,A(m,n-1))，它的增长速度快于任何初等递归函数 (包括指数函数)。 3. Tao 对 Erd?s 和 Turán 所提出的 “更强的命题” 的表述略显冗余，其中 “非绝对可和” 可简化为 “非可和” 或 “发散” (因为他所讨论的是正整数集)。]

回复此楼