我们必须知道,我们必将知道.PDFVIP

《敬乐》2016 年第42 期 EE Dept, CityU of Hong Kong 我们必须知道，我们必将知道 陈关荣 Wir müssen wissen, wir werden wissen （我们必须知道，我们必将知道）——这是大卫 ·希尔 伯特 1930 年退休感言的结束语，镌刻在哥廷根城市墓地（Stadtfriedhof Gӧttingen ）里他那简 单墓碑的下方。 （2015 年 9 月 10 日，本文作者在哥廷根参拜了希尔伯特墓地） 大卫 ·希尔伯特 （David Hilbert，1862-1943）出生于东普鲁士的哥尼斯堡 （Kӧnigsberg）附近。 哥尼斯堡是哲学家康德的故乡，也是欧拉研究七桥问题和数学家雅可比任教的地方，现在归属 俄罗斯。1880 年，希尔伯特违背了父亲让他读法律的意愿而进入哥尼斯堡大学学习数学，师从 《敬乐》2016 年第42 期 EE Dept, CityU of Hong Kong 林德曼 （Carl von Lindemann，1852-1939），22 岁获得博士学位。之后留校任教，31 岁晋升正 教授。1895 年，希尔伯特转入哥廷根大学 （全称是Georg-August-Universität Göttingen）任职 教授，在那里度过了余生，于 1943 年辞世。他曾获俄罗斯罗巴切夫斯基奖和瑞典科学院 Mittag-Leffler 奖，1942 年当选为柏林科学院荣誉院士。 David Hilbert （1862-1943） 希尔伯特是历史上最卓越的数学家之一，在不变量理论、代数数论、积分方程、变分法、泛函 分析、数学和几何学基础、数学物理等领域中作出了十分重要的贡献。今天， “希尔伯特空间”、 “希尔伯特变换”、“希尔伯特矩阵”、“希尔伯特曲线”等冠以其名的术语和他那有趣的“希尔 伯特旅馆悖论”均广为人知。 1900 年，38 岁的希尔伯特在巴黎举行的第二届国际数学会议上以 “数学问题”为题的演讲中提 出了 23 个重要的数学难题，即众所周知的“希尔伯特问题”，激励和推动了后来一个多世纪许 多数学分支的蓬勃发展。简而言之，希尔伯特的第 1-6 问题关于数学基础理论，第 7-12 问题关 于数论，第 13-18 问题属于代数和几何，而最后的第 19-23 问题属于数学分析范畴。经过许多 数学家长期的努力，目前大多数问题都得到了完全或部分解答。鉴于他本人的研究兴趣和当时 的历史条件，希尔伯特问题中未能包括拓扑和微分几何等重要领域的数学问题，也基本上没有 涉及应用数学和计算数学。当然，没有人会苛求希尔伯特用 23 个问题去涵盖浩瀚的数学分支 和内容。实际上，二十世纪数学的发展远远超出了希尔伯特当时的设想。 《敬乐》2016 年第42 期 EE Dept, CityU of Hong Kong 希尔伯特的第二问题是有名的“判定问题”，它至关重要，涉及整个数学基础，关心数学是否 完备和一致？是不是所有数学命题都可以通过有限次正确的数学步骤作出判定？希尔伯特雄心 勃勃，要将整个数学体系严格公理化，然后用他的所谓“元数学”（证明数学的数学）来证明 整个数学体系是坚不可摧的。为了这个目标，他制定了一个后人称之为“希尔伯特计划”的部 署：首先，将所有数学形式化，把每一个数学陈述都用符号来表达。然后，证明整个数学 系统 是完备的，即对任何一个数学陈述都存在一个数学证明。同时，还要证明数学是一致的，也就 是说绝不存在 自相矛盾的陈述。最后，还要有一个可以实现的算法，通过有限步程序最终判定 数学陈述的对错。显然，这是一个野心勃勃的宏图大计，但希尔伯特并不认为它是不可能的。 他非常自信，断言 “不存在不可解的问题”。 遗憾的是， “希尔伯特计划”在他 1930 年光荣引退后随即惨遭失败。1930 年 9 月 7 日，时年 25 岁的哥德尔 （Kurt Friedrich Gödel，1906-1978）发表了著名的“不完备性定理”： “如果 数学是一致的，那么它就是不完备的”。具体地说，哥德尔证明了：任何一个包含算术系统在 内的数学系统不可能