希尔伯特23个问题与21世纪七大数学难题
希尔伯特的23个数学问题
希尔伯特的23个数学问题展开全文德国数学家希尔伯特(图8-6)是19世纪末和20世纪上半叶最伟大的数学家之一．希尔伯特希尔伯特特别强调重大问题在数学发展中的作用，他指出：“如果我们想对最近的将来数学知识可能的发展有一个概念，那就必须回顾一下当今科学提出的，希望在将来能够解决的问题．”同时又指出：“某类问题对于一般数学进程的深远意义以及它们在研究者个人的工作中所起的重要作用是不可否认的．只要一门科学分支能提出大量的问题，它就充满生命力，而问题缺乏则预示着独立发展的衰亡或中止．”1900年8月，在巴黎召开的第二届国际数学家大会上，年仅38岁的希尔伯特应邀做了题为“数学问题”的著名讲演．在这具有历史意义的演讲中，他提出许多重要的思想：正如人类的每一项事业都追求着确定的目标一样，数学研究也需要自己的问题．正是通过这些问题的解决，研究者锻炼其钢铁意志，发现新观点，达到更为广阔的自由的境界．他阐述了重大问题所具有的特点，好的问题应具有以下三个特征：清晰性和易懂性；虽困难但又给人以希望；意义深远．同时，他还分析了研究数学问题时常会遇到的困难及克服困难的一些方法．就是在这次会议上，希尔伯特根据19世纪数学研究的成果和发展趋势提出23个悬而未决的数学问题，即著名的“希尔伯特的23个数学问题”．这次大会是数学史上一个重要的里程碑，他提出的23个问题更是功勋卓著、影响深远．希尔伯特的23个问题分为四大块：第1到第6问题是数学基础问题；第7到第12问题是数论问题；第13到第18问题是属于代数和几何问题；第19到第23问题属于数学分析问题．经过一个多世纪，希尔伯特提出的23个问题中，接近一半已经解决或基本解决．有些问题虽未解决，但也取得了重要的进展．问题1康托尔的连续统基数问题(公理化集合论)1874年，康托尔猜测在可数集基数与实数集基数之间没有别的基数，即著名的连续统假设．1938年，奥地利数理逻辑学家哥德尔证明了连续统假设与策梅洛-弗伦克尔(Zermelo-Fraenkel，ZF)集合论公理系统的无矛盾性．1963年，美国数学家科恩证明了连续统假设与ZF 集合论公理系统彼此独立．因而连续统假设不能用ZF集合论公理系统加以证明，即连续统假设的真伪不可能在ZF集合论公理系统内判定．在这个意义上，问题已经解决了．问题2算术公理的相容性(数学基础)欧几里得几何的相容性可归结为算术公理的相容性．希尔伯特曾提出用形式主义计划的证明方法加以证明，后来发展为系统的希尔伯特计划(“元数学”或“证明论”)，但1931年，哥德尔发表“不完备性定理”做出否定．1936年，根茨(G. Gentaen，1909—1945)使用超限归纳法证明了算术公理系统的相容性，但数学的相容性问题至今未解决．问题3只根据合同公理证明等底等高的四面体有相等之体积是不可能的(几何基础)问题的含义是：存在两个等底等高的四面体，它们不可能分解为有限个小四面体，使这两组四面体彼此全等，这一问题很快于1900年由希尔伯特的学生德恩(M. Dehn，1878—1952)给出了肯定的解答．这是希尔伯特问题中最早获得解决的一个．问题4直线作为两点间最短距离问题(几何基础)这一问题提得过于一般，满足这一性质的几何例子很多，只需要加以某些限制条件．在构造特殊度量几何方面已有很大进展，但未完全解决．1973年，苏联数学家波格列洛夫(Pogleov)宣布，在对称距离情况下，问题获得解决．问题5不要定义群的函数的可微性假设的李群概念(拓扑群论)这一问题简称连续群的解析性，即是否每一个局部欧式群都一定是李群．经过漫长的努力，这个问题于1952年，由美国格里森(Gleason)、蒙哥马利(Montqomery)和齐宾(Zipping)共同解决．1953年，日本的山迈彦得到完全肯定的结果．问题6物理公理的数学处理(数学物理)希尔伯特建议用数学的公理化方法推演出全部物理学．1933年，苏联数学家柯尔莫哥洛夫(A. Kolmogorov，1903—1987)将概率论公理化．后来在量子力学、量子场论和热力学等领域，公理化方法获得很大成功，但物理学各个分支能否全盘公理化，很多人对此表示怀疑．公理化的物理意味着什么，仍是需要探讨的问题．问题7某些数的无理性与超越性(超越数论)要求证明：若是代数数，是无理数的代数数，则一定是超越数或至少是无理数．苏联数学家盖尔丰德(A. O. Gelfond)于1929年、德国数学家施奈德(T. Schneieder)及西格尔(C. L. Siegel，1896—1981)于1934年各自独立地解决了这问题的后半部分．1966年贝克等大大推广了此结果．但是，超越数理论还远远未完成．要确定所给的数是否超越数，还没有统一的方法，如欧拉常数的无理性至今未获得证明．问题8素数分布问题(数论)希尔伯特在此问题中提到黎曼猜想、哥德巴赫猜想以及孪生素数问题．一般情形的黎曼猜想至今未解决．哥德巴赫猜想和孪生素数问题也未最终解决，这两个问题的最佳结果均属于中国的数学家陈景润．问题9任意数域中最一般的互反律之证明(类域论)该问题于1921年由日本学者高木贞治(1875—1860)、1927年由德国学者阿廷(E. Artin)各自给以基本解决．类域理论至今仍在发展之中．问题10丢番图方程可解性的判别(不定分析)希尔伯特提出问题：能否通过有限步骤来判定不定方程是否存在有理整数解．1970年，由苏联数学家马蒂雅塞维奇证明希尔伯特所期望的一般算法是不存在的．尽管得出了否定的结果，却产生了一系列很有价值的副产品，其中不少和计算机科学有密切联系．问题11系数为任意代数数的二次型(二次型理论)德国数学家哈塞(H. Hasse，1898—1979)于1929年和西格尔于1951年在这个问题上获得了重要的结果．20世纪60年代，法国数学家魏依取得了新的重大进展，但未获最终解决．问题12阿贝尔(Abel)域上的克罗内克(L. Kroneker，1823—1891)定理推广到任意代数有理域(复乘法理论)尚未解决．问题13不可能用只有两个变数的函数解一般的七次方程(方程论与实函数论)连续函数情形于1957年由苏联数学家阿诺尔德(V. Arnold，1937—2010)否定解决．1964年，苏联数学家维图斯金(Vituskin)推广到连续可微情形．但若要求是解析函数，则问题仍未解决．问题14证明某类完全函数系的有限性(代数不变式理论)1958年，日本数学家永田雅宜举出反例给出了否定解决．问题15舒伯特(Schubert)记数演算的严格基础(代数几何学)由于许多数学家的努力，舒伯特演算的基础的纯代数处理已有可能，但舒伯特演算的合理性仍待解决．至于代数几何的基础，已由荷兰数学家范·德·瓦尔登于1940年及法国数学家魏依于1950年各自独立建立．问题16代数曲线与曲面的拓扑(曲线与曲面的拓扑学、常微分方程的定性理论)这个问题分为两部分：前半部分涉及代数曲线含有闭的分枝曲线的最大数目，后半部分要求讨论极限环的最大个数和相对位置．关于问题的前半部分，近年来不断有重要结果出现．关于问题的后半部分，1978年，中国的史松龄在秦元勋、华罗庚的指导下，与王明淑分别举出了至少有4个极限环的具体例子．1983年，中国的秦元勋进一步证明了二次系至多有4个极限环，从而最终解决了二次微分方程的解的结构问题，并且为希尔伯特第16问题的研究提供了新的途径．问题17半正定形式的平方表示式(实域论)一个实数n元多项式对任意数组都恒大于零或等于零，是否能写成平方和的形式？此问题于1927年，由阿廷给予肯定的解决．问题18用全等多面体构造空间(结晶体群理论)该问题由三部分组成．第一部分欧式空间仅有有限个不同类的带基本区域的运动群．第二部分包括是否存在不是运动群的基本区域但经适当毗连即可充满全空间的多面体？第一部分由德国数学家贝尔巴赫(Bieberbach)于1910年做出了肯定的回答．第二部分由德国数学家莱因哈特(Reinhart)于1928年、黑施于1935年做出了部分解决．第三部分至今未能解决．问题19正则变分问题的解是否一定解析(椭圆型偏微分方程理论) 1929年，德国数学家伯恩斯坦(L. Bernstein，1918—1990)证明了一个变元的、解析的非线性椭圆方程，其解必定是解析的．这个结果后来又被伯恩斯坦和苏联数学家彼德罗夫斯基等推广到多变元和椭圆组的情形．在此意义下，问题已获解决．问题20一般边值问题(椭圆型偏微分方程理论)偏微分方程边值问题的研究正处于蓬勃发展的阶段，已成为一个很大的数学分支，目前还在继续发展，进展十分迅速．问题21具有给定单值群的线性偏微分方程的存在性证明(线性常微分方程大范围理论)此问题属于线性常微分方程的大范围理论．希尔伯特于1905年、勒尔(H. Rohrl)于1957年分别得出重要结果．1970年，法国数学家德利涅(Deligne)做出了突出的贡献．问题22用自守函数将解析函数单值比(黎曼曲面体)此问题涉及深奥的黎曼曲面理论，一个变数的情形已由德国数学家克贝(P. Koebe)于1907年解决，但一般情形尚未解决．问题23变分法的进一步发展(变分法)这是一个不明确的数学问题，只是谈了一些对变分法的一般看法．希尔伯特本人和许多数学家对变分法的发展做出了重要的贡献．20世纪变分法已有了很大的进展．希尔伯特的23个数学问题的影响及意义希尔伯特的23个数学问题绝大部分业已存在，并不是希尔伯特首先提出来的，但他站在更高的层面，用更尖锐、更简单的方式重新提出了这些问题，并指出了其中许多问题的解决方向．在世纪之交提出的这23个问题，涉及现代数学的许多领域．一个世纪以来，这些问题激发着数学家们浓厚的研究兴趣，对20世纪数学的发展起着巨大的推动作用．许多世界一流的数学家都深深为这23个问题着迷，并力图解决这些问题．希尔伯特所提出的问题清晰、易懂，其中一些有趣得令许多外行都跃跃欲试．解决其中任意一个，或者在任意一个问题上有重大突破，就自然地被公认为是世界一流水平的数学家．我国的数学家陈景润因在解决希尔伯特第8个问题(即素数问题，包括黎曼猜想、哥德巴赫猜想等)上有重大贡献而为世人所瞩目，由此也可见希尔伯特问题的特殊地位．经过整整一个世纪，希尔伯特的23个数学问题中，将近一半已经解决或基本解决．有些问题虽未解决，但也取得了重要进展．希尔伯特提出的问题是极其深奥的，不少问题一般人连题目也看不懂．正因为困难，才吸引有志之士去做巨大的努力．但它又不是不可接近的，因而提供了使人们终有收获的科学猎场．一百多年来，人们始终注视着希尔伯特问题的研究，绝不是偶然的．希尔伯特问题的研究与解决大大推动了许多现代数学分支的发展，包括数理逻辑、几何基础、李群、数学物理、概率论、数论、函数论、代数几何、常微分方程、偏微分方程、黎曼曲面论和变分法等．第2问题和第10问题的研究，还促进了现代计算机理论的成长．当然，预测不可能全部符合后来的发展，20世纪数学发展的广度和深度都远远超出20世纪初年的预料，像代数拓扑、抽象代数、泛函分析和多复变量函数等许多理论学科都未列入这23个问题，更不要说与应用有关的应用数学以及随计算机出现发展起来的计算数学和计算机科学了．（本期责编：王芳）本文摘编自胡伟文徐忠昌主编《数学文化欣赏》（北京：科学出版社，责任编辑吉正霞，2016.11）第八章部分，内容略有删节。
1900年希尔伯特提出的23个问题
1900年，德国数学家希尔伯特在巴黎召开的国际数学家大会上提出了一个震撼全球的问题清单，其中包括23个数学问题，这个清单被称为希尔伯特的23个问题。
这些问题使数学家们探索了整个20世纪，直到今天，这些问题仍然是数学家研究的热点问题，对数学的发展影响深远。
1.安德烈·韦伊定理：韦伊在1924年证明了，任何一个数都可以用四种平方数的和表示（顺序可以不同）。
这个定理改变了我们对于整数的理解，使我们看到了整数之间的微妙关系。
2.多项式方程组的求解：通过解决多项式方程组的求解问题，数学家得以研究出代数几何、拓扑学、数论等领域的问题。
3.梅尔斯定理：梅尔斯定理是数论中一条著名的定理，它对于我们研究素数产生了深远的影响。
梅尔斯定理的核心是：素数分布呈现出一定的规律性。
4.黎曼假设：黎曼假设是数学中著名的一条定理，它对数论的发展产生了重大影响。
它研究的是素数的分布规律，尽管至今没有得到证明，但数学家们一直在致力于研究。
5.黑格尔猜想：黑格尔猜想是一个普遍存在的问题，涉及到对于整数的理解和分解的问题。
它被认为是一条重要的代数学关于整数的猜想。
6.二十四问题中的第六个问题：从广义空间的角度出发，探究可能存在的最小的黎曼曲面。
7.有多少种平面上的几何形状可以拼成一个正方形：这个问题通过广义多面体的角度进行探究。
8.三次方程的求解：即$x^3+nx=m$，求解这个方程对于代数学中之后的发展产生了至关重要的作用。
9.每两个整数之间，是否都存在一个素数：这个问题涉及到数论中经典的问题，对素数的研究提供了更深层次的思考。
10.背包问题：这个问题涉及到了优化、操作科学、组合学等领域，是计算理论中著名的问题之一，它是物品对背包的选择问题，需要使得物品价值总和最大。
11.第五个问题：在数学中，研究高维空间的性质是一项极其困难的任务，希尔伯特提出了这个问题，想要探究高维空间的各个性质。
12.稳定性问题：在一些实际问题中，如果输入数据有一些错误，模型的结果是否会受到很大影响？这个问题问得正是这个。
数学素材：希尔伯特的23个数学问题
希尔伯特的23个数学问题湖南 黄爱民希尔伯特（Hilbert D ，1862．1．23~1943．2．14）是二十世纪上半叶德国乃至全世界最伟大的数学家之一．1900年，希尔伯特在巴黎数学家大会上提出了23个最重要的问题供二十世纪的数学家们去研究，这就是著名的“希尔伯特23个问题”．这23个问题涉及现代数学大部分重要领域，推动了二十世纪数学的发展．下面介绍部分问题给同学们．1．连续统假设 1874年，康托猜测在可列集基数和实数基数之间没有别的基数，这就是著名的连续统假设．1938年，哥德尔证明了连续统假设和世界公认的策梅洛———弗伦克尔集合论公理系统的无矛盾性．1963年，美国数学家科亨证明连续统假设和策梅洛———弗伦克尔集合论公理是彼此独立的．因此，连续统假设不能在策梅洛———弗伦克尔公理体系内证明其正确性与否．希尔伯特第1问题在这个意义上已获解决．2．算术公理的相容性 欧几里得几何的相容性可归结为算术公理的相容性．希尔伯特曾提出用形式主义计划的证明论方法加以证明．1931年，哥德尔发表的不完备性定理否定了这种看法．1936年德国数学家根茨在使用超限归纳法的条件下证明了算术公理的相容性．1988年出版的《中国大百科全书》数学卷指出，数学相容性问题尚未解决．3．两个等底等高四面体的体积相等问题 问题的意思是，存在两个等边等高的四面体，它们不可分解为有限个小四面体，使这两组四面体彼此全等．M ．W ．德恩1900年即对此问题给出了肯定解答．4．两点间以直线为距离最短线问题 此问题提得过于一般．满足此性质的几何学很多，因而需增加某些限制条件．1973年，前苏联数学家波格列洛夫宣布，在对称距离情况下，问题获得解决．《中国大百科全书》说，在希尔伯特之后，在构造与探讨各种特殊度量几何方面有许多进展，但问题并未解决．5．物理学的公理化 希尔伯特建议用数学的公理化方法推演出全部物理，首先是概率和力学．1933年，前苏联数学家柯尔莫哥洛夫实现了将概率论公理化．后来在量子力学、量子场论方面取得了很大成功．但是物理学是否能全盘公理化，很多人表示怀疑．6．不可能用只有两个变数的函数解一般的七次方程 七次方程的根依赖于3个参数a b c ，，，即()x x a b c ，，．这个函数能否用二元函数表示出来？前苏联数学家阿诺尔德解决了连续函数的情形（1957），维士斯金又把它推广到了连续可微函数的情形（1964）．但如果要求是解析函数，则问题尚未解决．7．舒伯特计数演算的严格基础 一个典型问题是：在三维空间中有四条直线，问有几条直线能和这四条直线都相交？舒伯特给出了一个直观解法．希尔伯特要求将问题一般化，并给以严格基础．现在已有了一些可计算的方法，但严格的基础迄今仍未确立．8．半正定形式的平方和表示 一个实系数n 元多项式对一切数组12()n x x x L ，，，都恒大于或等于0，是否都能写成平方和的形式？1927年阿廷证明这是对的．9．用全等多面体构造空间 由德国数学家比勃马赫（1910）、荚因哈特（1928）作出部分解决．。
世界七大数学难题
世界七大数学难题难题的提出20世纪是数学大开展的一个世纪。
数学的许多严重难题失掉完美处置，如费马大定理的证明，有限单群分类任务的完成等，从而使数学的基本实际失掉绝后开展。
计算机的出现是20世纪数学开展的严重成就，同时极大推进了数学实际的深化和数学在社会和消费力第一线的直接运用。
回首20世纪数学的开展，数学家们深切感谢20世纪最伟大的数学巨匠大卫·希尔伯特。
希尔伯特在1900年8月8日于巴黎召开的第二届世界数学家大会上的著名演讲中提出了23个数学难题。
希尔伯特效果在过去百年中激起数学家的智慧，指引数学行进的方向，其对数学开展的影响和推进是庞大的，无法估量的。
效法希尔伯特，许多当代世界著名的数学家在过去几年中整理和提出新的数学难题，希冀为新世纪数学的开展指明方向。
这些数学家知名度是高的，但他们的这项举动并没有惹起世界数学界的共同关注。
2021年终美国克雷数学研讨所的迷信顾问委员会选定了七个〝千年大奖效果〞，克雷数学研讨所的董事会决议树立七百万美元的大奖基金，每个〝千年大奖效果〞的处置都可取得百万美元的奖励。
克雷数学研讨所〝千年大奖效果〞的选定，其目的不是为了构成新世纪数学开展的新方向，而是集中在对数学开展具有中心意义、数学家们念念不忘而等候处置的严重难题。
2021年5月24日，千年数学会议在著名的法兰西学院举行。
会上，98年费尔兹奖取得者伽沃斯以〝数学的重要性〞为题作了演讲，其后，塔特和阿啼亚发布和引见了这七个〝千年大奖效果〞。
克雷数学研讨所还约请有关研讨范围的专家对每一个效果停止了较详细的论述。
克雷数学研讨所对〝千年大奖效果〞的处置与获奖作了严厉规则。
每一个〝千年大奖效果〞取得处置并不能立刻得奖。
任何处置答案必需在具有世界声誉的数学杂志上宣布两年后且失掉数学界的认可，才有能够由克雷数学研讨所的迷信顾问委员会审查决议能否值得取得百万美元大奖.世界七大数学难题这七个〝千年大奖效果〞是：NP完全效果、霍奇猜想、庞加莱猜想、黎曼假定、杨－米尔斯实际、纳卫尔－斯托可方程、BSD猜想。
世界数学十大未解难题
世界数学十大未解难题（其中“一至七”为七大“千僖难题”；附录“希尔伯特23个问题里尚未解决的问题”）一：P （多项式算法）问题对NP （非多项式算法）问题在一个周六的晚上，你参加了一个盛大的晚会。
由于感到局促不安，你想知道这一大厅中是否有你已经认识的人。
你的主人向你提议说，你一定认识那位正在甜点盘附近角落的女士罗丝。
不费一秒钟，你就能向那里扫视，并且发现你的主人是正确的。
然而，如果没有这样的暗示，你就必须环顾整个大厅，一个个地审视每一个人，看是否有你认识的人。
生成问题的一个解通常比验证一个给定的解时间花费要多得多。
这是这种一般现象的一个例子。
与此类似的是，如果某人告诉你，数13, 717, 421可以写成两个较小的数的乘积，你可能不知道是否应该相信他，但是如果他告诉你它可以因子分解为3607乘上3803,那么你就可以用一个袖珍计算器容易验证这是对的。
不管我们编写程序是否灵巧，判定一个答案是可以很快利用内部知识来验证，还是没有这样的提示而需要花费大量时间来求解，被看作逻辑和计算机科学中最突出的问题之一。
它是斯蒂文•考克（StephenCook）于 1971 年陈述的。
二：霍奇（Hodge）猜想二十世纪的数学家们发现了研究复杂对象的形状的强有力的办法。
基本想法是问在怎样的程度上，我们可以把给定对象的形状通过把维数不断增加的简单几何营造块粘合在一起来形成。
这种技巧是变得如此有用，使得它可以用许多不同的方式来推广；最终导至一些强有力的工具，使数学家在对他们研究中所遇到的形形色色的对象进行分类时取得巨大的进展。
不幸的是，在这一推广中，程序的几何出发点变得模糊起来。
在某种意义下，必须加上某些没有任何几何解释的部件。
霍奇猜想断言，对于所谓射影代数簇这种特别完美的空间类型来说，称作霍奇闭链的部件实际上是称作代数闭链的几何部件的（有理线性）组合。
三：庞加莱（Poincare）猜想如果我们伸缩围绕一个苹果表面的橡皮带，那么我们可以既不扯断它，也不让它离开表面，使它慢慢移动收缩为一个点。
世界七大数学难题与Hilbert的23个问题
世界七大数学难题与Hilbert的23个问题继上文《数学家的猜想错误》提到的七大数学难题和大卫·希尔伯特23个数学难题，今天我们就来详细了解下。
世界七大数学难题，这七个“千年大奖问题”是：NP完全问题、霍奇猜想、庞加莱猜想、黎曼假设、杨－米尔斯理论、纳卫尔－斯托可方程、BSD猜想。
千年大奖问题美国麻州的克雷（Clay）数学研究所于2000年5月24日在巴黎法兰西学院宣布了一件被媒体炒得火热的大事：对七个“千年数学难题”的每一个悬赏一百万美元。
其中有一个已被解决(庞加莱猜想),还剩六个.（庞加莱猜想，已由俄罗斯数学家格里戈里·佩雷尔曼破解。
我国中山大学朱熹平教授和旅美数学家、清华大学兼职教授曹怀东做了证明的封顶工作。
）“千年大奖问题”公布以来，在世界数学界产生了强烈反响。
这些问题都是关于数学基本理论的，但这些问题的解决将对数学理论的发展和应用的深化产生巨大推动。
认识和研究“千年大奖问题”已成为世界数学界的热点。
不少国家的数学家正在组织联合攻关。
可以预期，“千年大奖问题”将会改变新世纪数学发展的历史进程。
01庞加莱猜想1904年，法国数学家亨利·庞加莱（HenriPoincaré）在提出这个猜想：'任何一个单连通的，封闭的三维流形一定同胚于一个三维的球面。
'换一种简单的说法就是：一个闭的三维流形就是一个没有边界的三维空间；单连通就是这个空间中每条封闭的曲线都可以连续的收缩成一点，或者说在一个封闭的三维空间，假如每条封闭的曲线都能收缩成一点，这个空间就一定是一个三维圆球。
懵逼中为了大家便于理解庞加莱猜想，有人给出了一个十分形象的例子：假如在一个完全封闭（足够结实）的球形房子里，有一个气球（皮是无限薄的），现在我们将气球不断吹大，到最后，气球的表面和整个房子的墙壁是完全贴住，没有缝隙。
面对这个看似十分简单的猜想，无数位数学家前仆后继，绞尽脑汁，甚至是倾其一生都没能证明这个猜想。
希尔伯特23个问题及解决情况
希尔伯特23个问题及解决情况1900年希尔伯特应邀参加巴黎国际数学家大会并在会上作了题为《数学问题》重要演讲。
在这具有历史意义的演讲中，首先他提出许多重要的思想：正如人类的每一项事业都追求着确定的目标一样，数学研究也需要自己的问题。
正是通过这些问题的解决，研究者锻炼其钢铁意志，发现新观点，达到更为广阔的自由的境界。
希尔伯特特别强调重大问题在数学发展中的作用，他指出：“如果我们想对最近的将来数学知识可能的发展有一个概念，那就必须回顾一下当今科学提出的，希望在将来能够解决的问题。
”同时又指出：“某类问题对于一般数学进程的深远意义以及它们在研究者个人的工作中所起的重要作用是不可否认的。
只要一门科学分支能提出大量的问题，它就充满生命力，而问题缺乏则预示着独立发展的衰亡或中止。
”他阐述了重大问题所具有的特点，好的问题应具有以下三个特征：清晰性和易懂性；虽困难但又给人以希望；意义深远。
同时他分析了研究数学问题时常会遇到的困难及克服困难的一些方法。
就是在这次会议上他提出了在新世纪里数学家应努力去解决的23个问题，即著名的“希尔伯特23个问题”。
编号问题推动发展的领域解决的情况1连续统假设公理化集合论1963年，PaulJ.Cohen在下述意义下证明了第一个问题是不可解的。
即连续统假设的真伪不可能在Zermelo_Fraenkel公理系统内判定。
2算术公理的相容性数学基础希尔伯特证明算术公理的相容性的设想，后来发展为系统的Hilbert计划（“元数学”或“证明论”）但1931年歌德尔的“不完备定理”指出了用“元数学”证明算术公理的相容性之不可能。
数学的相容性问题至今未解决。
3两等高等底的四面体体积之相等几何基础这问题很快（1900）即由希尔伯特的学生M.Dehn给出了肯定的解答。
4直线作为两点间最短距离问题几何基础这一问题提得过于一般。
希尔伯特之后，许多数学家致力于构造和探索各种特殊的度量几何，在研究第四问题上取得很大进展，但问题并未完全解决。
希尔伯特个数学问题大数学难题
希尔伯特个数学问题大数学难题Document serial number【KK89K-LLS98YT-SS8CB-SSUT-SST108】世界数学十大未解难题（其中“一至七”为七大“千僖难题”；附录“希尔伯特23个问题里尚未解决的问题”）一：P（多项式算法）问题对NP（非多项式算法）问题在一个周六的晚上，你参加了一个盛大的晚会。
由于感到局促不安，你想知道这一大厅中是否有你已经认识的人。
你的主人向你提议说，你一定认识那位正在甜点盘附近角落的女士罗丝。
不费一秒钟，你就能向那里扫视，并且发现你的主人是正确的。
然而，如果没有这样的暗示，你就必须环顾整个大厅，一个个地审视每一个人，看是否有你认识的人。
生成问题的一个解通常比验证一个给定的解时间花费要多得多。
这是这种一般现象的一个例子。
与此类似的是，如果某人告诉你，数 13，717，421可以写成两个较小的数的乘积，你可能不知道是否应该相信他，但是如果他告诉你它可以因子分解为3607乘上3803，那么你就可以用一个袖珍计算器容易验证这是对的。
不管我们编写程序是否灵巧，判定一个答案是可以很快利用内部知识来验证，还是没有这样的提示而需要花费大量时间来求解，被看作逻辑和计算机科学中最突出的问题之一。
它是斯蒂文·考克（StephenCook）于1971年陈述的。
二：霍奇(Hodge)猜想二十世纪的数学家们发现了研究复杂对象的形状的强有力的办法。
基本想法是问在怎样的程度上，我们可以把给定对象的形状通过把维数不断增加的简单几何营造块粘合在一起来形成。
这种技巧是变得如此有用，使得它可以用许多不同的方式来推广；最终导至一些强有力的工具，使数学家在对他们研究中所遇到的形形色色的对象进行分类时取得巨大的进展。
不幸的是，在这一推广中，程序的几何出发点变得模糊起来。
在某种意义下，必须加上某些没有任何几何解释的部件。
霍奇猜想断言，对于所谓射影代数簇这种特别完美的空间类型来说，称作霍奇闭链的部件实际上是称作代数闭链的几何部件的(有理线性)组合。
希尔伯特的23个问题（互动百科）
希尔伯特的23个问题（互动百科）
希尔伯特的23个问题
开放分类：数学数理逻辑科学自然科学
编辑词条分享
1900年，希尔伯特在巴黎的国际数学家大会上作了题为《数学问题》的演讲，提出了23道最重要的数学问题，这就是著名的希尔伯特的23个问题。
希尔伯特问题对推动20世纪数学的发展起了积极的推动作用。
在许多数学家努力下，希尔伯特问题中的大多数在20世纪中得到了解决。
希尔伯特问题中未能包括拓扑学、微分几何等领域，除数学物理外很少涉及应用数学，更不曾预料到电脑发展将对数学的产生重大影响。
20世纪数学的发展实际上远远超出了希尔伯特所预示的范围。
希尔伯特问题中的1-6是数学基础问题，7-12是数论问题，13-1 8属于代数和几何问题，19-23属于数学分析。
以下列出希尔伯特的23个问题：。
希尔伯特的23个问题
19.正则变分问题的解是否一定解析 椭圆型偏微分方程理论 这问题在下述意义上已获解
决,1904年,C.Bерн mтейн[前苏联]证明了一个两个变元的、解析的非线性椭圆方
程,其解必定是解析的。这个结果后来又被Bернтейн本人和и.г.п eтров
18.由全等多面体构成空间 结晶体群理论 问题的第一部分(欧氏空间中仅有有限个不同
类的带基本区域的运动群)于1910年由L.Bieberbarch肯定解决;问题的第二部分(是否存
在不是运动群的基本区域但经适当毗连可充满全空间的多面体)已由Reinhardt(1928年)
和Heesch(1935年)分别给出三维和二维情形的例子;至于将无限个相等的给定形式的立体
决,即证明了存在群г,其不变式所构成的环不具有有限个整基。
15.Schubert计数演算的严格基础 代数几何学 由于许多数学家的努力,Schubert演算基
础的纯代数处理已有可能,但Schubert演算的合理性仍待解决。至于代数几何的基础,已
由B.L.Vander Waerden(1938年 -1940年)与A.Weil(1950年)建立。
无理数β≠0证明了α攩β攪的超越性,1966年这一结果又被A.Baker等人大大推广和发展
了。
8.素数问题 数 论 一般情形下的Riemann猜想至今仍然是猜想。包括在其中的Goldbach
问题至今也未解决。中国数学家在这方面做出了一系列出色的工作。
9.任意数域中最一般的互反律证明 类域论 已由高木贞治[日,1921年]和E.Artin[美192
,但一般地说,公理化的物理意味着什么,仍是需探讨的问题。至于概率论的公理化,已由
希尔伯特23个数学问题和其解决情况
希尔伯特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和eπ）。
苏联的盖尔封特（Gelfond）1929年、德国的施奈德（Schneider）及西格尔（Siegel）1935年分别独立地证明了其正确性。
世界数学十大未解难题
世界数学十大未解难题（其中“一至七”为七大“千僖难题”；附录“希尔伯特23个问题里尚未解决的问题”）一：P（多项式算法）问题对NP（非多项式算法）问题在一个周六的晚上，你参加了一个盛大的晚会。
由于感到局促不安，你想知道这一大厅中是否有你已经认识的人。
你的主人向你提议说，你一定认识那位正在甜点盘附近角落的女士罗丝。
不费一秒钟，你就能向那里扫视，并且发现你的主人是正确的。
然而，如果没有这样的暗示，你就必须环顾整个大厅，一个个地审视每一个人，看是否有你认识的人。
生成问题的一个解通常比验证一个给定的解时间花费要多得多。
这是这种一般现象的一个例子。
与此类似的是，如果某人告诉你，数13，717，421可以写成两个较小的数的乘积，你可能不知道是否应该相信他，但是如果他告诉你它可以因子分解为3607乘上3803，那么你就可以用一个袖珍计算器容易验证这是对的。
不管我们编写程序是否灵巧，判定一个答案是可以很快利用内部知识来验证，还是没有这样的提示而需要花费大量时间来求解，被看作逻辑和计算机科学中最突出的问题之一。
它是斯蒂文·考克（StephenCook）于1971年陈述的。
二：霍奇(Hodge)猜想二十世纪的数学家们发现了研究复杂对象的形状的强有力的办法。
基本想法是问在怎样的程度上，我们可以把给定对象的形状通过把维数不断增加的简单几何营造块粘合在一起来形成。
这种技巧是变得如此有用，使得它可以用许多不同的方式来推广；最终导至一些强有力的工具，使数学家在对他们研究中所遇到的形形色色的对象进行分类时取得巨大的进展。
不幸的是，在这一推广中，程序的几何出发点变得模糊起来。
在某种意义下，必须加上某些没有任何几何解释的部件。
霍奇猜想断言，对于所谓射影代数簇这种特别完美的空间类型来说，称作霍奇闭链的部件实际上是称作代数闭链的几何部件的(有理线性)组合。
三：庞加莱(Poincare)猜想如果我们伸缩围绕一个苹果表面的橡皮带，那么我们可以既不扯断它，也不让它离开表面，使它慢慢移动收缩为一个点。
希尔伯特23个问题与21世纪七大数学难题
希尔伯特23个问题与21世纪七大数学难题2009-12-31 12:41:40希尔伯特23个问题及解决情况1900年希尔伯特应邀参加巴黎国际数学家大会并在会上作了题为《数学问题》重要演讲。
在这具有历史意义的演讲中，首先他提出许多重要的思想：正如人类的每一项事业都追求着确定的目标一样，数学研究也需要自己的问题。
正是通过这些问题的解决，研究者锻炼其钢铁意志，发现新观点，达到更为广阔的自由的境界。
希尔伯特特别强调重大问题在数学发展中的作用，他指出：“如果我们想对最近的将来数学知识可能的发展有一个概念，那就必须回顾一下当今科学提出的，希望在将来能够解决的问题。
” 同时又指出：“某类问题对于一般数学进程的深远意义以及它们在研究者个人的工作中所起的重要作用是不可否认的。
只要一门科学分支能提出大量的问题，它就充满生命力，而问题缺乏则预示着独立发展的衰亡或中止。
”他阐述了重大问题所具有的特点，好的问题应具有以下三个特征：清晰性和易懂性；虽困难但又给人以希望；意义深远。
同时他分析了研究数学问题时常会遇到的困难及克服困难的一些方法。
就是在这次会议上他提出了在新世纪里数学家应努力去解决的23个问题，即著名的“希尔伯特23个问题”。
编号问题推动发展的领域解决的情况1 连续统假设公理化集合论1963年，Paul J.Cohen 在下述意义下证明了第一个问题是不可解的。
即连续统假设的真伪不可能在Zermelo_Fraenkel公理系统内判定。
2 算术公理的相容性数学基础希尔伯特证明算术公理的相容性的设想，后来发展为系统的Hilbert计划（“元数学”或“证明论”）但1931年歌德尔的“不完备定理”指出了用“元数学”证明算术公理的相容性之不可能。
数学的相容性问题至今未解决。
3 两等高等底的四面体体积之相等几何基础这问题很快（1900）即由希尔伯特的学生M.Dehn 给出了肯定的解答。
4 直线作为两点间最短距离问题几何基础这一问题提得过于一般。
七大千年数学难题
七大千年数学难题1900年，德国数学家希尔伯特在巴黎举行的国际数学家大会上提出了23个数学问题，认为这些是人类在20世纪里应该努力去解决的问题。
一百年之后，美国克莱数学研究所相对应地提出了七大数学难题，并对每个问题设立百万美元巨奖征集答案。
克莱研究所提出的七大难题分别为:(1)庞加莱猜想(已证明) 庞加莱是在1904年发表的一组论文中提出这一猜想的:“单连通的三维闭流形同胚于三维球面。
”它后来被推广为:“任何与n维球面同伦的n维闭流形必定同胚于n维球面。
”(2)P与NP问题(没什么进展) P 问题的P 是Polynomial Time(多项式时间)的头一个字母。
某决定性(非概率)算法计算一个问题所花的时间t是问题尺度n的多项式函数t=P(n)，我们就称之为“多项式时间决定法”。
而能用这个算法解的问题就是P 问题;反之，就叫做“非多项式时间决定性算法”，这类的问题就是“NP 问题”，NP 是Non deterministic Polynomial time (非决定性多项式时间)的缩写。
由定义来说，P 问题是NP 问题的一部份。
但是否NP 问题里面有些不属于P 问题等级的东西呢,或者NP 问题终究也成为P 问题,这就是相当著名的PNP 问题。
一般认为，NP 问题里面有不属于P 问题等级的东西。
(3)黎曼假设(暂无希望) Zeta 函数ζ (s)(s属于C)的全部非平凡零点都在复平面的直线Re(z)=1/2上。
(4)杨,米尔理论(太难，几乎没人做) 杨振宁与密尔斯提出的理论中会产生传送作用力的粒子，而他们碰到的困难是这个粒子的质量的问题。
他们从数学上所推导的结果是，这个粒子具有电荷但没有质量。
然而，困难的是如果这一有电荷的粒子是没有质量的，那麼为什麼没有任何实验证据呢,而如果假定该粒子有质量，规范对称性就会被破坏。
一般物理学家是相信有质量，因此如何填补这个漏洞就是相当具挑战性的数学问题。
(5)纳维叶,斯托克斯(Navier-Stokes)方程(流体力学基本方程组)的存在性与光滑性(离解决相差很远)(6)波奇和斯温纳顿,戴雅猜想(比费玛大定理难100倍) y^2=x^3+ax+b的有理数解问题。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
希尔伯特23个问题与21世纪七大数学难题2009-12-31 12:41:40希尔伯特23个问题及解决情况1900年希尔伯特应邀参加巴黎国际数学家大会并在会上作了题为《数学问题》重要演讲。
在这具有历史意义的演讲中，首先他提出许多重要的思想：正如人类的每一项事业都追求着确定的目标一样，数学研究也需要自己的问题。
正是通过这些问题的解决，研究者锻炼其钢铁意志，发现新观点，达到更为广阔的自由的境界。
希尔伯特特别强调重大问题在数学发展中的作用，他指出：“如果我们想对最近的将来数学知识可能的发展有一个概念，那就必须回顾一下当今科学提出的，希望在将来能够解决的问题。
” 同时又指出：“某类问题对于一般数学进程的深远意义以及它们在研究者个人的工作中所起的重要作用是不可否认的。
只要一门科学分支能提出大量的问题，它就充满生命力，而问题缺乏则预示着独立发展的衰亡或中止。
”他阐述了重大问题所具有的特点，好的问题应具有以下三个特征：清晰性和易懂性；虽困难但又给人以希望；意义深远。
同时他分析了研究数学问题时常会遇到的困难及克服困难的一些方法。
就是在这次会议上他提出了在新世纪里数学家应努力去解决的23个问题，即著名的“希尔伯特23个问题”。
编号问题推动发展的领域解决的情况1 连续统假设公理化集合论1963年，Paul J.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)解决.10 Diophantius方程可解性的判别不定分析1970年由苏、美数学家证明Hilbert所期望的一般算法是不存在的。
11 系数为任意代数数的二次型二次型理论H.Hasse(1929)和C. L.Siegel(1936,1951)在这问题上获得了重要的结果。
12 Abel域上kroneker定理推广到任意代数有理域。
复乘法理论尚未解决。
13 不可能用只有两个变数的函数解一般的七次方程。
方程论与实函数论连续函数情形于1957年由苏数学家否定解决，如要求是解析函数，则问题仍未解决。
14 证明某类完全函数系的有限性代数不变式理论1958年永田雅宜给出了否定解决。
15 Schubert记数演算的严格基础代数几何学由于许多数学家的努力，Schubert演算的基础的纯代数处理已有可能，但Schubert演算的合理性仍待解决。
至于代数几何的基础，已由B.L.Vander Waerden(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本人和许多数学家对变分法的发展作出了重要的贡献。
百年前的数学家大会与希尔伯特的问题熊卫民21世纪第一次国际数学家大会马上就要在北京召开了，它将给本世纪的数学发展带来些什么？能像20世纪的第一次国际数学家大会那样左右数学发展的方向吗？一个世纪前的那次数学家大会之所以永载史册，完全是因为一个人，因为他的一个报告——希尔伯特（David Hilbert）和他的《数学问题》。
1900年，希尔伯特在巴黎召开的第二届国际数学家大会上提出了他著名的23个数学问题。
在随后的半个世纪中，许多世界一流的数学头脑都围着它们转。
其情形正如另一位非常著名的数学家外尔（H. Weyl）所说：“希尔伯特吹响了他的魔笛，成群的老鼠纷纷跟着他跃进了那条河。
”这也难怪，他所提出的问题都那么清晰、那么易懂，其中一些有趣得令许多外行都跃跃欲试，而且解决其中任意一个，或者在任意一个问题上有重大突破，立即就能名满天下——我国的陈景润就因为在解决希尔伯特第8个问题（即素数问题，包括黎曼猜想、哥德巴赫猜想等）上有重大贡献而为世人所侧目。
人们在总结二十世纪数学的发展，尤其是二十世纪上半叶数学的发展时，通常都以希尔伯特所提的问题为航标。
其实这些问题绝大部分业已存在，并不是希尔伯特首先提出来的。
但他站在更高的层面，用更尖锐、更简单的方式重新提出了这些问题，并指出了其中许多问题的解决方向。
数学领域中的问题是极多的，究竟哪些更重要、更基本？做出这样的选择需要敏锐的洞察力。
为什么希尔伯特能如此目光如炬？数学史家、中国科学院数学与系统科学研究院研究员、《希尔伯特——数学王国中的亚历山大》一书的译者袁向东先生（和李文林先生合译）认为，这是因为希尔伯特是数学王国中的亚历山大！数学家可分为两类，一类擅长解决数学中的难题，另一类擅长对现有状况做出理论总结，两大类中又均可细分为一流、二流、三。
希尔伯特两者兼长，几乎走遍了现代数学所有前沿阵地，在多个差异很大的数学分支中都留下了他那显赫的名字，对数学发展的大背景了如指掌，对所提及的许多问题都有深入的研究，是数学领域中的“王”。
为什么希尔伯特要在大会上总结数学的基本问题，而不像常人一样宣讲自己的某项成果？袁向东告诉记者，这和另一位数学巨匠庞加莱(Henri Poincaré)有关，庞加莱在1897年举行的第一届国际数学家大会上做的是应用数学方面的报告。
他们两人是当时国际数学界中的双子星座，均为领袖级人物，当然也存在一定的竞争心理——既然庞加莱讲述的是自己对物理、数学关系的一般看法，那么希尔伯特就为纯粹数学做一些辩护。
庞加莱是法国人，希尔伯特是德国人，法、德两国有世仇，所以他们之间的竞争还带上了一种国与国竞争的味道。
虽然他们两人非常尊重对方，这一点在他们身上体现得不明显，但他们的学生和老师常常这样看。
希尔伯特的老师克莱茵（Felix Klein）就是一个民族感非常强的人，他非常强调德意志数学的发展，想让国际数学界变成椭圆——以前是圆形，圆心为巴黎；现在他想让自己所在的哥廷根市也成为世界数学的中心，使数学世界变成有两个圆心的椭圆。
在希尔伯特及其亲密朋友闵可夫斯基(Hermann Minkowski)的帮助下，克莱茵实现了自己的目标——1900年时，希尔伯特就已经和法国最伟大的数学家庞加莱齐名，而克莱茵本人和马上就要来到哥廷根的闵可夫斯基也是极有影响的数学家。
事实上，他们在德国号称“无敌三教授”。
从一个例子可以想见他们的魅力。
某天，在谈及拓扑学著名定理——四色定理时，闵可夫斯基突然灵机一动，于是对满堂的学生说：“这条定理还没有得到证明，因为到目前为止还只有一些三流数学家对它进行过研究。
现在由我来证明它。
”然后他拿起粉笔当场证明这条定理。
这堂课结束后，他还没有证完。
下堂课他继续证，这样一直持续了几周。
最后，在一个阴雨的早晨，他一走上讲台天空就出现了一道霹雳。
“老天也被我的傲慢激怒了，”他说，“我的证明也是不完全的。
”（该定理直到1994年才用计算机证明出来。
）1912年，庞加莱逝世。
世界数学的中心进一步向哥廷根偏移，数学界似乎又变成了一个圆——不过圆心换成了哥廷根。
此时，哥廷根学派的名声如日中天，在数学青年中流行的口号是“打起你的铺盖，到哥廷根去！”一个世纪过去了，希尔伯特所列的那23个问题约有一半问题已经解决，其余一半的大多数也都有重大进展。
但希尔伯特本人没有解决其中的任意一个。
有人问他，为什么他不去解决自己所提的问题，譬如说费马大定理？费马是在一页书的空白处写下该定理的，他同时宣称自己已经想出了一个美妙的证法，但可惜的是空白区不够大，写不下了。
希尔伯特的回答同样幽默：“我不想杀掉这只会下金蛋的母鸡”——德国一企业家建了一个基金会奖励第一个解决费马大定律者，希尔伯特时任该基金会的主席，每年利用该项基金的利息请优秀学者去哥廷根讲学，所以对他而言，费马大定律者是只会下金蛋的母鸡。
（费马大定律直到1997年才被解决。
）在列出23个问题之前，希尔伯特已经是国际数学界公认的领军人物，已经在数学的诸多领域取得多项重要成果。
他的其它贡献，譬如他的公理化主张、形式主义构想、《几何基础》一书等等，都对20世纪数学的发展有着深远的影响。
1 21世纪七大数学难题21世纪七大数学难题最近美国麻州的克雷（Clay）数学研究所于2000年5月24日在巴黎法兰西学院宣布了一件被媒体炒得火热的大事：对七个“千僖年数学难题”的每一个悬赏一百万美元。
以下是这七个难题的简单介绍。
“千僖难题”之一：P（多项式算法）问题对NP（非多项式算法）问题在一个周六的晚上，你参加了一个盛大的晚会。
由于感到局促不安，你想知道这一大厅中是否有你已经认识的人。
你的主人向你提议说，你一定认识那位正在甜点盘附近角落的女士罗丝。
不费一秒钟，你就能向那里扫视，并且发现你的主人是正确的。
然而，如果没有这样的暗示，你就必须环顾整个大厅，一个个地审视每一个人，看是否有你认识的人。