来自当知百科
跳转到: 导航搜索
  
4c4085c8228a3.jpg

目录

个人履历

  希尔伯特 (David Hilbert)(1862~1943)

  德国数学家,生于东普鲁士哥尼斯堡(前苏联加里宁格勒)附近的韦劳。中学时代,希尔伯特就是一名勤奋好学的学生,对于科学特别是数学表现出浓厚的兴趣,善于灵活深刻掌握以至应用老师讲课的内容。1880年,他不顾父亲让他学法律意愿,进入哥尼斯堡大学攻读数学。1884年获得博士学位,后来又在这所大学里取得讲师资格和升任副教授。1893年被任命为正教授,1895年,转入格廷根大学教授,此后一直在格廷根生活工作,于是1930年退休。在此期间,他成为柏林科学院通讯院士,并曾获得施泰讷奖、罗巴切夫斯基奖和波约伊奖。1930年获得瑞典科学院的米塔格-莱福勒奖,1942年成为柏林科学院荣誉院士。希尔伯特是一位正直的科学家,第一次世界大战前夕,他拒绝在德国政府为进行欺骗宣传而发表的《告文明世界书》上签字。战争期间,他敢于公开发表文章悼念"敌人的数学家"达布希特勒上台后,他抵制并上书反对纳粹政府排斥和迫害犹太科学家的政策。由于纳粹政府的反动政策日益加剧,许多科学家被迫移居外国,曾经盛极一时的格廷根学派衰落了,希尔伯特也于1943年在孤独中逝世。

人物生平

  希尔伯特是对二十世纪数学有深刻影响的数学家之一。他领导了著名的格廷根学派,使格廷根大学成为当时世界数学研究的重要中心,并培养了一批对现代数学发展做出重大贡献的杰出数学家。希尔伯特的数学工作可以划分为几个不同的时期,每个时期他几乎都集中精力研究一类问题。按时间顺序,他的主要研究内容有:不变式理论、代数数域理论、几何基础积分方程物理学、一般数学基础,其间穿插的研究课题有:狄利克雷原理和变分法、华林问题、特征值问题、"希尔伯特空间"等。在这些领域中,他都做出了重大的或开创性的贡献。希尔伯特认为,科学在每个时代都有它自己的问题,而这些问题的解决对于科学发展具有深远意义。他指出:"只要一门科学分支能提出大量的问题,它就充满着生命力,而问题缺乏则预示着独立发展的衰亡终止。"在1900年巴黎国际数学家代表大会上,希尔伯特发表了题为《数学问题》的著名讲演。他根据过去特别是十九世纪数学研究的成果和发展趋势,提出了23个最重要的数学问题。这23个问题通称希尔伯特问题,后来成为许多数学家力图攻克的难关,对现代数学的研究和发展产生了深刻的影响,并起了积极的推动作用,希尔伯特问题中有些现已得到圆满解决,有些至今仍未解决。他在讲演中所阐发的想信每个数学问题都可以解决的信念,对于数学工作者是一种巨大的鼓舞。他说:"在我们中间,常常听到这样的呼声:这里有一个数学问题,去找出它的答案!你能通过纯思维找到它,因为在数学中没有不可知。"三十年后,1930年,在接受哥尼斯堡荣誉市民称号的讲演中,针对一些人信奉的不可知论观点,他再次满怀信心地宣称:"我们必须知道,我们必将知道。"希尔伯特的《几何基础》(1899)是公理化思想的代表作,书中把欧几里得几何学加以整理,成为建立在一组简单公理基础上的纯粹演绎系统,并开始探讨公理之间的相互关系与研究整个演绎系统的逻辑结构。1904年,又着手研究数学基础问题,经过多年酝酿,于二十年代初,提出了如何论证数论、集合论或数学分析一致性的方案。他建议从若干形式公理出发将数学形式化为符号语言系统,并从不假定实无穷的有穷观点出发,建立相应的逻辑系统。然后再研究这个形式语言系统的逻辑性质,从而创立了元数学和证明论。希尔伯特的目的是试图对某一形式语言系统的无矛盾性给出绝对的证明,以便克服悖论所引起的危机,一劳永逸地消除对数学基础以及数学推理方法可靠性的怀疑。然而,1930年,年青的奥地利数理逻辑学家哥德尔(KurtGodel,1906~1978)获得了否定的结果,证明了希尔伯特方案是不可能实现的。但正如哥德尔所说,希尔伯特有关数学基础的方案"仍不失其重要性,并继续引起人们的高度兴趣"。希尔伯特的著作有《希尔伯特全集》(三卷,其中包括他的著名的《数论报告》)、《几何基础》、《线性积分方程一般理论基础》等,与其他合著有《数学物理方法》、《理论逻辑基础》、《直观几何学》、《数学基础》。

