Question

对于希尔伯特23个数学难题，还没解决的有多少？有哪些？

Answer 1

1 连续统假设 已解决。1963年美国数学家保罗·柯恩以力迫法（forcing）证明连续统假设不能由ZFC推导。也就是说，连续统假设成立与否无法由ZFC确定。
2 算术公理之相容性 已解决。库尔特·哥德尔在1930年证明了哥德尔不完备定理。
3 两四面体有相同体积之证明法 已解决。希尔伯特的学生马克斯·德恩以一反例证明了是不可以的了。
4 建立所有度量空间使得所有线段为测地线 太隐晦。希尔伯特对于这个问题的定义过于含糊。
5 所有连续群是否皆为可微群 已解决。1953年日本数学家山迈英彦已得到完全肯定的结果。
6 公理化物理 非数学。对于物理学能否全盘公理化，有很多人质疑。
7 若b是无理数、a是非0、1代数数，那么a^b是否超越数 已解决。分别于1934年、1935年由Gelfond与Schneider独立地解决。
8 黎曼猜想及哥德巴赫猜想 部分解决。1966年中国数学家陈景润部分解答了哥德巴赫猜想。
9 任意代数数域的一般互反律 部分解决。1921年日本的高木贞治，1927年德国的埃米尔·阿廷（E.Artin）各有部份解答。
10 不定方程可解性 已解决。1970年苏联数学家马蒂塞维奇证明：在一般情况答案是否定的。
11 代数系数之二次形式 已解决。有理数的部分由哈塞于1923年解决，实数的部分则由希格尔于1930年解决。
12 扩展代数数 已解决。1920年高木贞治开创了阿贝尔类域理论。
13 以二元函数解任意七次方程 已解决。1957年柯尔莫哥洛夫和阿诺德证明其不可能性。
14 证明一些函数完全系统（Completesystemoffunctions）之有限性 已解决。1962年日本人永田雅宜提出反例。
15 舒伯特列举微积分（Schubert'senumerativecalculus）之严格基础 部分解决。一部分在1938年由范德瓦登得到严谨的证明。
16 代数曲线及表面之拓扑结构 未解决
17 把有理函数写成平方和分式 已解决。1927年埃米尔·阿廷（EmilArtin）已解决实封闭域。
18 非正多面体能否密铺空间、球体最紧密的排列 已解决。1910年比伯巴赫做出“n维空间由有限多个群嵌成”
19 拉格朗日系统（Lagrangian）之解是否皆可解析（Analytic） 已解决。1904年由伯恩斯坦（SergeBernstein）解决。
20 所有有界限条件的变量问题（Variationalproblem）是否都有解 已解决
21 证明有线性微分方程有给定的单值群（monodromygroup） 已解决
22 以自守函数（Automorphicfunctions）一致化可解析关系 已解决。 1904年由科比和庞加莱取得解决。
23 变分法的长远发展 已解决

追问

其他的要么解决要么没解决，没有什么多虑的。但第6个问题，居然以怀疑的态度来看待的，他们到底有没有行动啊？