史进的故事-
u3000u30001.连续统假设1874年,康托 猜测在可列集基数和实数基数之间没有别的基数,这就是著名的连续统假设。
1938年,哥德 尔证明了连续统假设和世界公认的策梅洛–弗伦克尔集合论公理系统的无矛盾性。
1963年, 美国数学家科亨证明连续假设和策梅洛–伦克尔集合论公理是彼此独立的。
因此,连续统假设不 能在策梅洛–弗伦克尔公理体系内证明其正确性与否。希尔伯特第1问题在这个意义上已获解决。
u3000u30002.算术公理的相容性欧几里得几 何的相容性可归结为算术公理的相容性。
希尔伯特曾提出用形式主义计划的证明论方法加以证明 。
1931年,哥德尔发表的不完备性定理否定了这种看法。
1936年德国 数学家根茨在使用超限归纳法的条件下证明了算术公理的相容性。
1988年出版的《中国大百 科全书》数学卷指出,数学相容性问题尚未解决。
u3000u3000
3.两个等底等高四面体的体积相等问题。
问 题的意思是,存在两个等边等高的四面体,
它们不可分解为有限个小四面体,使这两组四面体彼 此全等。
M.W.德恩1900年即对此问题给出了肯定解答。
u3000< br>
u30004.两点间以直线为距离最短线 问题。此问题提得过于一般。
满足此性质的几何学很多,因而需增加某些限制条件。
< br>1973年,苏联数学家波格列洛夫宣布,在对称距离情况下,问题获得解决。
《中国大 百科全书》说,在希尔伯特之后,在构造与探讨各种特殊度量几何方面有许多进展,但问题并未解决。
< br>u3000
u30005.一个连续变换群的李氏概 念,定义这个群的函数不假定是可微的这个问题简称连续群的解析性,
即:是否每一个局部欧氏 群都有一定是李群?中间经冯·诺伊曼(1933,对紧群情形)、庞德里亚金(1939,对交换群情形)、< br>
谢瓦荚(1941,对可解群情形)的努力,1952年由格利森、蒙哥马利、齐宾共同解决,得 到了完全肯定的结果。
u3000u3000
6.物理学的公理化希尔伯特建议用数学的公理化方法推演出全部物理,首先是概率和力学。
1933年,苏联数学家柯尔莫哥洛夫实现了将概率论公理化。
后来在量子力学、量子场论方 面取得了很大成功。
但是物理学是否能全盘公理化,很多人表示怀疑。
u30 00
u30007.某些数的无理性与超 越性1934年,A.O.盖尔方德和T.施奈德各自独立地解决了问题的后半部分,
即对于任 意代数数α≠0,1,和任意代数无理数β证明了αβ的超越性。
u3000u3000
8.素数问题。包括黎曼猜想、哥德巴赫猜想及 孪生素数问题等。
一般情况下的黎曼猜想仍待解决。哥德巴赫猜想的最佳结果属于陈景润(19 66),
但离最解决
尚有距离。目前孪生素数问题的最佳结果也属于陈景润。
u3000
u30009.在任意数域中 证明最一般的互反律。该问题已由日本数学家高木贞治(1921)和德国数学家E.阿廷(1927)解决。< br>
u3000u3000
10.丢番图方程的 可解性。能求出一个整系数方程的整数根,称为丢番图方程可解。
希尔伯特问,能否用一种由有 限步构成的一般算法判断一个丢番图方程的可解性?
1970年,苏联的IO.B.马季亚谢维 奇证明了希尔伯特所期望的算法不存在。
u3000
u300011.系数为任意代数数的二次型。H.哈塞(1929)和C.L.西格尔(1936, 1951)在这个问题上获得重要结果。
u3000u3000
12.将阿贝尔域上的克罗克定理推广到任意的代数有理域上去这一问题只有一些零星的结果,离彻底解决还 相差很远。
u3000
u300013. 不可能用只有两个变数的函数解一般的七次方程。
七次方程的根依赖于3个参数a、b、c,即 x=x(a,b,c)。
这个函数能否用二元函数表示出来?苏联数学家阿诺尔德解决了连续函 数的情形(1957),
维士斯金又把它推广到了连续可微函数的情形(1964)。但如果要 求是解析函数,则问题尚未解决。
u3000u3000
< br>
14.证明某类完备函数系的有限性。这和代数不变量问题有关。1958年,日本数学家永田雅 宜给出了反例。
u3000
u300015.舒伯特计数演 算的严格基础一个典型问题是:在三维空间中有四条直线,
问有几条直线能和这四条直线都相交 ?舒伯特给出了一个直观解法。
希尔伯特要求将问题一般化,并给以严格基础。现在已有了一些 可计算的方法,
它和代数几何学不密切联系。但严格的基础迄今仍未确立。
u 3000
u300016.代数曲线和代数曲线面的拓扑问题这个问题分为两 部分。
前半部分涉及代数曲线含有闭的分枝曲线的最大数目。
后半部分要求讨 论的极限环的最大个数和相对位置,
其中X、Y是x、y的n次多项式.苏联的彼得罗夫斯基曾 宣称证明了n=2时极限环的个数不超过3,
但这一结论是错误的,已由中国数学家举出反例( 1979)。
u3000u3000
17.半正定形式的平方和表示。一个实系数n元多项式对一切数组(x1,x2,…,xn)都恒 大于或等于0,
是否都能写成平方和的形式?1927年阿廷证明这是对的。
u3000u3000
18.用全等多面 体构造空间。由德国数学家比勃马赫(1910)、荚因哈特(1928)作出部分解决。
u3 000
u300019.正则变分问题的解是否一定解析。 对这一问题的研究很少。C.H.伯恩斯坦和彼得罗夫斯基等得出了一些结果。
u3000
u300020.一般边值问题这一问题进展十分迅速,已成为一个很大的数学分支。目前还在继续 研究。
u3000u3000
21.具有给定单值群的线性微分方程解的存在 性证明。
已由希尔伯特本人(1905)和H.罗尔(1957)的工作解决。
u3000
u300022.由自守函数构成的解析函数的单值化。它涉及艰辛的黎曼曲面论 ,1907年P.克伯获重要突破,其他方面尚未解决。
u3000u3000
23.变分法的进一步发展出。这并不是一个明确的数学问题,只是谈了对变分法的一般看法。20世纪以来变 分法有了很大的发展。
丰腴是什么意思-
不满意英文-
呜咽的拼音-
英雄在中-
爱而为一-
抽打心中的樱桃花阅读答案-
小怡-
杠杆平衡原理-
本文更新与2020-11-26 13:33,由作者提供,不代表本网站立场,转载请注明出处:https://www.bjmy2z.cn/gaokao/464590.html
-
上一篇:高考理科数学考试大纲.
下一篇:数学与应用数学专业个人简历