相关研究

  希尔伯特问题研究进展

  问 题         推动发展的领域        解 决 情 况

  1.连续统假设        公理化集合论         1963年,Paul J.Cohen[[[美国]]]在下述意义下证明了第一问题是不可解的,即:连续统假设的真伪不可能在Zermelo-Fraenkel公理系统内判明。

  2.算术公理的相容性        数学基础         Hilbert证明算术公理相容性的设想,后来发展为系统"Hilbert计划",但1931年Godel的"不完备定理"提出用"元数学"证明算术公理相容性之不可能。数学相容性问题至今尚未解决。

  3.两等高等底的四面体体积之相等        几何基础         这问题很快(1900年)即由Hilbert的学生M.Dehn给出肯定解答。

  4.直线作为两点间最短距离问题        几何基础        这问题提得过于一般。Hilbert之后,许多数学家致力于构造和探讨各种特殊的度量几何,在研究第四问题上取得很大进展,但问题并未完全解决。

  5.不要定义群的函数的可微性假设的李群概念        拓扑群论        经过漫长的努力,这个问题于1952年由Glenson、Montgomery、Zippin等人[美国]最后解决,答案是肯定的。

  6.物理公式的数学处理        数学物理         在量子力学、热力学等部门,公理化方法已获很大成功,但一般地说,公理化的物理意味着什么,仍是需探讨的问题。至于概率论的公理化,已由A.H.Ko лМ o r o p oB[前苏联,1933]等人建立。

  7.某些数的无理性与超越性        超越数论         1934年,A.O.г e M ж o Hд[前苏联]和Schneider[德国]各自独立解决了这问题的后半部分,即对于任意代数数α≠0,1和任意代数无理数β≠0证明了α攩β搅的超越性,1966年这一结果又被A.Baker等人大大推广和发展了。

Hilbert的23个问题

伟大的数学家Hilbert

  希尔伯特(HilbertD.,1862.1.23~1943.2.14)是二十世纪上半叶德国乃至全世界最伟大的数学家之一。他在横跨两个世纪的六十年的研究生涯中,几乎走遍了现代数学所有前沿阵地,从而把他的思想深深地渗透进了整个现代数学。希尔伯特是哥廷根数学学派的核心,他以其勤奋的工作和真诚的个人品质吸引了来自世界各地的年青学者,使哥廷根的传统在世界产生影响。希尔伯特去世时,德国《自然》杂志发表过这样的观点:现在世界上难得有一位数学家的工作不是以某种途径导源于希尔伯特的工作。他像是数学世界的亚历山大,在整个数学版图上,留下了他那显赫的名字。   1900年,希尔伯特在巴黎数学家大会上提出了23个最重要的问题供二十世纪的数学家们去研究,这就是著名的"希尔伯特23个问题"。

  1975年,在美国伊利诺斯大学召开的一次国际数学会议上,数学家们回顾了四分之三个世纪以来希尔伯特23个问题的研究进展情况。当时统计,约有一半问题已经解决了,其余一半的大多数也都有重大进展。

  1976年,在美国数学家评选的自1940年以来美国数学的十大成就中,有三项就是希尔伯特第1、第5、第10问题的解决。由此可见,能解决希尔伯特问题,是当代数学家的无上光荣。

