戴维·希尔伯特(德国著名数学家)
VLoG
次浏览
更新时间:2023-05-22
戴维·希尔伯特
德国著名数学家
近代形式公理学派的创始人
戴维·希尔伯特,又译大卫·希尔伯特,(DavidHilbert,1862-1943),德国著名数学家。他于1900年8月8日在巴黎第二届国际数学家大会上,提出了新世纪数学家应当努力解决的23个数学问题,被认为是20世纪数学的至高点,对这些问题的研究有力推动了20世纪数学的发展,在世界上产生了深远的影响。希尔伯特领导的数学学派是19世纪末20世纪初数学界的一面旗帜,希尔伯特被称为“数学界的无冕之王”,他是天才中的天才。
人物生平
希尔伯特出生于东普鲁士哥尼斯堡(前苏联加里宁格勒)附近的韦劳,中学时代他就是一名勤奋好学的学生,对于科学特别是数学表现出浓厚的兴趣,善于灵活和深刻地掌握以至能应用老师讲课的内容。他与17岁便拿下数学大奖的著名数学家闵可夫斯基(爱因斯坦的老师)结为好友,同进于哥尼斯堡大学,最终超越了他。
1880年,他不顾父亲让他学法律的意愿,进入哥尼斯堡大学攻读数学,并于1884年获得博士学位,后留校取得讲师资格和升任副教授。
1892年结婚。1893年他被任命为正教授。
1895年转入哥廷根大学任教授,此后一直在数学之乡哥廷根生活和工作。
希尔伯特于1900年8月8日在巴黎第二届国际数学家大会上,提出了新世纪数学家应当努力解决的23个数学问题,被认为是20世纪数学的制高点。
他于1930年退休。在此期间,他成为柏林科学院通讯院士,并曾获得施泰讷奖、罗巴契夫斯基奖和波约伊奖。
1943年希尔伯特在孤独中逝世。但由于大量数学家的到来,美国成为了当时的世界数学中心。
主要成就
希尔伯特是对二十世纪数学有深刻影响的数学家之一,他领导了著名的哥廷根学派,使哥廷根大学成为当时世界数学研究的重要中心,并培养了一批对现代数学发展做出重大贡献的杰出数学家。
学术研究希尔伯特的数学工作可以划分为几个不同的时期,每个时期他几乎都集中精力研究一类问题。按时间顺序,他的主要研究内容有:不变量理论、代数数域理论、几何基础、积分方程、物理学、一般数学基础,其间穿插的研究课题有:狄利克雷原理和变分法、华林问题、特征值问题、“希尔伯特空间”等。在这些领域中,他都做出了重大的或开创性的贡献。希尔伯特认为,科学在每个时代都有它自己的问题,而这些问题的解决对于科学发展具有深远意义。他指出:“只要一门科学分支能提出大量的问题,它就充满着生命力,而问题缺乏则预示着独立发展的衰亡和终止。”在1900年巴黎国际数学家代表大会上,希尔伯特发表了题为《数学问题》的著名讲演。他根据过去特别是十九世纪数学研究的成果和发展趋势,提出了23个最重要的数学问题。这23个问题统称希尔伯特问题,后来成为许多数学家力图攻克的难关,对现代数学的研究和发展产生了深刻的影响,并起了积极的推动作用,希尔伯特问题中有些现已得到圆满解决,有些至今仍未得到解决。他在讲演中所阐发的相信每个数学问题都可以得到解决的信念,对数学工作者是一种巨大的鼓舞。他说:“在我们中间,常常听到这样的呼声:这里有一个数学问题,去找出它的答案!你能通过纯思维找到它,因为在数学中没有不可知。”三十年后,1930年,在接受哥尼斯堡荣誉市民称号的讲演中,针对一些人信奉的不可知论观点,他再次满怀信心地宣称:“我们必须知道,我们必将知道。”希尔伯特去世后,这句话就刻在了他的墓碑上。希尔伯特的《几何基础》(1899)是公理化思想的代表作,书中把欧几里得几何学加以整理,成为建立在一组简单公理基础上的纯粹演绎系统,并开始探讨公理之间的相互关系与研究整个演绎系统的逻辑结构。1904年,又着手研究数学基础问题,经过多年酝酿,于二十年代初,提出了如何论证数论、集合论或数学分析一致性的方案。他建议从若干形式公理出发将数学形式化为符号语言系统,并从不假定实无穷的有穷观点出发,建立相应的逻辑系统。然后再研究这个形式语言系统的逻辑性质,从而创立了元数学和证明论。希尔伯特的目的是试图对某一形式语言系统的无矛盾性给出绝对的证明,以便克服悖论引起的危机,一劳永逸地消除对数学基础以及数学推理方法可靠性的怀疑。1930年,年轻的奥地利数理逻辑学家哥德尔(K.G?del,1906~1978)获得了否定的结果,证明了希尔伯特方案是不可能实现的。但正如哥德尔所说,希尔伯特有关数学基础的方案“仍不失其重要性,并继续引起人们的高度兴趣。”学术论著《希尔伯特全集》(三卷,其中包括他的著名的《数论报告》)、《几何基础》、《线性积分方程一般理论基础》等,与其他人合著的有《数学物理方法》、《理论逻辑基础》、《直观几何学》、《数学基础》。
希尔伯特的23个问题分属四大块:第1到第6问题是数学基础问题;第7到第12问题是数论问题;第13到第18问题属于代数和几何问题;第19到第23问题属于数学分析。(1)康托的连续统基数问题。1874年,康托猜测在可数集基数和实数集基数之间没有别的基数,即著名的连续统假设。1938年,侨居美国的奥地利数理逻辑学家哥德尔证明连续统假设与ZF集合论公理系统的无矛盾性。1963年,美国数学家科思(P.Choen)证明连续统假设与ZF公理彼此独立。因而,连续统假设不能用ZF公理加以证明。在这个意义下,问题已获解决。(2)算术公理系统的无矛盾性。欧氏几何的无矛盾性可以归结为算术公理的无矛盾性。希尔伯特曾提出用形式主义计划的证明论方法加以证明,哥德尔1931年发表不完备性定理作出否定。根茨(G.Gentaen,1909-1945)1936年使用超限归纳法证明了算术公理系统的无矛盾性。(3)只根据合同公理证明等底等高的两个四面体有相等之体积是不可能的。问题的意思是:存在两个等高等底的四面体,它们不可能分解为有限个小四面体,使这两组四面体彼此全等。德思(M.Dehn)在1900年已解决。(4)两点间以直线为距离最短线问题。此问题提的一般。满足此性质的几何很多,因而需要加以某些限制条件。1973年,苏联数学家波格列洛夫(Pogleov)宣布,在对称距离情况下,问题获解决。(5)拓扑学成为李群的条件(拓扑群)。这一个问题简称连续群的解析性,即是否每一个局部欧氏群都一定是李群。1952年,由格里森(Gleason)、蒙哥马利(Montgomery)、齐平(Zippin)共同解决。1953年,日本的山迈英彦已得到完全肯定的结果。(6)对数学起重要作用的物理学的公理化。1933年,苏联数学家柯尔莫哥洛夫将概率论公理化。后来,在量子力学、量子场论方面取得成功。但对物理学各个分支能否全盘公理化,很多人有怀疑。(7)某些数的超越性的证明。需证:如果α是代数数,β是无理数的代数数,那么α^β一定是超越数或至少是无理数(例如,2^√2和exp(π))。苏联的盖尔封特(Gelfond)1929年、德国的施奈德(Schneider)及西格尔(Siegel)1935年分别独立地证明了其正确性。但超越数理论还远未完成。目前,确定所给的数是否超越数,尚无统一的方法。(8)素数分布问题,尤其对黎曼猜想、哥德巴赫猜想和孪生素数问题。素数是一个很古老的研究领域。希尔伯特在此提到黎曼(Riemann)猜想、哥德巴赫(Goldbach)猜想以及孪生素数问题。黎曼猜想至今未解决。哥德巴赫猜想和孪生素数问题目前也未获最终解决,其最佳结果分别属于中国数学家陈景润和张益唐。(9)一般互反律在任意数域中的证明。1921年由日本的高木贞治,1927年由德国的阿廷(E.Artin)各自给以基本解决。而类域理论至今还在发展之中。(10)能否通过有限步骤来判定不定方程是否存在有理整数解?求出一个整数系数方程的整数根,称为丢番图(约210-290,古希腊数学家)方程可解。1950年前后,美国数学家戴维斯(Davis)、普特南(Putnan)、罗宾逊(Robinson)等取得关键性突破。1970年,巴克尔(Baker)、费罗斯(Philos)对含两个未知数的方程取得肯定结论。1970年。苏联数学家马蒂塞维奇最终证明:在一般情况下,答案是否定的。虽然得出了否定的结果,却产生了一系列很有价值的副产品,其中不少和计算机科学有密切联系。(11)一般代数数域内的二次型论。德国数学家哈塞(Hasse)和西格尔(Siegel)在20年代获重要结果。60年代,法国数学家魏依(A.Weil)取得了新进展。(12)类域的构成问题。即将阿贝尔域上的克罗内克定理推广到任意的代数有理域上去。此问题仅有一些零星结果,离彻底解决还很远。(13)一般七次代数方程以二变量连续函数之组合求解的不可能性。七次方程x7+ax3+bx2+cx+1=0的根依赖于3个参数a、b、c;x=x(a,b,c)。这一函数能否用两变量函数表示出来?此问题已接近解决。1957年,苏联数学家阿诺尔德(Arnold)证明了任一在〔0,1〕上连续的实函数f(x1,x2,x3)可写成形式∑hi(ξi(x1,x2),x3)(i=1--9),这里hi和ξi为连续实函数。柯尔莫哥洛夫证明f(x1,x2,x3)可写成形式∑hi(ξi1(x1)+ξi2(x2)+ξi3(x3))(i=1--7)这里hi和ξi为连续实函数,ξij的选取可与f完全无关。1964年,维土斯金(Vituskin)推广到连续可微情形,对解析函数情形则未解决。(14)某些完备函数系的有限的证明。即域K上的以x1,x2,…,xn为自变量的多项式fi(i=1,…,m),R为K〔X1,…,Xm]上的有理函数F(X1,…,Xm)构成的环,并且F(f1,…,fm)∈K[x1,…,xm]试问R是否可由有限个元素F1,…,FN的多项式生成?这个与代数不变量问题有关的问题,日本数学家永田雅宜于1959年用漂亮的反例给出了否定的解决。(15)建立代数几何学的基础。荷兰数学家范德瓦尔登1938年至1940年,魏依1950年已解决。注一舒伯特(Schubert)计数演算的严格基础。一个典型的问题是:在三维空间中有四条直线,问有几条直线能和这四条直线都相交?舒伯特给出了一个直观的解法。希尔伯特要求将问题一般化,并给以严格基础。现在已有了一些可计算的方法,它和代数几何学有密切的关系。但严格的基础至今仍未建立。(16)代数曲线和曲面的拓扑研究。此问题前半部涉及代数曲线含有闭的分枝曲线的最大数目。后半部要求讨论备dx/dy=Y/X的极限环的最多个数N(n)和相对位置,其中X、Y是x、y的n次多项式。对n=2(即二次系统)的情况,1934年福罗献尔得到N(2)≥1;1952年鲍廷得到N(2)≥3;1955年苏联的波德洛夫斯基宣布N(2)≤3,这个曾震动一时的结果,由于其中的若干引理被否定而成疑问。关于相对位置,中国数学家董金柱、叶彦谦1957年证明了(E2)不超过两串。1957年,中国数学家秦元勋和蒲富金具体给出了n=2的方程具有至少3个成串极限环的实例。1978年,中国的史松龄在秦元勋、华罗庚的指导下,与王明淑分别举出至少有4个极限环的具体例子。1983年,秦元勋进一步证明了二次系统最多有4个极限环,并且是(1,3)结构,从而最终地解决了二次微分方程的解的结构问题,并为研究希尔伯特第(16)问题提供了新的途径。(17)半正定形式的平方和表示。实系数有理函数f(x1,…,xn)对任意数组(x1,…,xn)都恒大于或等于0,确定f是否都能写成有理函数的平方和?1927年阿廷已肯定地解决。(18)用全等多面体构造空间。德国数学家比贝尔巴赫(Bieberbach)1910年,莱因哈特(Reinhart)1928年作出部分解决。(19)正则变分问题的解是否总是解析函数?德国数学家伯恩斯坦(Bernrtein,1929)和苏联数学家彼德罗夫斯基(1939)已解决。(20)研究一般边值问题。此问题进展迅速,已成为一个很大的数学分支,目前还在继读发展。(21)具有给定奇点和单值群的Fuchs类的线性微分方程解的存在性证明。此问题属线性常微分方程的大范围理论。希尔伯特本人于1905年、勒尔(H.Rohrl)于1957年分别得出重要结果。1970年法国数学家德利涅(Deligne)作出了出色贡献。(22)用自守函数将解析函数单值化。此问题涉及艰深的黎曼曲面理论,1907年克伯(P.Koebe)对一个变量情形已解决而使问题的研究获重要突破。其它方面尚未解决。(23)发展变分学方法的研究。这不是一个明确的数学问题。20世纪变分法有了很大发展。人物轶事1.以希尔伯特命名的数学名词多如牛毛,有些连希尔伯特本人都不知道。比如有一次希尔伯特曾问系里的同事“请问什么叫做希尔伯特空间?”2.1916年,埃米·诺特这位卓有才华的青年妇女来到哥廷根大学。希尔伯特对她的学识倍加欣赏,立即决定让她留下来当讲师,辅助相对论的研究工作。但当时歧视妇女的现象相当严重,希尔伯特的建议遭到语言学、历史学等教授们的强烈反对。希尔伯特拍案而起,大声疾呼:“先生们,这里是学校,不是澡堂!”于是因此激怒了他的对手,希尔伯特对此不为所动,毅然决定让诺特以自己的名义代课。3.他的一位学生买了一部车,后来不幸死于一场车祸。在葬礼上,死者家属请希尔伯特老师说几句话,于是他说:“小克劳斯是我学生当中最优秀的,他生前在数学方面,具有非同凡响的天分。他对数学问题的非常广泛,诸如……”他暂停了一会儿,然后说:“考虑单位区间上一组可微函数,然后取它们的闭包……”4.中学时代,希尔伯特就是一名勤奋好学的学生,对于科学特别是数学表现出浓厚的兴趣,善于灵活和深刻地掌握以至应用老师讲课的内容。1880年,他不顾父亲让他学法律的意愿,进入哥尼斯堡大学攻读数学。人物思想1900年希尔伯特应邀参加巴黎国际数学家大会并在会上作了题为《数学问题》重要演讲。在这具有历史意义的演讲中,首先他提出许多重要的思想:正如人类的每一项事业都追求着确定的目标一样,数学研究也需要自己的问题。正是通过这些问题的解决,研究者锻炼其钢铁意志,发现新观点,达到更为广阔的自由的境界。希尔伯特特别强调重大问题在数学发展中的作用,他指出:“如果我们想对最近的将来数学知识可能的发展有一个概念,那就必须回顾一下当今科学提出的,希望在将来能够解决的问题。”同时又指出:“某类问题对于一般数学进程的深远意义以及它们在研究者个人的工作中所起的重要作用是不可否认的。只要一门科学分支能提出大量的问题,它就充满生命力,而问题缺乏则预示着独立发展的衰亡或中止。”他阐述了重大问题所具有的特点,好的问题应具有以下三个特征:清晰性和易懂性;虽困难但又给人以希望;意义深远。同时他分析了研究数学问题时常会遇到的困难及克服困难的一些方法。就是在这次会议上他提出了在新世纪里数学家应努力去解决的23个问题,即著名的“希尔伯特23个问题”。编号问题
共3张
(图)戴维·希尔伯特
1连续统假设公理化集合论1963年,PaulJ.Cohen在下述意义下证明了第一个问题是不可解的。即连续统假设的真伪不可能在Zermelo_Fraenkel公理系统内判定。2算术公理的相容性数学基础希尔伯特证明算术公理的相容性的设想,后来发展为系统的Hilbert计划(“元数学”或“证明论”)但1931年歌德尔的“不完备定理”指出了用“元数学”证明算术公理的相容性之不可能。数学的相容性问题至今未解决。3两等高等底的四面体体积之相等几何基础这问题很快(1900)即由希尔伯特的学生M.Dehn给出了肯定的解答。4直线作为两点间最短距离问题几何基础这一问题提得过于一般。希尔伯特之后,许多数学家致力于构造和探索各种特殊的度量几何,在研究第四问题上取得很大进展,但问题并未完全解决。5不要定义群的函数的可微性假设的李群概念拓扑群论经过漫长的努力,这个问题于1952年由Gleason,Montqomery,Zipping等人最后解决,答案是肯定的。6物理公理的数学处理数学物理在量子力学、热力学等领域,公理化方法已获得很大成功,但一般地说,公理化的物理意味着什么,仍是需要探讨的问题。概率论的公理化已由A.H.Konmoropob等人建立。7某些数的无理性与超越性超越数论1934年A.O.temohm和Schneieder各自独立地解决了这问题的后半部分。8素数问题数论一般情况下的Riemann猜想至今仍是猜想。包括在第八问题中的Goldbach问题至今也未解决。中国数学家在这方面做了一系列出色的工作。9任意数域中最一般的互反律之证明类域论已由高木贞治(1921)和E.Artin(1927)解决。10Diophantius方程可解性的判别不定分析1970年由苏、美数学家证明Hilbert所期望的一般算法是不存在的。11系数为任意代数数的二次型二次型理论H.Hasse(1929)和C.L.Siegel(1936,1951)在这问题上获得了重要的结果。12Abel域上kroneker定理推广到任意代数有理域。复乘法理论尚未解决。13不可能用只有两个变数的函数解一般的七次方程。方程论与实函数论连续函数情形于1957年由苏数学家否定解决,如要求是解析函数,则问题仍未解决。14证明某类完全函数系的有限性代数不变式理论1958年永田雅宜给出了否定解决。15Schubert记数演算的严格基础代数几何学由于许多数学家的努力,Schubert演算的基础的纯代数处理已有可能,但Schubert演算的合理性仍待解决。至于代数几何的基础,已由B.L.VanderWaerden(1938-40)与A.Weil(1950)建立。16代数曲线与曲面的拓扑曲线与曲面的拓扑学、常微分方程的定性理论问题的前半部分,近年来不断有重要结果。17正定形式的平方表示式域(实域)论已由Artin于1926年解决。18由全等多面体构造空间结晶体群理论部分解决。19正则变分问题的解是否一定解析椭圆型偏微分方程理论这个问题在某种意义上已获解决。20一般边值问题椭圆型偏微分方程理论偏微分方程边值问题的研究正在蓬勃发展。21具有给定单值群的线性偏微分方程的存在性线性常微分方程大范围理论已由Hilbert本人(1905)年和H.Rohrl(德,1957)解决。22解析关系的单值化Riemann曲面体一个变数的情形已由P.Koebe(德,1907)解决。23变分法的进一步发展变分法Hilbert本人和许多数学家对变分法的发展作出了重要的贡献。
获奖记录
1930年获得瑞典科学院的米塔格-莱福勒奖,
1942年成为柏林科学院荣誉院士。
人物评价
希尔伯特(HilbertD,1862.1.23~1943.2.14)是二十世纪上半叶德国乃至全世界最伟大的数学家之一。他在横跨两个世纪的六十年的研究生涯中,几乎走遍了现代数学所有前沿阵地,从而把他的思想深深地渗透进了整个现代数学。
希尔伯特是哥廷根数学学派的核心,他以其勤奋的工作和真诚的个人品质吸引了来自世界各地的年青学者,使哥廷根的传统在世界产生影响。希尔伯特去世时,德国《自然》杂志发表过这样的观点:现在世界上难得有一位数学家的工作不是以某种途径导源于希尔伯特的工作。他像是数学世界的亚历山大,在整个数学版图上,留下了他那显赫的名字。
参考资料
[1]
[趣味数学]希尔伯特的23个问题-搜狐教育 · 搜狐网[引用日期2021-09-19]
[2]
戴维·希尔伯特 简历 - 名人简历 · 名人简历[引用日期2022-01-04]
相关合集
现代物理学相关研究者名单
共46个词条3022阅读
威廉·康拉德·伦琴
德国物理学家
亨德里克·安东·洛伦兹
荷兰物理学家
马克斯·卡尔·恩斯特·路德维希·普朗克
德国物理学家
查看更多
相关视频
全部
1万次播放05:35
"无冕之王"希尔伯特:数学大师是个笨小孩!
人物生平
2285次播放01:25
那么请问希尔伯特先生赚钱了么?
主要成就