数学家希尔伯特生平简介希尔伯特23个数学难题分别是什么？

1963年，美国数学家科思（P.Choen）证明连续统假设与ZF公理彼此独立。因而，连续统假设不能用ZF公理加以证明。在这个意义下，问题已获解决。

2、算术公理系统的无矛盾性

欧氏几何的无矛盾性可以归结为算术公理的无矛盾性。希尔伯特曾提出用形式主义计划的证明论方法加以证明，哥德尔1931年发表不完备性定理作出否定。根茨（G.Gentaen，1909-1945）1936年使用超限归纳法证明了算术公理系统的无矛盾性。

3、只根据合同公理证明等底等高的两个四面体有相等之体积是不可能的

问题的意思是：存在两个等高等底的四面体，它们不可能分解为有限个小四面体，使这两组四面体彼此全等。德思（M.Dehn）在1900年已解决。

4、两点间以直线为距离最短线问题

此问题提的一般。满足此性质的几何很多，因而需要加以某些限制条件。1973年，苏联数学家波格列洛夫（Pogleov）宣布，在对称距离情况下，问题获解决。

5、拓扑学成为李群的条件（拓扑群）

这一个问题简称连续群的解析性，即是否每一个局部欧氏群都一定是李群。1952年，由格里森（Gleason）、蒙哥马利（Montgomery）、齐平（Zippin）共同解决[2] 。1953年，日本的山迈英彦已得到完全肯定的结果。
本文标题：数学家希尔伯特生平简介希尔伯特23个数学难题分别是什么？ - 世界历史
本文地址：/sjls/1571.html