Hilbert提出的23个问题

  下面摘录的是1987年出版的《数学家小辞典》以及其它一些文献中收集的希尔伯特23个问题及其解决情况:

  1. 连续统假设1874年,康托猜测在可列集基数和实数基数之间没有别的基数,这就是著名的连续统假设。1938年,哥德尔证明了连续统假设和世界公认的策梅洛--弗伦克尔集合论公理系统的无矛盾性。1963年,美国数学家科亨证明连续假设和策梅洛--伦克尔集合论公理是彼此独立的。因此,连续统假设不能在策梅洛--弗伦克尔公理体系内证明其正确性与否。希尔伯特第1问题在这个意义上已获解决。

  2. 算术公理的相容性欧几里得几何的相容性可归结为算术公理的相容性。希尔伯特曾提出用形式主义计划的证明论方法加以证明。1931年,哥德尔发表的不完备性定理否定了这种看法。1936年德国数学家根茨在使用超限归纳法的条件下证明了算术公理的相容性。

  1988年出版的《中国大百科全书》数学卷指出,数学相容性问题尚未解决。

  3. 两个等底等高四面体的体积相等问题

  问题的意思是,存在两个等边等高的四面体,它们不可分解为有限个小四面体,使这两组四面体彼此全等。M.W.德恩1900年即对此问题给出了肯定解答。

  4. 两点间以直线为距离最短线问题此问题提得过于一般。满足此性质的几何学很多,因而需增加某些限制条件。1973年,苏联数学家波格列洛夫宣布,在对称距离情况下,问题获得解决。

  《中国大百科全书》说,在希尔伯特之后,在构造与探讨各种特殊度量几何方面有许多进展,但问题并未解决。

  5.一个连续变换群的李氏概念,定义这个群的函数不假定是可微的这个问题简称连续群的解析性,即:是否每一个局部欧氏群都有一定是李群?中间经冯·诺伊曼(1933,对紧群情形)、邦德里雅金(1939,对交换群情形)、谢瓦荚(1941,对可解群情形)的努力,1952年由格利森、蒙哥马利、齐宾共同解决,得到了完全肯定的结果。

  6.物理学的公理化希尔伯特建议用数学的公理化方法推演出全部物理,首先是概率和力学。1933年,苏联数学家柯尔莫哥洛夫实现了将概率论公理化。后来在量子力学、量子场论方面取得了很大成功。但是物理学是否能全盘公理化,很多人表示怀疑。

  7.某些数的无理性与超越性1934年,A.O.盖尔方德和T.施奈德各自独立地解决了问题的后半部分,即对于任意代数数α≠0 ,1,和任意代数无理数β证明了αβ的超越性。

  8.素数问题包括黎曼猜想、哥德巴赫猜想及孪生素数问题等。一般情况下的黎曼猜想仍待解决。哥德巴赫猜想的最佳结果属于陈景润(1966),但离最解决尚有距离。目前孪生素数问题的最佳结果也属于陈景润。

  9.在任意数域中证明最一般的互反律 该问题已由日本数学家高木贞治(1921)和德国数学家E.阿廷(1927)解决。

  10. 丢番图方程的可解性能求出一个整系数方程的整数根,称为丢番图方程可解。希尔伯特问,能否用一种由有限步构成的一般算法判断一个丢番图方程的可解性?1970年,苏联的IO.B.马季亚谢维奇证明了希尔伯特所期望的算法不存在。

  11. 系数为任意代数数的二次型H.哈塞(1929)和C.L.西格尔(1936,1951)在这个问题上获得重要结果。

  12. 将阿贝尔域上的克罗克定理推广到任意的代数有理域上去 这一问题只有一些零星的结果,离彻底解决还相差很远。

  13. 不可能用只有两个变数的函数解一般的七次方程 七次方程 的根依赖于3个参数a、b、c,即x=x(a,b,c)。这个函数能否用二元函数表示出来?苏联数学家阿诺尔德解决了连续函数的情形(1957),维士斯金又把它推广到了连续可微函数的情形(1964)。但如果要求是解析函数,则问题尚未解决。

  14. 证明某类完备函数系的有限性 这和代数不变量问题有关。1958年,日本数学家永田雅宜给出了反例。

  15. 舒伯特计数演算的严格基础一个典型问题是:在三维空间中有四条直线,问有几条直线能和这四条直线都相交?舒伯特给出了一个直观解法。希尔伯特要求将问题一般化,并给以严格基础。现在已有了一些可计算的方法,它和代数几何学不密切联系。但严格的基础迄今仍未确立。

  16. 代数曲线和代数曲线面的拓扑问题这个问题分为两部分。前半部分涉及代数曲线含有闭的分枝曲线的最大数目。后半部分要求讨论的极限环的最大个数和相对位置,其中X、Y是x、y的n次多项式.苏联的彼得罗夫斯基曾宣称证明了n=2时极限环的个数不超过3,但这一结论是错误的,已由中国数学家举出反例(1979)。

  17. 半正定形式的平方和表示 一个实系数n元多项式对一切数组(x1,x2,...,xn)都恒大于或等于0,是否都能写成平方和的形式?1927年阿廷证明这是对的。

  18. 用全等多面体构造空间 由德国数学家比勃马赫(1910)、荚因哈特(1928)作出部分解决。

  19. 正则变分问题的解是否一定解析 对这一问题的研究很少。C.H.伯恩斯坦和彼得罗夫斯基等得出了一些结果。

  20. 一般边值问题 这一问题进展十分迅速,已成为一个很大的数学分支。目前还在继续研究。

  21. 具有给定单值群的线性微分方程解的存在性证明 已由希尔伯特本人(1905)和H.罗尔(1957)的工作解决。

  22. 由自守函数构成的解析函数的单值化 它涉及艰辛的黎曼曲面论,1907年P.克伯获重要突破,其他方面尚未解决。

  23. 变分法的进一步发展出这并不是一个明确的数学问题,只是谈了对变分法的一般看法。20世纪以来变分法有了很大的发展。

  这23问题涉及现代数学大部分重要领域,推动了20世纪数学的发展。

个人工具
名字空间

变换
查看
操作
导航
工具箱