小树叶-亮剑观后感

仅供个人参考
For personal use only in study and research; not for
commercial use

For personal use only in study and research; not for
commercial use


莇
数学之最：世界上最难的23道数学题

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

蚄
2．算术公理的相容性欧几里得几何的相容性可归结为算术公理的相容性。希尔伯特曾提出用形式主义计划的证明论方法加以证明。1931年，哥德尔发表的不完备性定理否定了
这种 看法。1936年德国数学家根茨在使用超限归纳法的条件下证明了算术公理的相容性。1
988年出版 的《中国大百科全书》数学卷指出，数学相容性问题尚未解决。

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

聿
4．两点间以直线为距离最短线问题。此问题提得过于一般。满足此性质的几何学很多，因而需增加某些限制条件。1973年，苏联数学家波格列洛夫宣布，在对称距离情况下，
问题 获得解决。《中国大百科全书》说，在希尔伯特之后，在构造与探讨各种特殊度量几何
方面有许多进展， 但问题并未解决。

不得用于商业用途

仅供个人参考
5．一个连续变换群的李氏概念，定义这个群的函数不假定是可微的这个问题简称连
羈
续群的解 析性，即：是否每一个局部欧氏群都有一定是李群？中间经冯·诺伊曼（1933，对
紧群情形）、庞德 里亚金（1939，对交换群情形）、谢瓦荚（1941，对可解群情形）的努力，
1952年由格利森 、蒙哥马利、齐宾共同解决，得到了完全肯定的结果。

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

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

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

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

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

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

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

螀
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世纪以来变分法有 了很大的发展。
不得用于商业用途

仅供个人参考
仅供个人用于学习、研究；不得用于商业用途。
For personal use only in study and research; not for commercial use.
Nur für den persönlichen für Studien, Forschung, zu kommerziellen Zwecken verwendet werden.
Pour l 'étude et la recherche uniquement à des fins personnelles; pas à des fins commerciales.
только для людей, которые используются для обучения, исследований и не должны
использоваться в коммерческих целях.


以下无正文

不得用于商业用途

仅供个人参考
仅供个人用于学习、研究；不得用于商业用途。
For personal use only in study and research; not for commercial use.
Nur für den persönlichen für Studien, Forschung, zu kommerziellen Zwecken verwendet werden.
Pour l 'étude et la recherche uniquement à des fins personnelles; pas à des fins commerciales.
только для людей, которые используются для обучения, исследований и не должны
использоваться в коммерческих целях.


以下无正文

不得用于商业用途