什么是盾牌防雷器

中国区官方网站：www.dehn-china.com

盛谱德防雷科技有限公司主要经营避雷针 避雷器 SPD 王统防雷 三合一防雷 等接地产品 并且接各种防雷工程。不知道大家感觉怎么样啊。听朋友说不错，服务挺好，产品挺好，服务也很好。

EdmundDehnEdmundDehn是一名影视演员，主要作品有《失恋》、《Spoon》等。外文名：EdmundDehn职业：演员代表作品：《失恋》合作人物：BeckyPreston

OBO

希尔伯特，D.(Hilbert,David，1862～1943)德国数学。希尔伯特于1900年8月8日在巴黎第二届国际数学家大会上，提出了新世纪数学家应当努力解决的23个数学问题，被认为是20世纪数学的制高点，对这些问题的研究有力推动了20世纪数学的发展，在世界上产生了深远的影响。希尔伯特领导的数学学派是19世纪末20世纪初数学界的一面旗帜，希尔伯特被称为“数学界的无冕之王”。（著名的歌德巴赫猜想也是问题之一，以陈景润为代表的中国数学家获得了重大突破，但还没有彻底解决。）生于东普鲁士哥尼斯堡(前苏联加里宁格勒)附近的韦劳。中学时代,希尔伯特就是一名勤奋好学的学生,对于科学特别是数学表现出浓厚的兴趣,善于灵活和深刻地掌握以至应用老师讲课的内容。1880年,他不顾父亲让他学法律的意愿,进入哥尼斯堡大学攻读数学。1884年获得博士学位,后来又在这所大学里取得讲师资格和升任副教授。1893年被任命为正教授,1895年,转入格廷根大学任教授,此后一直在格廷根生活和工作,于是1930年退休。在此期间,他成为柏林科学院通讯院士,并曾获得施泰讷奖、罗巴切夫斯基奖和波约伊奖。1930年获得瑞典科学院的米塔格-莱福勒奖,1942年成为柏林科学院荣誉院士。希尔伯特是一位正直的科学家,第一次世界大战前夕,他拒绝在德国政府为进行欺骗宣传而发表的《告文明世界书》上签字。战争期间，他敢于公开发表文章悼念“敌人的数学家”达布。希特勒上台后，他抵制并上书反对纳粹政府排斥和迫害犹太科学家的政策。由于纳粹政府的反动政策日益加剧,许多科学家被迫移居外国,曾经盛极一时的格廷根学派衰落了,希尔伯特也于1943年在孤独中逝世。 希尔伯特是对二十世纪数学有深刻影响的数学家之一。他领导了著名的格廷根学派,使格廷根大学成为当时世界数学研究的重要中心,并培养了一批对现代数学发展做出重大贡献的杰出数学家。希尔伯特的数学工作可以划分为几个不同的时期,每个时期他几乎都集中精力研究一类问题。按时间顺序,他的主要研究内容有:不变量理论、代数数域理论、几何基础、积分方程、物理学、一般数学基础，其间穿插的研究课题有：狄利克雷原理和变分法、华林问题、特征值问题、“希尔伯特空间”等。在这些领域中，他都做出了重大的或开创性的贡献。希尔伯特认为，科学在每个时代都有它自己的问题，而这些问题的解决对于科学发展具有深远意义。他指出：“只要一门科学分支能提出大量的问题，它就充满着生命力，而问题缺乏则预示着独立发展的衰亡和终止。”在1900年巴黎国际数学家代表大会上，希尔伯特发表了题为《数学问题》的著名讲演。他根据过去特别是十九世纪数学研究的成果和发展趋势，提出了23个最重要的数学问题。这23个问题通称希尔伯特问题，后来成为许多数学家力图攻克的难关，对现代数学的研究和发展产生了深刻的影响，并起了积极的推动作用，希尔伯特问题中有些现已得到圆满解决，有些至今仍未解决。他在讲演中所阐发的想信每个数学问题都可以解决的信念，对于数学工作者是一种巨大的鼓舞。他说：“在我们中间，常常听到这样的呼声：这里有一个数学问题，去找出它的答案！你能通过纯思维找到它，因为在数学中没有不可知。”三十年后，1930年，在接受哥尼斯堡荣誉市民称号的讲演中，针对一些人信奉的不可知论观点，他再次满怀信心地宣称：“我们必须知道，我们必将知道。”希尔伯特的《几何基础》（1899）是公理化思想的代表作，书中把欧几里得几何学加以整理，成为建立在一组简单公理基础上的纯粹演绎系统，并开始探讨公理之间的相互关系与研究整个演绎系统的逻辑结构。1904年，又着手研究数学基础问题，经过多年酝酿，于二十年代初，提出了如何论证数论、集合论或数学分析一致性的方案。他建议从若干形式公理出发将数学形式化为符号语言系统，并从不假定实无穷的有穷观点出发，建立相应的逻辑系统。然后再研究这个形式语言系统的逻辑性质，从而创立了元数学和证明论。希尔伯特的目的是试图对某一形式语言系统的无矛盾性给出绝对的证明，以便克服悖论所引起的危机，一劳永逸地消除对数学基础以及数学推理方法可靠性的怀疑。然而，1930年，年青的奥地利数理逻辑学家哥德尔(K.G?del，1906～1978)获得了否定的结果，证明了希尔伯特方案是不可能实现的。但正如哥德尔所说，希尔伯特有关数学基础的方案“仍不失其重要性，并继续引起人们的高度兴趣”。希尔伯特的著作有《希尔伯特全集》（三卷，其中包括他的著名的《数论报告》）、《几何基础》、《线性积分方程一般理论基础》等，与其他合著有《数学物理方法》、《理论逻辑基础》、《直观几何学》、《数学基础》。 希尔伯特问题在1900年巴黎国际数学家代表大会上，希尔伯特发表了题为《数学问题》的著名讲演。他根据过去特别是十九世纪数学研究的成果和发展趋势，提出了23个最重要的数学问题。这23个问题通称希尔伯特问题，后来成为许多数学家力图攻克的难关，对现代数学的研究和发展产生了深刻的影响，并起了积极的推动作用，希尔伯特问题中有些现已得到圆满解决，有些至今仍未解决。他在讲演中所阐发的想信每个数学问题都可以解决的信念，对于数学工作者是一种巨大的鼓舞。 希尔伯特的23个问题分属四大块：第1到第6问题是数学基础问题；第7到第12问题是数论问题；第13到第18问题属于代数和几何问题；第19到第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年分别独立地证明了其正确性。但超越数理论还远未完成。目前，确定所给的数是否超越数，尚无统一的方法。 （8）素数分布问题，尤其对黎曼猜想、哥德巴赫猜想和孪生素共问题。 素数是一个很古老的研究领域。希尔伯特在此提到黎曼（Riemann）猜想、哥德巴赫（Goldbach）猜想以及孪生素数问题。黎曼猜想至今未解决。哥德巴赫猜想和孪生素数问题目前也未最终解决，其最佳结果均属中国数学家陈景润。 （9）一般互反律在任意数域中的证明。 1921年由日本的高木贞治，1927年由德国的阿廷（E.Artin）各自给以基本解决。而类域理论至今还在发展之中。 （10）能否通过有限步骤来判定不定方程是否存在有理整数解？ 求出一个整数系数方程的整数根，称为丢番图（约210-290，古希腊数学家）方程可解。1950年前后，美国数学家戴维斯（Davis）、普特南（Putnan）、罗宾逊（Robinson）等取得关键性突破。1970年，巴克尔（Baker）、费罗斯（Philos）对含两个未知数的方程取得肯定结论。1970年。苏联数学家马蒂塞维奇最终证明：在一般情况答案是否定的。尽管得出了否定的结果，却产生了一系列很有价值的副产品，其中不少和计算机科学有密切联系。 （11）一般代数数域内的二次型论。 德国数学家哈塞（Hasse）和西格尔（Siegel）在20年代获重要结果。60年代，法国数学家魏依（A.Weil）取得了新进展。 （12）类域的构成问题。 即将阿贝尔域上的克罗内克定理推广到任意的代数有理域上去。此问题仅有一些零星结果，离彻底解决还很远。 （13）一般七次代数方程以二变量连续函数之组合求解的不可能性。 七次方程x7+ax3+bx2+cx+1=0的根依赖于3个参数a、b、c；x=x(a,b,c)。这一函数能否用两变量函数表示出来？此问题已接近解决。1957年，苏联数学家阿诺尔德（Arnold）证明了任一在〔0，1〕上连续的实函数f(x1，x2，x3)可写成形式∑hi(ξi(x1,x2),x3)(i=1--9)，这里hi和ξi为连续实函数。柯尔莫哥洛夫证明f(x1，x2，x3)可写成形式∑hi(ξi1(x1)+ξi2(x2)+ξi3(x3))(i=1--7)这里hi和ξi为连续实函数，ξij的选取可与f完全无关。1964年，维土斯金（Vituskin）推广到连续可微情形，对解析函数情形则未解决。 （14）某些完备函数系的有限的证明。 即域K上的以x1,x2,…,xn为自变量的多项式fi（i=1,…，m），R为K〔X1，…，Xm]上的有理函数F（X1，…，Xm）构成的环，并且F（f1，…，fm）∈K[x1，…，xm]试问R是否可由有限个元素F1，…，FN的多项式生成？这个与代数不变量问题有关的问题，日本数学家永田雅宜于1959年用漂亮的反例给出了否定的解决。 （15）建立代数几何学的基础。 荷兰数学家范德瓦尔登1938年至1940年，魏依1950年已解决。 注一舒伯特（Schubert）计数演算的严格基础。 一个典型的问题是：在三维空间中有四条直线，问有几条直线能和这四条直线都相交？舒伯特给出了一个直观的解法。希尔伯特要求将问题一般化，并给以严格基础。现在已有了一些可计算的方法，它和代数几何学有密切的关系。但严格的基础至今仍未建立。 （16）代数曲线和曲面的拓扑研究。 此问题前半部涉及代数曲线含有闭的分枝曲线的最大数目。后半部要求讨论备dx/dy=Y/X的极限环的最多个数N（n）和相对位置，其中X、Y是x、y的n次多项式。对n=2（即二次系统）的情况，1934年福罗献尔得到N(2)≥1；1952年鲍廷得到N(2)≥3；1955年苏联的波德洛夫斯基宣布N(2)≤3，这个曾震动一时的结果，由于其中的若干引理被否定而成疑问。关于相对位置，中国数学家董金柱、叶彦谦1957年证明了（E2）不超过两串。1957年，中国数学家秦元勋和蒲富金具体给出了n＝2的方程具有至少3个成串极限环的实例。1978年，中国的史松龄在秦元勋、华罗庚的指导下，与王明淑分别举出至少有4个极限环的具体例子。1983年，秦元勋进一步证明了二次系统最多有4个极限环，并且是（1，3）结构，从而最终地解决了二次微分方程的解的结构问题，并为研究希尔伯特第（16）问题提供了新的途径。 （17）半正定形式的平方和表示。 实系数有理函数f(x1,…，xn)对任意数组（x1，…,xn）都恒大于或等于0，确定f是否都能写成有理函数的平方和？1927年阿廷已肯定地解决。 （18）用全等多面体构造空间。 德国数学家比贝尔巴赫（Bieberbach）1910年，莱因哈特（Reinhart）1928年作出部分解决。 （19）正则变分问题的解是否总是解析函数？ 德国数学家伯恩斯坦（Bernrtein，1929）和苏联数学家彼德罗夫斯基（1939）已解决。 （20）研究一般边值问题。 此问题进展迅速，己成为一个很大的数学分支。日前还在继读发展。 （21）具有给定奇点和单值群的Fuchs类的线性微分方程解的存在性证明。 此问题属线性常微分方程的大范围理论。希尔伯特本人于1905年、勒尔（H.Rohrl）于1957年分别得出重要结果。1970年法国数学家德利涅（Deligne）作出了出色贡献。 （22）用自守函数将解析函数单值化。 此问题涉及艰深的黎曼曲面理论，1907年克伯（P.Koebe）对一个变量情形已解决而使问题的研究获重要突破。其它方面尚未解决。 （23）发展变分学方法的研究。 这不是一个明确的数学问题。20世纪变分法有了很大发展。

浪涌保护器较好的厂家有河北驰丰电气设备制造有限公司、深圳市欧谱雷科技有限公司、武汉市雷创技术发展有限公司、扬州中恒电气有限公司、扬州浪涌电气有限公司。1、深圳市欧谱雷科技有限公司深圳市欧谱雷科技有限公司是防雷器，PDU，防雷箱的优良生产制造厂家，提供全新的POE监控摄像机的防雷保护，可以多口，防雷箱 雷电计数器次数显示防雷箱 深圳欧谱雷 箱子，网络二合一室外监控防雷器SN-2等系列产品。2、武汉市雷创技术发展有限公司武汉市雷创技术发展有限公司是防雷器，避雷针，接地产品的优良贸易批发商，提供全新优良的BNC视频同轴信号摄像机防雷器+德国DEHN浪涌保护，POE浪涌保护器RJ45以太网络防雷德国进口DEHN，德国DEHN一级电源防雷DVMTT2P255等系列产品。3、扬州中恒电气有限公司扬州中恒电气有限公司是浪涌保护器，电涌保护器OEM贴牌代工，中性点保护器的优良生产制造厂家，提供全新优良的T1级试验浪涌保护装置10/350μs，ZH1-A25/4-275浪涌保护器T1级带RS485通讯接口，ZH-F-MS25-PVT/FM电压互感器PT二次接地保护器等系列产品。4、扬州浪涌电气有限公司扬州浪涌电气有限公司是PT二次接地保护器，F-MS25-PVT/FM，中性点保护器的优良生产制造厂家，提供全新优良的Iimp≥12.5KAIn100KA浪涌保护器1类，Iimp12.5KAIn100KA浪涌保护器，I类100KA浪涌保护器扬州益雷品牌等系列产品。5、河北驰丰电气设备制造有限公司河北驰丰电气设备制造有限公司是浪涌保护器，避雷针，防雷器的优良生产制造厂家，提供全新优良的厂家直销驰丰24路计算机网络防雷器，厂家直销驰丰二合一信号浪涌保护器，厂家直销驰丰三合一视频监控浪涌保护器24v等系列产品。

想多挣钱，报价进口品牌如德国OBO， DEHN，等不然国产价格比较透明价格做不上去。机房防雷工程，三级避雷器分开报价，在加点接地 ，均压环 有信号部分也可加信号避雷器加辅材费用，设计施工费这样价格就上去了。

夏季来临不可避免的就是雷雨天时而出现，电闪雷鸣的感觉并不太好，雷击还会给我们周边的环境造成大大小小的影响。那么在雷雨天我们怎么避免受到雷击的危害呢，除了要重视防雷知识下雨天人自身避免外出外还要寻求外部建筑和设施避雷解决方案。为了解决雷击的问题，许多防雷产品浪涌保护器就出现在我们的视野中了。那么浪涌保护器品牌该如何选择呢？下面小编就简单介绍几个国内外知名的浪涌保护器品牌。先来几个国际品牌的：德和盛（DHEN)，世界一级防雷产品。上海德和盛电气有限公司是DEHN在中国设立的总部在上海的公司，具有较强针对性和先进技术的全面防雷解决方案和高新技术服务。其主要工作是负责在中国地区DEHN安全防护产品的销售，其实德和盛在北京、南京、武汉、大连、深圳、西安以及成都等地都设有提供技术服务支持的办事处。菲尼克斯，菲尼克斯防雷击电涌保护器TRABTECH，世界知名防雷品牌。具有专业的雷击防护方案的施工指导，为客户提供产品应用培训。OBO，德国OBO浪涌保护器，德国人的严谨在全世界都是出了名的，所以他们的产品大家应该放心。乐清久佳电气有限公司主营产品有浪涌保护器、防雷器、电涌保护器等等，并有雷击风险评估和防雷培训等服务。以上三个品牌是三浪涌保护器品牌的百年品牌，价格可能相应的昂贵些。再推荐几个国内比较有名的品牌：中光，四川中光防雷科技股份有限公司，其防雷创始人现任公司董事长王德言先生在美国是IEEE协会的高级会员。在防雷专业领域内不断创新产品的技术。爱劳，爱劳企业创立于1990年1月18日，是中国专业化防雷企业的领跑者。在防雷领域大有作为，形成了综合治理雷电危害的整体防雷体系。在防雷技术方面一直处于靠前地位。其总部设在中国北京，在成都、上海、武汉等地也有办事处。地凯，也是中国具有很大规模的专业高科技防雷产品生产品牌，是国内元老级防雷企业。JLSP，安徽金力电气技术有限公司，通过ISO9001国际质量管理体系。公司主要生产各种防雷保护产品的生产销售以及低压配电自动化产品的研发。浪涌保护器产品系列较多：像电源浪涌保护器（JLSP）系列。安徽金力电气技术有限公司还取得了国家“双软”企业认证的荣誉证书。打雷下雨免不了输电线、电视遭雷击，浪涌保护器这时作用就很重要了。除了上述品牌，此外还有很多其他浪涌保护器品牌像正泰、天盾、雷科星等。价格也都在消费者接受范围内，主要看你自己选择。土巴兔在线免费为大家提供“各家装修报价、1-4家本地装修公司、3套装修设计方案”，还有装修避坑攻略！点击此链接：【https://www.to8to.com/yezhu/zxbj-cszy.php?to8to_from=seo_zhidao_m_jiare&wb】，就能免费领取哦~

广州盛谱德科技有限公司是集研发:防雷器、防雷产品、防雷设备、防雷工程、机房防雷器、电源防雷器、信号防雷器；生产:防雷器、三合一防雷器、视频防雷器、信号防雷器、电源防雷器、防雷插座、摄像机防雷器、电源防雷插座、防雷器价格、三合一防雷器价格、视频防雷器价格、信号防雷器价格、电源防雷器价格、防雷插座价格、摄像机防雷器价格、视频防雷、防雷工程、信号防雷、电源防雷、广州防雷公司、obo防雷器、OBO防雷器代理、DEHN防雷器代理、防雷器品牌、防雷论坛、防雷器型号、防雷器产品、obo防雷器经商、防雷器报价、防雷接地、网络雷器、监控防雷、安防雷防器、避雷针、接地极、避雷器、防雷厂家、二合一防雷器、信防雷器、监控防雷器、机房防雷、贸易为一的高科技公司，多年来致力于高科技防雷产品的研究与生产，不断推出在世界均属于领先水平的防雷产品。公司和多家知名国外跨国集团公司建立了战略合作关系，并与台湾半导体集团结成战略性合作伙伴,也积极引进德国的先进生产设备，产品检测仪器、生产标准、生产流程均为从台湾半导体集团引进，使产品迅速进行高质化，走品牌化发展道路。设立有自己的研发中心，聘请国内外防雷专家担任技术顾问，具有强大的研发能力。产品已广泛应用于电力系统、通信系统、石化系统、铁路系统、民航系统、金融系统以及广播电视、建筑工程、腐蚀防护、制造行业等领域，用户遍布我国各省市各地区,且赢得了较好的信誉。 公司生产销售原在澳洲生产的RAINBOW(雷保)系列防雷器,代理世界著名的品牌“Airdun(艾尔盾)防雷器”“德国DEHN防雷器” “德国OBO防雷器” “德国菲尼克斯防雷器” “美国PATTON 防雷器”等全系列防雷产品，公司除了专业从事防雷产品和防雷技术的推广之外，同时还承接各种建筑物直击雷防雷工程，电源、信号、监控系统综合防雷工程，接地系统及防静电地网工程设计、施工工程。公司拥有一批专业、技术过硬、服务质量优良的工程技术人员，都具有大专以上学历并拥有广东省防雷中心颁发的省防雷工程技术资格证书，他们有着丰富防雷实际经验，能为客户提供系统的防雷解决方案，并且公司拥有自己专业的施工队伍，能为客户提供高质量的工程施工，我们凭借高质量的防雷产品，丰富的工程实际经验和用户至上的行业精神为客户提供全方位的防雷服务。国家防雷工程资质，首家广州市政府防雷定点采购供应商。

东方快车谋杀案

体积 『几何体的体积』﹝体积，Volume﹞是指几何体所占空间的大小。一般简单的体积﹝如正方体，长方体﹞的计算方法，是人类祖先由长期的实践活动中总结出的。其中一个令人惊人的例子是距今约四千年前的古埃及数学文献《莫斯科纸草书》中，已记载了计算正四棱台体积的正确方法。当然那时不可能像现今这样以符号等式表示，他们只以文字描述。译成今天的文句是 :『若有人告知你，截棱锥﹝棱台﹞高为6，顶为2，底为4，你要取4的平方，得16；然后把4加倍，得8；再取2的平方，得4；最后把16，8和4相加，得28；取6的三分之一，得2；取28的2倍，得56；这是正确的。』若以现今的符号式表示，则是V=(h/3)(a2+ab+b2)﹝其中a，b，h分别为正四棱台的上、下底边及高的大小﹞。可惜文献中并没提及公式的由来，而且图形也不够正确。 体积的计算亦于古希腊的文化中发扬光大，这全几乎与当时的『原子论』及『穷竭法』有关。阿基米德指出发现『圆锥体的体积等同同底等高的圆柱体体积的三分之一』的是德谟克利特﹝约公元前460─前357﹞，但作出证明的是攸多克萨斯﹝约公元前408─前355﹞。德谟克利特把圆锥体分成不可再分的圆形薄层，但因各层的圆大小不一，使圆锥表面不光滑，令他困惑。而攸多克萨斯以『穷竭法』解决了一批求体积及面积的问题。这全都载于欧几里得的《几何原本》中。 此外，阿基米德的球体体积计算公式也是古希腊数学的光辉标志之一。他还计算出另一些图形的体积及面积。他的求积术及后更导致17世纪的积分学之产生。 求积术于我国有其独特的思路，历史悠久。《九章算术》中《商功》篇便记载了不少卓越的成果。尤其是祖日桓的开立圆术，是我国求积术的高度成就。 自微积分的创立，求积问题已成为微积分的一个课题了。在计算面积时，可通过割补法﹝出入相补法﹞，把一个三角形变成与它等积的矩形。从而推导出三角形面积相等于同底同高的矩形面积一半的结论。那么，我们能否以相同的方法来推导同底同高的三棱锥体积是对应三棱柱体积的三分之一呢？希尔伯特认为结论是否定的。他把它列入了著名的23个问题之3，德思﹝M. Dehn，1878─1952﹞于1900年便证明了这个命题。他证明了两个多面体若能分割成若干个彼此重合的多面体，单有等积是不够，必须满足一定的条件﹝德恩条件﹞。瑞士数学家西德勒于1965年证明了德恩条件也是充分的。 参考: edp.ust/previous/math/history/5/5_5/5_5_20

你还了解哪些希尔伯特的故事?写下来吧, 戴维·希尔伯特的故事50字 　1880年秋天，18岁的希尔伯特进人家乡的哥尼斯堡大学，他不顾当法官的父亲希望他学习法律的愿望，毫不犹豫地进了哲学系学习数学（当时的大学，数学还设在哲学系内）。希尔伯特发现当时的大学生活要多自由有多自由。意想不到的自由，使许多年轻人把大学第一年的宝贵时光都花费在学生互助会的传统活动饮酒和斗剑上，然而对希尔伯特来说，大学生活的更加迷人之处却在于他终于能自由地把全部精力给予数学了。 大学的第一学期，希尔伯特选学了积分学，矩阵论和曲面的曲率论三门课。根据规定。第二学期可以转到另一所大学听课，希尔伯特选择了海德尔堡大学，这是当时德国所有大学中最讨人喜欢和最富浪漫色彩的学校。希尔伯特在海德尔堡大学选听拉撒路?富克斯的课。富克斯是微分方程方面的名家，他的名字和线性微分方程几乎成了同义语。他讲课确实与众不同，给人的印象很深。课前他不大做准备，对要讲的内容，在课堂上现想现推。 于是常常发生这样的情形，某个问题在黑板上推不下去了，这时他就再想另外一种方法，有时一连要换好几种方法，但他最后总能推汇出结果来。他就是这样，习惯于在课堂上把自己置于危险的境地。这样的课学生们如何看呢？他的一位学生后来回忆时写道：这样的课，使学生们“得到一个机会，瞧一瞧最高超的数学思维的实际过程。”我们可以想象，善于思考和学习的希尔伯特肯定会从中领悟到一个数学家是如何思考问题的，这种包括几经碰壁终于找到解法的探索过程在教科书上无论如何是看不到的。把思考问题的实际过程展现给学生看，这样做实际上是非常富于启发性的。我国著名的数学方法论专家徐利治教授认为这一点对希尔伯特的成长肯定起过很好的作用。我想这一点对我们今天也很有启发。学习数学不仅要学会这道题的解法，而且更要学会这个解法是如何找到的。即学会思考。 希尔伯特的故事30字以内 　希尔伯特在海德尔堡上了一学期以后，接下来的一个学期，本来可以允许他再转到柏林去听课，但他深深地依恋自己的家乡，于是他又回到了哥尼斯堡大学．再下一个学期——1882年春天，希尔伯特仍决定留在哥尼斯堡． 这时赫尔曼·阅可夫斯基从柏林学习了三个学期后也回到了哥尼斯堡大学．闽可夫斯基从小就数学才能出众，据说有一次上数学课，老师因把问题理解错了而“挂了黑板”，同学们异口同声叫道：“闭可夫斯基去帮帮忙！”在柏林上学时，他因为出色的数学工作曾得到过一笔奖金．这时，年仅17岁的阅可夫斯基正沉浸在一项很深奥的研究之中——解巴黎科学院出榜征解的一个问题：把一个数表成五个平方数的和．一年后，1883年春天，18岁的阅可夫斯基和英国著名的数学家史密斯共享巴黎科学院的这项大奖．这件事轰动了整个哥尼斯堡．希尔伯特的父亲因此曾告诫自己的儿子不要冒冒失失地去和“这样知名的人”交朋友．但由于对数学的热爱和共同的信念，希尔伯特和比他小两岁的闽可夫斯基很快成了好朋友． 希尔伯特的生平？ HELP! 希尔伯特，D.(Hilbert,David，1862～1943)德国数学家,生于东普鲁士哥尼斯堡(前苏联加里宁格勒)附近的韦劳。中学时代,希尔伯特就是一名勤奋好学的学生,对于科学特别是数学表现出浓厚的兴趣,善于灵活和深刻地掌握以至应用老师讲课的内容。1880年,他不顾父亲让他学法律的意愿,进入哥尼斯堡大学攻读数学。1884年获得博士学位,后来又在这所大学里取得讲师资格和升任副教授。1893年被任命为正教授,1895年,转入格廷根大学任教授,此后一直在格廷根生活和工作,于是1930年退休。在此期间,他成为柏林科学院通讯院士,并曾获得施泰讷奖、罗巴切夫斯基奖和波约伊奖。1930年获得瑞典科学院的米塔格-莱福勒奖,1942年成为柏林科学院荣誉院士。希尔伯特是一位正直的科学家,第一次世界大战前夕,他拒绝在德国 *** 为进行欺骗宣传而发表的《告文明世界书》上签字。战争期间，他敢于公开发表文章悼念“敌人的数学家”达布。希特勒上台后，他抵制并上书反对纳粹 *** 排斥和迫害犹太科学家的政策。由于纳粹 *** 的反动政策日益加剧,许多科学家被迫移居外国,曾经盛极一时的格廷根学派衰落了,希尔伯特也于1943年在孤独中逝世。 希尔伯特是对二十世纪数学有深刻影响的数学家之一。他领导了著名的格廷根学派,使格廷根大学成为当时世界数学研究的重要中心,并培养了一批对现代数学发展做出重大贡献的杰出数学家。希尔伯特的数学工作可以划分为几个不同的时期,每个时期他几乎都集中精力研究一类问题。按时间顺序,他的主要研究内容有:不变式理论、代数数域理论、几何基础、积分方程、物理学、一般数学基础，其间穿插的研究课题有：狄利克雷原理和变分法、华林问题、特征值问题、“希尔伯特空间”等。在这些领域中，他都做出了重大的或开创性的贡献。希尔伯特认为，科学在每个时代都有它自己的问题，而这些问题的解决对于科学发展具有深远意义。他指出：“只要一门科学分支能提出大量的问题，它就充满着生命力，而问题缺乏则预示著独立发展的衰亡和终止。”在1900年巴黎国际数学家代表大会上，希尔伯特发表了题为《数学问题》的著名讲演。他根据过去特别是十九世纪数学研究的成果和发展趋势，提出了23个最重要的数学问题。这23个问题通称希尔伯特问题，后来成为许多数学家力图攻克的难关，对现代数学的研究和发展产生了深刻的影响，并起了积极的推动作用，希尔伯特问题中有些现已得到圆满解决，有些至今仍未解决。他在讲演中所阐发的想信每个数学问题都可以解决的信念，对于数学工作者是一种巨大的鼓舞。他说：“在我们中间，常常听到这样的呼声：这里有一个数学问题，去找出它的答案！你能通过纯思维找到它，因为在数学中没有不可知。”三十年后，1930年，在接受哥尼斯堡荣誉市民称号的讲演中，针对一些人信奉的不可知论观点，他再次满怀信心地宣称：“我们必须知道，我们必将知道。”希尔伯特的《几何基础》（1899）是公理化思想的代表作，书中把欧几里得几何学加以整理，成为建立在一组简单公理基础上的纯粹演绎系统，并开始探讨公理之间的相互关系与研究整个演绎系统的逻辑结构。1904年，又着手研究数学基础问题，经过多年酝酿，于二十年代初，提出了如何论证数论、集合论或数学分析一致性的方案。他建议从若干形式公理出发将数学形式化为符号语言系统，并从不假定实无穷的有穷观点出发，建立相应的逻辑系统。然后再研究这个形式语言系统的逻辑性质，从而创立了元数学和证明论。希尔伯特的目的是试图对某一形式语言系统的无矛盾性给出绝对的证明，以便克服悖论所引起的危机，一劳永逸地消除对数学基础以及数学推理方法可靠性的怀疑。然而，1930年，年青的奥地利数理逻辑学家哥德尔(K.G?del，1906～1978)获得了否定的结果，证明了希尔伯特方案是不可能实现的。但正如哥德尔所说，希尔伯特有关数学基础的方案“仍不失其重要性，并继续引起人们的高度兴趣”。希尔伯特的著作有《希尔伯特全集》（三卷，其中包括他的著名的《数论报告》）、《几何基础》、《线性积分方程一般理论基础》等，与其他合著有《数学物理方法》、《理论逻辑基础》、《直观几何学》、《数学基础》。 希尔伯特旅馆 希尔伯特旅馆的故事是这样的： 某旅游胜地有一家旅馆，内设有穷个房间。由于是旅游旺季，所以，所有的房间都已客满。这时，来了位客人想订个房间。“对不起，”店主说，“所有房间都住满了”。客人无可奈何地来到另一家旅馆。这家旅馆与别的旅馆并无多大不同，只是房间数不是有穷而是无穷多个，号码为1、2、3…… 这位客人到来时，所有房间也已住满，但他疲惫已极，坚持要住下。旅馆老板只得耐心劝说：“满了就是满了，非常对不起！”正好这时候，聪明的老板的女儿来了。她看见客人和她爸爸都很着急，就说：“这不成问题！请每位房客都搬一下，从这房间搬到下一间。”于是，1号房间的客人搬到2号，2号房间的客人搬到3号……依次类推。于是，这位客人住进了已被腾空的1号房间，而原来旅馆内的所有客人也全都有房间可住。 下面是解释： 疑问：老板的女儿让无穷旅馆内的每一位客人都从原房间搬到下一号的房间中，这便是一个无穷交换的过程：即1号房间的客人交换到2号房间，2号房间的客人交换到3号房间，3号房间的客人交换到4号房间........ 那么请问：这种交换的过程能不能终止？ 对于这个问题，只能有两个答案：要么是这种交换的过程能够终止，要么这种交换的过程不能终止。 下面来看这两个答案分别会产生什么样的结果： （1）：若这种交换的过程能够终止，则必然会终止于无穷旅馆的最后一个房间，但是根据无穷的概念，因为旅馆内的房间是无穷多的，所以是不会存在最后一个房间的，所以这种交换的过程是不能终止的。 （2）：若这种交换的过程不能终止，则：并不是所有的客人全都有房间可住，而是：总有一个客人没有房间可住，即：当1号房间的客人搬到2号房间时，2号房间的客人没有房间可住，2号房间的客人搬到3号房间时，3号房间的客人没有房间可住，3号房间的客人搬到4号房间时，4号房间的客人没有房间可住...... 请注意：“总有一个客人没有房间可住”与“所有的客人全都有房间可住”并不是同一个概念。 因此说大数学家希尔伯特的“无穷旅馆”其实质上就是一个数学诡辩。 希尔伯特是谁 数学家,其在现代数学上贡献良多，提出了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年分别独立地证明了其正确性。但超越数理论还远未完成。目前，确定所给的数是否超越数，尚无统一的方法。 （8）素数分布问题，尤其对黎曼猜想、哥德巴赫猜想和孪生素共问题。 素数是一个很古老的研究领域。希尔伯特在此提到黎曼（Riemann）猜想、哥德巴赫（Goldbach）猜想以及孪生素数问题。黎曼猜想至今未解决。哥德巴赫猜想和孪生素数问题目前也未最终解决，其最佳结果均属中国数学家陈景润。 （9）一般互反律在任意数域中的证明。 1921年由日本的高木贞治，1927年由德国的阿廷（E.Artin）各自给以基本解决。而类域理论至今还在发展之中。 （10）能否通过有限步骤来判定不定方程是否存在有理整数解？ 求出一个整数系数方程的整数根，称为丢番图（约210-290，古希腊数学家）方程可解。1950年前后，美国数学家戴维斯（Davis）、普特南（Putnan）、罗宾逊（Robinson）等取得关键性突破。1970年，巴克尔（Baker）、费罗斯（Philos）对含两个未知数的方程取得肯定结论。1970年。苏联数学家马蒂塞维奇最终证明：在一般情况答案是否定的。尽管得出了否定的结果，却产生了一系列很有价值的副产品，其中不少和电脑科学有密切联络。 （11）一般代数数域内的二次型论。 德国数学家哈塞（Hasse）和西格尔（Siegel）在20年代获重要结果。60年代，法国数学家魏依（A.Weil）取得了新进展。 （12）类域的构成问题。 即将阿贝尔域上的克罗内克定理推广到任意的代数有理域上去。此问题仅有一些零星结果，离彻底解决还很远。 （13）一般七次代数方程以二变数连续函式之组合求解的不可能性。 七次方程x7+ax3+bx2+cx+1=0的根依赖于3个引数a、b、c；x=x(a,b,c)。这一函式能否用两变数函式表示出来？此问题已接近解决。1957年，苏联数学家阿诺尔德（Arnold）证明了任一在〔0，1〕上连续的实函式f(x1，x2，x3)可写成形式∑hi(ξi(x1,x2),x3)(i=1--9)，这里hi和ξi为连续实函式。柯尔莫哥洛夫证明f(x1，x2，x3)可写成形式∑hi(ξi1(x1)+ξi2(x2)+ξi3(x3))(i=1--7)这里hi和ξi为连续实函式，ξij的选取可与f完全无关。1964年，维土斯金（Vituskin）推广到连续可微情形，对解析函式情形则未解决。 （14）某些完备函式系的有限的证明。 即域K上的以x1,x2,…,xn为自变数的多项式fi（i=1,…，m），R为K〔X1，…，Xm]上的有理函式F（X1，…，Xm）构成的环，并且F（f1，…，fm）∈K[x1，…，xm]试问R是否可由有限个元素F1，…，FN的多项式生成？这个与代数不变数问题有关的问题，日本数学家永田雅宜于1959年用漂亮的反例给出了否定的解决。 （15）舒伯特（Schubert）计数演算的严格基础。 一个典型的问题是：在三维空间中有四条直线，问有几条直线能和这四条直线都相交？舒伯特给出了一个直观的解法。希尔伯特要求将问题一般化，并给以严格基础。现在已有了一些可计算的方法，它和代数几何学有密切的关系。但严格的基础至今仍未建立。 （16）代数曲线和曲面的拓扑研究。 此问题前半部涉及代数曲线含有闭的分枝曲线的最大数目。后半部要求讨论备dx/dy=Y/X的极限环的最多个数N（n）和相对位置，其中X、Y是x、y的n次多项式。对n=2（即二次系统）的情况，1934年福罗献尔得到N(2)≥1；1952年鲍廷得到N(2)≥3；1955年苏联的波德洛夫斯基宣布N(2)≤3，这个曾震动一时的结果，由于其中的若干引理被否定而成疑问。关于相对位置，中国数学家董金柱、叶彦谦1957年证明了（E2）不超过两串。1957年，中国数学家秦元勋和蒲富金具体给出了n＝2的方程具有至少3个成串极限环的例项。1978年，中国的史松龄在秦元勋、华罗庚的指导下，与王明淑分别举出至少有4个极限环的具体例子。1983年，秦元勋进一步证明了二次系统最多有4个极限环，并且是（1，3）结构，从而最终地解决了二次微分方程的解的结构问题，并为研究希尔伯特第（16）问题提供了新的途径。 （17）半正定形式的平方和表示。 实系数有理函式f(x1,…，xn)对任意阵列（x1，…,xn）都恒大于或等于0，确定f是否都能写成有理函式的平方和？1927年阿廷已肯定地解决。 （18）用全等多面体构造空间。 德国数学家比贝尔巴赫（Bieberbach）1910年，莱因哈特（Reinhart）1928年作出部分解决。 （19）正则变分问题的解是否总是解析函式？ 德国数学家伯恩斯坦（Bernrtein，1929）和苏联数学家彼德罗夫斯基（1939）已解决。 （20）研究一般边值问题。 此问题进展迅速，己成为一个很大的数学分支。日前还在继读发展。 （21）具有给定奇点和单值群的Fuchs类的线性微分方程解的存在性证明。 此问题属线性常微分方程的大范围理论。希尔伯特本人于1905年、勒尔（H.Rohrl）于1957年分别得出重要结果。1970年法国数学家德利涅（Deligne）作出了出色贡献。 （22）用自守函式将解析函式单值化。 此问题涉及艰深的黎曼曲面理论，1907年克伯（P.Koebe）对一个变数情形已解决而使问题的研究获重要突破。其它方面尚未解决。 （23）发展变分学方法的研究。 这不是一个明确的数学问题。20世纪变分法有了很大发展。 希尔伯特去世时间 戴维·希尔伯特，又译大卫·希尔伯特，D.（David Hilbert，1862～1943） 希尔伯特的32问题各是什么？ 是23个 希尔伯特的23个问题分属四大块：第1到第6问题是数学基础问题；第7到第12问题是数论问题；第13到第18问题属于代数和几何问题；第19到第23问题详细的加我 戴维.希尔伯特有哪些著作？ 希尔伯特的著作有《希尔伯特全集》（三卷，其中包括他的著名的《数论报告》）、《几何基础》、《线性积分方程一般理论基础》等，与其他合著有《数学物理方法》、《理论逻辑基础》、《直观几何学》、《数学基础》。

数学问题就是在数学领域出现的运用相关数学知识去解决的问题

德绅牌的不错，想了解联系我。

柯西方程是函数方程f(x+y)=f(x)+f(y)此方程的解称为加性函数，在有理数定义域上，利用初等代数我们很容易得出有一组函数满足条件，是f(x)=cx,其中c是任意实数。定义域是实数时，同样有一族函数满足条件，但有些是极其复杂的，所以我们需要更多的条件得到f(x)=cx，以下条件可得f(x)是正比例函数：◎f是连续函数（在1821年已被柯西证明），后来在1875年被达布将条件减弱为f在某点连续 。◎存在a,b∈R,(a<b),函数在(a,b)有界◎f单调，或f在某区间单调。◎存在ε1>0,使得x∈[0,ε1],有f(x)≥0,或者存在ε2>0,使得x∈[0,ε2],有f(x)≤0另外，如果没有其他条件的话，（假如承认选择公理成立），那么有无穷非f(x)=cx的函数满足该条件,这是1905年哈默(Georg Hamel)利用哈默基的概念证明的。希尔伯特第五问题是该方程的推广存在实数c使得f(cx)≠cf(x)解称为柯西-哈默方程(Cauchy-Hamel function),希尔伯特第三问题中，从3-D向高维度的推广所用的德恩-哈德维格不变量（Dehn-Hadwiger invariant(s)），其中就用到柯西-哈默方程。

国外品牌有德国OBO防雷器、法国PULSAR提前放电避雷针、英资LeaderBK防雷器、德国菲尼克斯防雷器、德国 DEHN防雷器、法国之星提前放电避雷针、奥麦斯提前放电避雷针等一线品牌，国内包含腾辉智能防雷、万佳防雷、迪舰防雷，扬博防雷等品牌，可以百度下一些避雷针商城，像阿里巴巴，雷百汇，淘宝等都会有一些品牌列表，你可以看看。至于价格，不同牌子肯定不一样，雷百汇这个商城齐全些，阿里巴巴牌子大些。无论去哪看，决定自己最合适的最好。

Лигдэн-хан＝legdehn -khankhan可以直译为“汗”legdehn=林丹汗（1592——1634），是蒙古察哈尔部可汗，是最后一位蒙古大汗，联明抗金，被皇太极击败，病死甘肃打草滩。

国内著名防雷专家：王时煦，林维勇，蔡振新等，这些人有的负责国家防雷规范的编写，对防雷理论研究有一定成果，有的是最早从事防雷工作的人，有相当丰富的防雷经验。国外没有防雷这个行业，在国外叫电磁兼容，国际上的IEC国际标准规范包含防雷内容，但是也不把防雷单独作为行业，外国的很多电子产品本身带有防雷功能。即使像德国OBO，DEHN等品牌也应中国市场需求产生的。

内容简介讲述地球生态崩溃后，13岁的女孩维斯帕与父亲一起生存，遇到了身怀秘密的神秘女人卡米拉，决定帮助她寻找同伴。

气象学家Lorenz提出一篇论文，名叫「一只蝴蝶拍一下翅膀会不会在Taxas州引起龙卷风？」论述某系统如果初期条件差一点点，结果会很不稳定，他把这种现象戏称做「蝴蝶效应」。就像我们投掷骰子两次，无论我们如何刻意去投掷，两次的物理现象和投出的点数也不一定是相同的。Lorenz为何要写这篇论文呢？ 这故事发生在1961年的某个冬天，他如往常一般在办公室操作气象电脑。平时，他只需要将温度、湿度、压力等气象数据输入，电脑就会依据三个内建的微分方程式，计算出下一刻可能的气象数据，因此模拟出气象变化图。 这一天，Lorenz想更进一步了解某段纪录的后续变化，他把某时刻的气象数据重新输入电脑，让电脑计算出更多的后续结果。当时，电脑处理数据资料的数度不快，在结果出来之前，足够他喝杯咖啡并和友人闲聊一阵。在一小时后，结果出来了，不过令他目瞪口呆。结果和原资讯两相比较，初期数据还差不多，越到后期，数据差异就越大了，就像是不同的两笔资讯。而问题并不出在电脑，问题是他输入的数据差了0.000127，而这些微的差异却造成天壤之别。所以长期的准确预测天气是不可能的。

我们是深圳专业做防雷器的厂家，，可以联系交流，天盾何工。

国内品牌的话有扬博、万佳、腾辉智能防雷、国外的话有艾力高、富兰克林、、奥麦斯避雷针都挺不错的，可以去网上商城看看，里面应该都有箱天猫了，京东等 ，专业做避雷针的有雷百汇商城 可以上网看看

现代防雷保护包括：1、外部防雷保护（建筑物防雷）外部防雷系统主要是为了保护建筑物免受雷击引起火事故及人身安全事故，而内部防雷系统则是防止雷电和其他形式的过电压侵入设备造成的毁坏，这是外部防雷系统无法保证的。2、内部防雷保护（防雷电电磁脉冲）为了实现内部避雷，进出各保护区的电缆、金属管道等都需要连接避雷及过电压保护器，并实现等电位连接。国内外先进防雷技术的应用1、直击雷：目前国外技术是提前放电避雷针和驱雷器，但是国内暂时没有认可，因为其技术也确实存在一定不稳定性，国内就还是富兰克林式，采用接闪器、引下线、接地装置组成，由接闪器接受雷电沿着引下线通过接地装置对地泄放达到保护建筑物的目的。2、电源防雷器：现在国内规范对T1要求较多，此类产品技术还是国内好些。ABB、菲尼克斯、DEHN等都有安全性和参数都很不错的产品，国内产品参数标的很高，但是不是很可信，安全性上应该不如外国技术，例如暂态过电压、短路遮断续流值等；3、信号防雷器：国内和国外的理念有所差距，比如网络防雷器DEHN的In值在国内属于不合格。国外的产品分类更细，对使用者要求更高。倒是深圳有家安信技术推出的信号防雷器，有全线路遮断功能，据说对设备保护效果大幅提升，如果你对信号防雷器原理了解就知道难点在哪里，这点倒是比较新颖，国内外信号防雷器暂时没有看到这方面介绍。4、接地：这方面我不太懂，国内推荐联合接地，有的外国还用分开接地。接地材料无非就是那些，接地技术好像也都差不多。

结局是女孩选择将种子抛洒在风中，随着升起的太阳寄托一份希望。根据查询相关公开信息显示：维斯珀由KristinaBuozyte、BrunoSamper执导，KristinaBuozyte、BrianClark、BrunoSamper为编剧，拉菲拉查普曼、埃迪马森、罗西麦克尤恩、理查德布雷克、MelanieGaydos、EdmundDehn主演的科幻电影。该电影于2022年9月30日在美国上映。结局提醒了人们关注真实生态环境，早点停止破换生态系统。

深圳锦天乐防雷技术有限公司，国内唯一获得国家科技进步二等奖的防雷企业

TP-link

言：如果我们伸缩围绕一个苹果表面的橡皮带，那么我们可以既不扯断它，也不让它离开表面，使它慢慢移动收缩为一个点。另一方面，如果我们想象同样的橡皮带以适当的方向被伸缩在一个轮胎面上，那么不扯断橡皮带或者轮胎面，是没有办法把它收缩到一点的。我们说，苹果表面是“单连通的”，而轮胎面不是。大约在一百年以前，庞加莱已经知道，二维球面本质上可由单连通性来刻画，他提出三维球面(四维空间中与原点有单位距离的点的全体)的对应问题。这个问题立即变得无比困难，从那时起，数学家们就在为此奋斗。一位数学史家曾经如此形容1854年出生的亨利61庞加莱（Henri Poincare）:“有些人仿佛生下来就是为了证明天才的存在似的，每次看到亨利，我就会听见这个恼人的声音在我耳边响起。”庞加莱作为数学家的伟大，并不完全在于他解决了多少问题，而在于他曾经提出过许多具有开创意义、奠基性的大问题。庞加莱猜想，就是其中的一个。1904年，庞加莱在一篇论文中提出了一个看似很简单的拓扑学的猜想：在一个三维空间中，假如每一条封闭的曲线都能收缩到一点，那么这个空间一定是一个三维的圆球。但1905年发现提法中有错误，并对之进行了修改，被推广为：“任何与n维球面同伦的n维封闭流形必定同胚于n维球面。”后来，这个猜想被推广至三维以上空间，被称为“高维庞加莱猜想”。如果你认为这个说法太抽象的话，我们不妨做这样一个想象：我们想象这样一个房子，这个空间是一个球。或者，想象一只巨大的足球，里面充满了气，我们钻到里面看，这就是一个球形的房子。我们不妨假设这个球形的房子墙壁是用钢做的，非常结实，没有窗户没有门，我们现在在这样的球形房子里。现在拿一个气球来，带到这个球形的房子里。随便什么气球都可以（其实对这个气球是有要求的）。这个气球并不是瘪的，而是已经吹成某一个形状，什么形状都可以（对形状也有一定要求）。但是这个气球，我们还可以继续吹大它，而且假设气球的皮特别结实，肯定不会被吹破。还要假设，这个气球的皮是无限薄的。好，现在我们继续吹大这个汽球，一直吹。吹到最后会怎么样呢？庞加莱先生猜想，吹到最后，一定是汽球表面和整个球形房子的墙壁表面紧紧地贴住，中间没有缝隙。我们还可以换一种方法想想：如果我们伸缩围绕一个苹果表面的橡皮带，那么我们可以既不扯断它，也不让它离开表面，使它慢慢移动收缩为一个点；另一方面，如果我们想象同样的橡皮带以适当的方向被伸缩在一个轮胎面上，那么不扯断橡皮带或者轮胎面，是没有办法把它收缩到一点的。为什么？因为，苹果表面是“单连通的”，而轮胎面不是。看起来这是不是很容易想清楚？但数学可不是“随便想想”就能证明一个猜想的，这需要严密的数学推理和逻辑推理。一个多世纪以来，无数的科学家为了证明它，绞尽脑汁甚至倾其一生还是无果而终。艰难的证明之路[编辑本段]2000年5月24日，美国克莱数学研究所的科学顾问委员会把庞加莱猜想列为七个“千禧难题”（又称世界七大数学难题）之一，这七道问题被研究所认为是“重要的经典问题，经许多年仍未解决。”克雷数学研究所的董事会决定建立七百万美元的大奖基金，每个“千年大奖问题”的解决都可获得百万美元的奖励。另外六个“千年大奖问题”分别是： NP完全问题， 霍奇猜想（Hodge）， 黎曼假设（Riemann），杨－米尔斯理论（Yang-Mills），纳维-斯托克斯方程（Navier-Stokes，简称NS方程），BSD猜想（Birch and Swinnerton-Dyer）。提出这个猜想后，庞加莱一度认为自己已经证明了它。但没过多久，证明中的错误就被暴露了出来。于是，拓扑学家们开始了证明它的努力。 一、早期的证明[编辑本段]20世纪30年代以前，庞加莱猜想的研究只有零星几项。但突然，英国数学家怀特海（Whitehead）对这个问题产生了浓厚兴趣。他一度声称自己完成了证明，但不久就撤回了论文，失之桑榆、收之东隅。但是在这个过程中，他发现了三维流形的一些有趣的特例，而这些特例，现在被统称为怀特海流形。 30年代到60年代之间，又有一些著名的数学家宣称自己解决了庞加莱猜想，著名的宾（R.Bing）、哈肯（Haken）、莫伊泽（Moise）和帕帕奇拉克普罗斯（Papa-kyriakopoulos）均在其中。帕帕奇拉克普罗斯是1964年的维布伦奖得主，一名希腊数学家。因为他的名字超长超难念，大家都称呼他“帕帕”（Papa）。在1948年以前，帕帕一直与数学圈保持一定的距离，直到被普林斯顿大学邀请做客。帕帕以证明了著名的“迪恩引理”（Dehn"s Lemma）而闻名于世，喜好舞文弄墨的数学家约翰61米尔诺（John Milnor）曾经为此写下一段打油诗：“无情无义的迪恩引理/每一个拓扑学家的天敌/直到帕帕奇拉克普罗斯/居然证明得毫不费力。”然而，这位聪明的希腊拓扑学家，却最终倒在了庞加莱猜想的证明上。在普林斯顿大学流传着一个故事。直到1976年去世前，帕帕仍在试图证明庞加莱猜想，临终之时，他把一叠厚厚的手稿交给了一位数学家朋友，然而，只是翻了几页，那位数学家就发现了错误，但为了让帕帕安静地离去，最后选择了隐忍不言。

一、空气开关一般是用来控制供电线路的通断功能的，兼具防短路、超载等，但本身并不具备防雷功能。二、家庭电路中安装空气开关后，还需要做可靠的保护接地和防雷接地，或者安装必要的防雷设备。比如防雷器。空开与防雷器是不能等同的，是两种不同的电路保护设备。防雷器是用来保护电力系统中各种电器设备免受雷电过电压、操作过电压、工频暂态过电压冲击而损坏的一种电器。三、如果线路中只安装了空气开关，雷击时的感应电流会顺着供电线路到达被保护设备，不但是造成设备的损坏，还会使整个供电线路终端，信息数据的丢失。因此，供电线路中还是要安装防雷器或者规范做好防雷接地的。

括号里外都有一个负号，负负得正，这应该很好理解吧。2根号3除以2，就是根号3啊

艾尔盾防雷器我们那里有出售

郭敦顒回答：命题1：体积相等的两个多面体，必可将其中一个切成有限块，拼成另一个。此命题是否正确？有的可能，有的不可能。如多面体1：√2×√2×3=6，多面体2：1×2×3=6，它们的体积相等，但却不能将其中一个切成有限块，拼成另一个，因√2与有理数没有公度。命题2：证明 [arc cos(1/3)]/π 不是有理数。∵arc cos(1/3)=70.528779…°=0.39182…π而0.39182…不是有理数，∴[arc cos(1/3)]/π 不是有理数。cosθ=1/3。θ是真角三角形的斜边为3，邻边为1的夹角，另一边为2√2。

位数学史家曾经如此形容1854年出生的亨利·庞加莱（Henri Poincare）:“有些人仿佛生下来就是为了证明天才的存在似的，每次看到亨利，我就会听见这个恼人的声音在我耳边响起。”庞加莱作为数学家的伟大，并不完全在于他解决了多少问题，而在于他曾经提出过许多具有开创意义、奠基性的大问题。庞加莱猜想，就是其中的一个。1904年，庞加莱在一篇论文中提出了一个看似很简单的拓扑学猜想:在一个三维空间中，假如每一条封闭的曲线都能收缩到一点，那么这个空间一定是一个三维的圆球。如果你认为这个说法太抽象的话，我们不妨做这样一个想像：我们想象这样一个房子，这个空间是一个球。或者，想象一只巨大的足球，里面充满了气，我们钻到里面看，这就是一个球形的房子。我们不妨假设这个球形的房子墙壁是用钢做的，非常结实，没有窗户没有门，我们现在在这样的球型房子里。现在拿一个汽球来，带到这个球形的房子里。随便什么汽球都可以（其实对这个汽球是有要求的）。这个汽球并不是瘪的，而是已经吹成某一个形状，什么形状都可以（对形状也有一定要求）。但是这个汽球，我们还可以继续吹大它，而且假设汽球的皮特别结实，肯定不会被吹破。还要假设，这个汽球的皮是无限薄的。好，现在我们继续吹大这个汽球，一直吹。吹到最后会怎么样呢？庞加莱先生猜想，吹到最后，一定是汽球表面和整个球形房子的墙壁表面紧紧地贴住，中间没有缝隙。看起来这是不是很容易想清楚？但数学可不是“随便想想”就能证明一个猜想的，这需要严密的数学和逻辑推理。一个世纪以来，无数的科学家为了证明它，绞尽脑汁甚至倾其一生还是无果而终。2000年初美国克雷数学研究所的科学顾问委员会就把庞加莱猜想列为七个“千年大奖问题”之一， 克雷数学研究所的董事会决定建立七百万美元的大奖基金，每个“千年大奖问题”的解决都可获得百万美元的奖励。另外六个“千年大奖问题”分别是： NP 完全问题， 郝治 猜想（Hodge）， 黎曼假设（Rieman ），杨－米尔斯 理论(Yang-Mills), 纳卫尔－斯托可方程（Navier-Stokes）， BSD猜想（Birch and Swinnerton-Dyer）。提出这个猜想后，庞加莱一度认为，自己已经证明了它。但没过多久，证明中的错误就被暴露了出来。于是，拓扑学家们开始了证明它的努力。 20世纪30年代以前，庞加莱猜想的研究只有零星几项。但突然，英国数学家怀特黑德（Whitehead）对这个问题产生了浓厚兴趣。他一度声称自己完成了证明，但不久就撤回了论文。失之桑榆、收之东隅，但是在这个过程中，他发现了三维流形的一些有趣的特例，而这些特例，现在被统称为怀特黑德流形。 30年代到60年代之间，又有一些著名的数学家宣称自己解决了庞加莱猜想，著名的宾（R.Bing）、哈肯（Haken）、莫伊泽（Moise）和帕帕奇拉克普罗斯（Papa-kyriakopoulos）均在其中。帕帕奇拉克普罗斯是1964年的维布伦奖得主，一名希腊数学家。因为他的名字超长超难念，大家都称呼他“帕帕”（Papa）。在1948年以前，帕帕一直与数学圈保持一定的距离，直到被普林斯顿大学邀请做客。帕帕以证明了著名的“迪恩引理”（Dehn"s Lemma）而闻名于世，喜好舞文弄墨的数学家约翰·米尔诺（John Milnor）曾经为此写下一段打油诗:“无情无义的迪恩引理/每一个拓扑学家的天敌/直到帕帕奇拉克普罗斯/居然证明得毫不费力。”然而，这位聪明的希腊拓扑学家，却折在了庞加莱猜想的证明上。在普林斯顿大学流传着一个故事。直到1976年去世前，帕帕仍在试图证明庞加莱猜想，临终之时，他把一叠厚厚的手稿交给了一位数学家朋友，然而，只是翻了几页，那位数学家就发现了错误，但为了让帕帕安静地离去，最后选择了隐忍不言。 这一时期拓扑学家对庞加莱猜想的研究，虽然没能产生他们所期待的结果，但是，却因此发展出了低维拓扑学这门学科。 一次又一次尝试的失败，使得庞加莱猜想成为出了名难证的数学问题之一。然而，因为它是几何拓扑研究的基础，数学家们又不能将其撂在一旁。这时，事情出现了转机。 1966年菲尔茨奖得主斯梅尔（Smale），在60年代初想到了一个天才的主意:如果三维的庞加莱猜想难以解决，高维的会不会容易些呢？1960年到1961年，在里约热内卢的海滨，经常可以看到一个人，手持草稿纸和铅笔，对着大海思考。他，就是斯梅尔。1961年的夏天，在基辅的非线性振动会议上，斯梅尔公布了自己对庞加莱猜想的五维空间和五维以上的证明，立时引起轰动。 10多年之后的1983年，美国数学家福里德曼（Freed man）将证明又向前推动了一步。在唐纳森工作的基础上，他证出了四维空间中的庞加莱猜想，并因此获得菲尔茨奖。但是，再向前推进的工作，又停滞了。拓扑学的方法研究三维庞加莱猜想没有进展，有人开始想到了其他的工具。瑟斯顿（Thruston）就是其中之一。他引入了几何结构的方法对三维流形进行切割，并因此获得了1983年的菲尔茨奖。 然而，庞加莱猜想，依然没有得到证明。人们在期待一个新的工具的出现。 “就像费马大定理，当谷山志村猜想被证明后，尽管人们还看不到具体的前景，但所有的人心中都有数了。因为，一个可以解决问题的工具出现了。”清华大学数学系主任文志英说。 可是，解决庞加莱猜想的工具在哪里？ 工具有了。 理查德·汉密尔顿，生于1943年，比丘成桐大6岁。虽然在开玩笑的时候，丘成桐会戏谑地称这位有30多年交情、喜欢冲浪、旅游和交女朋友的老友“Playboy”，但提起他的数学成就，却只有称赞和惺惺相惜。 1972年，丘成桐和李伟光合作，发展出了一套用非线性微分方程的方法研究几何结构的理论。丘成桐用这种方法证明了卡拉比猜想，并因此获得菲尔茨奖。1979年，在康奈尔大学的一个讨论班上，当时是斯坦福大学数学系教授的丘成桐见到了汉密尔顿。“那时候，汉密尔顿刚刚在做Ricci流，别人都不晓得，跟我说起。我觉得这个东西不太容易做。没想到，1980年，他就做出了第一个重要的结果。”丘成桐说，“于是，我跟他讲，可以用这个结果来证明庞加莱猜想，以及三维空间的大问题。” Ricci流，以意大利数学家Gregorio Ricci命名的一个方程。用它可以完成一系列的拓扑手术，构造几何结构，把不规则的流形变成规则的流形，从而解决三维的庞加莱猜想。看到这个方程的重要性后，丘成桐立即让跟随自己的几个学生跟着汉密尔顿研究Ricci流。其中，就包括他的第一个来自中国大陆的学生曹怀东。 第一次见到曹怀东，是在超弦大会丘成桐关于庞加莱猜想的报告上。虽然那一段时间，几乎所有的媒体都在找曹怀东，但穿着件颜色鲜艳的大T恤的他，在会场里走了好几圈，居然没有人认出。这也难怪。绝大多数的数学家，依然是远离公众视线的象牙塔中人，即使是名动天下如威滕（Witten），坐在后排，俨然也是大隐隐于市的模样。 1982年，曹怀东考取丘成桐的博士。1984年，当丘成桐转到加州大学圣迭戈分校任教时，曹怀东也跟了过来。但是，他的绝大多数时间，是与此时亦从康奈尔大学转至圣迭戈分校的汉密尔顿“泡在一起”。这时，丘成桐的4名博士生，全部在跟随汉密尔顿的研究方向。其中做得最优秀的，是施皖雄。他写出了很多非常漂亮的论文，提出很多好的观点，可是，因为个性和环境的原因，在没有拿到大学的终身教职后，施皖雄竟然放弃了做数学。提起施皖雄，时至今日，丘成桐依然其辞若有憾焉。一种虽然于事无补但惹人深思的假设是，如果，当时的施皖雄坚持下去，今天关于庞加莱猜想的故事，是否会被改写？ 在使用Ricci流进行空间变换时，到后来，总会出现无法控制走向的点。这些点，叫做奇点。如何掌握它们的动向，是证明三维庞加莱猜想的关键。在借鉴了丘成桐和李伟光在非线性微分方程上的工作后，1993年，汉密尔顿发表了一篇关于理解奇点的重要论文。便在此时，丘成桐隐隐感觉到，解决庞加莱猜想的那一刻，就要到来了

PHOENIX

在1900年巴黎国际数学家代表大会上，希尔伯特发表了题为《数学问题》的著名讲演。他根据过去特别是十九世纪数学研究的成果和发展趋势，提出了23个最重要的数学问题。这23个问题通称希尔伯特问题，后来成为许多数学家力图攻克的难关，对现代数学的研究和发展产生了深刻的影响，并起了积极的推动作用，希尔伯特问题中有些现已得到圆满解决，有些至今仍未解决。他在讲演中所阐发的相信每个数学问题都可以解决的信念，对于数学工作者是一种巨大的鼓舞。希尔伯特的23个问题分属四大块：第1到第6问题是数学基础问题；第7到第12问题是数论问题；第13到第18问题属于代数和几何问题；第19到第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和exp(π)）。苏联的盖尔封特（Gelfond）1929年、德国的施奈德（Schneider）及西格尔（Siegel）1935年分别独立地证明了其正确性。但超越数理论还远未完成。目前，确定所给的数是否超越数，尚无统一的方法。（8）素数分布问题，尤其对黎曼猜想、哥德巴赫猜想和孪生素数问题。素数是一个很古老的研究领域。希尔伯特在此提到黎曼（Riemann）猜想、哥德巴赫（Goldbach）猜想以及孪生素数问题。黎曼猜想至今未解决。哥德巴赫猜想和孪生素数问题目前也未获最终解决，其最佳结果分别属于中国数学家陈景润和张益唐。（9）一般互反律在任意数域中的证明。1921年由日本的高木贞治，1927年由德国的阿廷（E.Artin）各自给以基本解决。而类域理论至今还在发展之中。（10）能否通过有限步骤来判定不定方程是否存在有理整数解？求出一个整数系数方程的整数根，称为丢番图（约210-290，古希腊数学家）方程可解。1950年前后，美国数学家戴维斯（Davis）、普特南（Putnan）、罗宾逊（Robinson）等取得关键性突破。1970年，巴克尔（Baker）、费罗斯（Philos）对含两个未知数的方程取得肯定结论。1970年。苏联数学家马蒂塞维奇最终证明：在一般情况下，答案是否定的。虽然得出了否定的结果，却产生了一系列很有价值的副产品，其中不少和计算机科学有密切联系。（11）一般代数数域内的二次型论。德国数学家哈塞（Hasse）和西格尔（Siegel）在20年代获重要结果。60年代，法国数学家魏依（A.Weil）取得了新进展。（12）类域的构成问题。即将阿贝尔域上的克罗内克定理推广到任意的代数有理域上去。此问题仅有一些零星结果，离彻底解决还很远。（13）一般七次代数方程以二变量连续函数之组合求解的不可能性。七次方程x7+ax3+bx2+cx+1=0的根依赖于3个参数a、b、c；x=x(a,b,c）。这一函数能否用两变量函数表示出来？此问题已接近解决。1957年，苏联数学家阿诺尔德（Arnold）证明了任一在〔0，1〕上连续的实函数f(x1，x2，x3）可写成形式∑hi（ξi(x1,x2）,x3）(i=1--9），这里hi和ξi为连续实函数。柯尔莫哥洛夫证明f(x1，x2，x3）可写成形式∑hi（ξi1(x1）+ξi2(x2）+ξi3(x3）)(i=1--7）这里hi和ξi为连续实函数，ξij的选取可与f完全无关。1964年，维土斯金（Vituskin）推广到连续可微情形，对解析函数情形则未解决。（14）某些完备函数系的有限的证明。即域K上的以x1,x2，…，xn为自变量的多项式fi（i=1，…，m），R为K〔X1，…，Xm]上的有理函数F（X1，…，Xm）构成的环，并且F（f1，…，fm）∈K[x1，…，xm]试问R是否可由有限个元素F1，…，FN的多项式生成？这个与代数不变量问题有关的问题，日本数学家永田雅宜于1959年用漂亮的反例给出了否定的解决。（15）建立代数几何学的基础。荷兰数学家范德瓦尔登1938年至1940年，魏依1950年已解决。注一舒伯特（Schubert）计数演算的严格基础。一个典型的问题是：在三维空间中有四条直线，问有几条直线能和这四条直线都相交？舒伯特给出了一个直观的解法。希尔伯特要求将问题一般化，并给以严格基础。现在已有了一些可计算的方法，它和代数几何学有密切的关系。但严格的基础至今仍未建立。（16）代数曲线和曲面的拓扑研究。此问题前半部涉及代数曲线含有闭的分枝曲线的最大数目。后半部要求讨论备dx/dy=Y/X的极限环的最多个数N（n）和相对位置，其中X、Y是x、y的n次多项式。对n=2（即二次系统）的情况，1934年福罗献尔得到N（2）≥1；1952年鲍廷得到N（2）≥3；1955年苏联的波德洛夫斯基宣布N（2）≤3，这个曾震动一时的结果，由于其中的若干引理被否定而成疑问。关于相对位置，中国数学家董金柱、叶彦谦1957年证明了（E2）不超过两串。1957年，中国数学家秦元勋和蒲富金具体给出了n=2的方程具有至少3个成串极限环的实例。1978年，中国的史松龄在秦元勋、华罗庚的指导下，与王明淑分别举出至少有4个极限环的具体例子。1983年，秦元勋进一步证明了二次系统最多有4个极限环，并且是（1，3）结构，从而最终地解决了二次微分方程的解的结构问题，并为研究希尔伯特第（16）问题提供了新的途径。（17）半正定形式的平方和表示。实系数有理函数f(x1，…，xn）对任意数组（x1，…，xn）都恒大于或等于0，确定f是否都能写成有理函数的平方和？1927年阿廷已肯定地解决。（18）用全等多面体构造空间。德国数学家比贝尔巴赫（Bieberbach）1910年，莱因哈特（Reinhart）1928年作出部分解决。（19）正则变分问题的解是否总是解析函数？德国数学家伯恩斯坦（Bernrtein，1929）和苏联数学家彼德罗夫斯基（1939）已解决。（20）研究一般边值问题。此问题进展迅速，已成为一个很大的数学分支，目前还在继读发展。（21）具有给定奇点和单值群的Fuchs类的线性微分方程解的存在性证明。此问题属线性常微分方程的大范围理论。希尔伯特本人于1905年、勒尔（H.Rohrl）于1957年分别得出重要结果。1970年法国数学家德利涅（Deligne）作出了出色贡献。（22）用自守函数将解析函数单值化。此问题涉及艰深的黎曼曲面理论，1907年克伯（P.Koebe）对一个变量情形已解决而使问题的研究获重要突破。其它方面尚未解决。（23）发展变分学方法的研究。这不是一个明确的数学问题。20世纪变分法有了很大发展。

在1900年巴黎国际数学家代表大会上，希尔伯特发表了题为《数学问题》的著名讲演。他根据过去特别是十九世纪数学研究的成果和发展趋势，提出了23个最重要的数学问题。这23个问题通称希尔伯特问题，后来成为许多数学家力图攻克的难关，对现代数学的研究和发展产生了深刻的影响，并起了积极的推动作用，希尔伯特问题中有些现已得到圆满解决，有些至今仍未解决。他在讲演中所阐发的想信每个数学问题都可以解决的信念，对于数学工作者是一种巨大的鼓舞。 　　希尔伯特的23个问题分属四大块：第1到第6问题是数学基础问题；第7到第12问题是数论问题；第13到第18问题属于代数和几何问题；第19到第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年分别独立地证明了其正确性。但超越数理论还远未完成。目前，确定所给的数是否超越数，尚无统一的方法。 　　（8）素数分布问题，尤其对黎曼猜想、哥德巴赫猜想和孪生素共问题。 　　素数是一个很古老的研究领域。希尔伯特在此提到黎曼（Riemann）猜想、哥德巴赫（Goldbach）猜想以及孪生素数问题。黎曼猜想至今未解决。哥德巴赫猜想和孪生素数问题目前也未最终解决，其最佳结果均属中国数学家陈景润。 　　（9）一般互反律在任意数域中的证明。 　　1921年由日本的高木贞治，1927年由德国的阿廷（E.Artin）各自给以基本解决。而类域理论至今还在发展之中。 　　（10）能否通过有限步骤来判定不定方程是否存在有理整数解？ 　　求出一个整数系数方程的整数根，称为丢番图（约210-290，古希腊数学家）方程可解。1950年前后，美国数学家戴维斯（Davis）、普特南（Putnan）、罗宾逊（Robinson）等取得关键性突破。1970年，巴克尔（Baker）、费罗斯（Philos）对含两个未知数的方程取得肯定结论。1970年。苏联数学家马蒂塞维奇最终证明：在一般情况答案是否定的。尽管得出了否定的结果，却产生了一系列很有价值的副产品，其中不少和计算机科学有密切联系。 　　（11）一般代数数域内的二次型论。 　　德国数学家哈塞（Hasse）和西格尔（Siegel）在20年代获重要结果。60年代，法国数学家魏依（A.Weil）取得了新进展。 　　（12）类域的构成问题。 　　即将阿贝尔域上的克罗内克定理推广到任意的代数有理域上去。此问题仅有一些零星结果，离彻底解决还很远。 　　（13）一般七次代数方程以二变量连续函数之组合求解的不可能性。 　　七次方程x7+ax3+bx2+cx+1=0的根依赖于3个参数a、b、c；x=x(a,b,c)。这一函数能否用两变量函数表示出来？此问题已接近解决。1957年，苏联数学家阿诺尔德（Arnold）证明了任一在〔0，1〕上连续的实函数f(x1，x2，x3)可写成形式∑hi(ξi(x1,x2),x3)(i=1--9)，这里hi和ξi为连续实函数。柯尔莫哥洛夫证明f(x1，x2，x3)可写成形式∑hi(ξi1(x1)+ξi2(x2)+ξi3(x3))(i=1--7)这里hi和ξi为连续实函数，ξij的选取可与f完全无关。1964年，维土斯金（Vituskin）推广到连续可微情形，对解析函数情形则未解决。 　　（14）某些完备函数系的有限的证明。 　　即域K上的以x1,x2,…,xn为自变量的多项式fi（i=1,…，m），R为K〔X1，…，Xm]上的有理函数F（X1，…，Xm）构成的环，并且F（f1，…，fm）∈K[x1，…，xm]试问R是否可由有限个元素F1，…，FN的多项式生成？这个与代数不变量问题有关的问题，日本数学家永田雅宜于1959年用漂亮的反例给出了否定的解决。 　　（15）建立代数几何学的基础。 　　荷兰数学家范德瓦尔登1938年至1940年，魏依1950年已解决。 　　注一舒伯特（Schubert）计数演算的严格基础。 　　一个典型的问题是：在三维空间中有四条直线，问有几条直线能和这四条直线都相交？舒伯特给出了一个直观的解法。希尔伯特要求将问题一般化，并给以严格基础。现在已有了一些可计算的方法，它和代数几何学有密切的关系。但严格的基础至今仍未建立。 　　（16）代数曲线和曲面的拓扑研究。 　　此问题前半部涉及代数曲线含有闭的分枝曲线的最大数目。后半部要求讨论备dx/dy=Y/X的极限环的最多个数N（n）和相对位置，其中X、Y是x、y的n次多项式。对n=2（即二次系统）的情况，1934年福罗献尔得到N(2)≥1；1952年鲍廷得到N(2)≥3；1955年苏联的波德洛夫斯基宣布N(2)≤3，这个曾震动一时的结果，由于其中的若干引理被否定而成疑问。关于相对位置，中国数学家董金柱、叶彦谦1957年证明了（E2）不超过两串。1957年，中国数学家秦元勋和蒲富金具体给出了n＝2的方程具有至少3个成串极限环的实例。1978年，中国的史松龄在秦元勋、华罗庚的指导下，与王明淑分别举出至少有4个极限环的具体例子。1983年，秦元勋进一步证明了二次系统最多有4个极限环，并且是（1，3）结构，从而最终地解决了二次微分方程的解的结构问题，并为研究希尔伯特第（16）问题提供了新的途径。 　　（17）半正定形式的平方和表示。 　　实系数有理函数f(x1,…，xn)对任意数组（x1，…,xn）都恒大于或等于0，确定f是否都能写成有理函数的平方和？1927年阿廷已肯定地解决。 　　（18）用全等多面体构造空间。 　　德国数学家比贝尔巴赫（Bieberbach）1910年，莱因哈特（Reinhart）1928年作出部分解决。 　　（19）正则变分问题的解是否总是解析函数？ 　　德国数学家伯恩斯坦（Bernrtein，1929）和苏联数学家彼德罗夫斯基（1939）已解决。 　　（20）研究一般边值问题。 　　此问题进展迅速，己成为一个很大的数学分支。日前还在继读发展。 　　（21）具有给定奇点和单值群的Fuchs类的线性微分方程解的存在性证明。 　　此问题属线性常微分方程的大范围理论。希尔伯特本人于1905年、勒尔（H.Rohrl）于1957年分别得出重要结果。1970年法国数学家德利涅（Deligne）作出了出色贡献。 　　（22）用自守函数将解析函数单值化。 　　此问题涉及艰深的黎曼曲面理论，1907年克伯（P.Koebe）对一个变量情形已解决而使问题的研究获重要突破。其它方面尚未解决。 　　（23）发展变分学方法的研究。 　　这不是一个明确的数学问题。20世纪变分法有了很大发展。

（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年分别独立地证明了其正确性。但超越数理论还远未完成，确定所给的数是否超越数，尚无统一的方法。（8）素数分布问题，尤其对黎曼猜想、哥德巴赫猜想和孪生素数问题。素数是一个很古老的研究领域。希尔伯特在此提到黎曼（Riemann）猜想、哥德巴赫（Goldbach）猜想以及孪生素数问题。黎曼猜想至今未解决。哥德巴赫猜想和孪生素数问题目前也未最终解决。其中，哥德巴赫猜想的最佳结果属于中国数学家陈景润（1+2），而华人数学家张益唐在2013年在孪生素数猜想领域做出了突破性的贡献。（9）一般互反律在任意数域中的证明。1921年由日本的高木贞治，1927年由德国的阿廷（E.Artin）各自给以基本解决。而类域理论至今还在发展之中。 （10）能否通过有限步骤来判定不定方程是否存在有理整数解？求出一个整数系数方程的整数根，称为丢番图（约210-290，古希腊数学家）方程可解。1950年前后，美国数学家戴维斯（Davis）、普特南（Putnan）、罗宾逊（Robinson）等取得关键性突破。1970年，巴克尔（Baker）、费罗斯（Philos）对含两个未知数的方程取得肯定结论。1970年。苏联数学家马蒂塞维奇最终证明：在一般情况答案是否定的。尽管得出了否定的结果，却产生了一系列很有价值的副产品，其中不少和计算机科学有密切联系。（11）一般代数数域内的二次型论。德国数学家哈塞（Hasse）和西格尔（Siegel）在20年代获重要结果。60年代，法国数学家魏依（A.Weil）取得了新进展。（12）类域的构成问题。即将阿贝尔域上的克罗内克定理推广到任意的代数有理域上去。此问题仅有一些零星结果，离彻底解决还很远。 （13）一般七次代数方程以二变量连续函数之组合求解的不可能性。七次方程x7+ax3+bx2+cx+1=0的根依赖于3个参数a、b、c；x=x(a,b,c)。这一函数能否用两变量函数表示出来？此问题已接近解决。1957年，苏联数学家阿诺尔德（Arnold）证明了任一在〔0，1〕上连续的实函数f(x1，x2，x3)可写成形式∑hi(ξi(x1,x2),x3)(i=1--9)，这里hi和ξi为连续实函数。柯尔莫哥洛夫证明f(x1，x2，x3)可写成形式∑hi(ξi1(x1)+ξi2(x2)+ξi3(x3))(i=1--7)这里hi和ξi为连续实函数，ξij的选取可与f完全无关。1964年，维土斯金（Vituskin）推广到连续可微情形，对解析函数情形则未解决。（14）某些完备函数系的有限的证明。即域K上的以x1,x2,…,xn为自变量的多项式fi（i=1,…，m），R为K〔X1，…，Xm]上的有理函数F（X1，…，Xm）构成的环，并且F（f1，…，fm）∈K[x1，…，xm]试问R是否可由有限个元素F1，…，FN的多项式生成？这个与代数不变量问题有关的问题，日本数学家永田雅宜于1959年用漂亮的反例给出了否定的解决。（15）建立代数几何学的基础。荷兰数学家范德瓦尔登1938年至1940年，魏依1950年已解决。注一舒伯特（Schubert）计数演算的严格基础。一个典型的问题是：在三维空间中有四条直线，问有几条直线能和这四条直线都相交？舒伯特给出了一个直观的解法。希尔伯特要求将问题一般化，并给以严格基础。已有了一些可计算的方法，它和代数几何学有密切的关系。但严格的基础至今仍未建立。 （16）代数曲线和曲面的拓扑研究。此问题前半部涉及代数曲线含有闭的分枝曲线的最大数目。后半部要求讨论备dx/dy=Y/X的极限环的最多个数N（n）和相对位置，其中X、Y是x、y的n次多项式。对n=2（即二次系统）的情况，1934年福罗献尔得到N(2)≥1；1952年鲍廷得到N(2)≥3；1955年苏联的波德洛夫斯基宣布N(2)≤3，这个曾震动一时的结果，由于其中的若干引理被否定而成疑问。关于相对位置，中国数学家董金柱、叶彦谦1957年证明了（E2）不超过两串。1957年，中国数学家秦元勋和蒲富金具体给出了n=2的方程具有至少3个成串极限环的实例。1978年，中国的史松龄在秦元勋、华罗庚的指导下，与王明淑分别举出至少有4个极限环的具体例子。1983年，秦元勋进一步证明了二次系统最多有4个极限环，并且(1,3)分布，但证明有误，至今二次系统的问题尚未解决。（17）半正定形式的平方和表示。实系数有理函数f(x1,…，xn)对任意数组（x1，…,xn）都恒大于或等于0，确定f是否都能写成有理函数的平方和？1927年阿廷已肯定地解决。（18）用全等多面体构造空间。德国数学家比贝尔巴赫（Bieberbach）1910年，莱因哈特（Reinhart）1928年作出部分解决。 （19）正则变分问题的解是否总是解析函数？德国数学家伯恩斯坦（Bernstein，1929）和苏联数学家彼德罗夫斯基（1939）已解决。（20）研究一般边值问题。此问题进展迅速，己成为一个很大的数学分支。日前还在继续发展。（21）具有给定奇点和单值群的Fuchs类的线性微分方程解的存在性证明。此问题属线性常微分方程的大范围理论。希尔伯特本人于1905年、勒尔（H.Rohrl）于1957年分别得出重要结果。1970年法国数学家德利涅（Deligne）作出了出色贡献。 （22）用自守函数将解析函数单值化。此问题涉及艰深的黎曼曲面理论，1907年克伯（P.Koebe）对一个变量情形已解决而使问题的研究获重要突破。其它方面尚未解决。（23）发展变分学方法的研究。这不是一个明确的数学问题。20世纪变分法有了很大发展。

　　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）某些数的超越性的证明。　　需证：如果a是代数数，β是无理数的代数数，那么aβ一定是超越数或至少是无理数（例如，2√-2和exp(π)）。苏联的盖尔封特（Gelfond）1929年、德国的施奈德（Schneider）及西格尔（Siegel）1935年分别独立地证明了其正确性。但超越数理论还远未完成。目前，确定所给的数是否超越数，尚无统一的方法。　　（8）素数分布问题，尤其对黎曼猜想、哥德巴赫猜想和孪生素数问题。　　素数是一个很古老的研究领域。希尔伯特在此提到黎曼（Riemann）猜想、哥德巴赫（Goldbach）猜想以及孪生素数问题。黎曼猜想至今未解决。哥德巴赫猜想和孪生素数问题目前也未最终解决，其最佳结果均由中国数学家陈景润得出。　　（9）一般互反律在任意数域中的证明。　　1921年由日本的高木贞治，1927年由德国的阿廷（E.Artin）各自给以基本解决。而类域理论至今还在发展之中。　　（10）能否通过有限步骤来判定不定方程是否存在有理整数解？　　求出一个整数系数方程的整数根，称为丢番图（约公元前210-公元前290，古希腊数学家）方程可解。1950年前后，美国数学家戴维斯（Davis）、普特南（Putnan）、罗宾逊（Robinson）等取得关键性突破。1970年，巴克尔（Baker）、费罗斯（Philos）对含两个未知数的方程取得肯定结论。1970年， 苏联数学家马蒂塞维奇最终证明：在一般情况答案是否定的。尽管得出了否定的结果，却产生了一系列很有价值的副产品，其中不少和计算机科学有密切联系。　　（11）一般代数数域内的二次型论。　　德国数学家哈塞（Hasse）和西格尔（Siegel）在20年代获重要结果。60年代，法国数学家魏依（A.Weil）取得了新进展。　　（12）类域的构成问题。　　即将阿贝尔域上的克罗内克定理推广到任意的代数有理域上去。此问题仅有一些零星结果，离彻底解决还很远。　　（13）一般七次代数方程以二变量连续函数之组合求解的不可能性。　　七次方程x7+ax3+bx2+cx+1=0的根依赖于3个参数a、b、c；x=x(a,b,c)。这一函数能否用两变量函数表示出来？此问题已接近解决。1957年，苏联数学家阿诺尔德（Arnold）证明了任一在〔0，1〕上连续的实函数f(x1，x2，x3)可写成形式∑hi(ξi(x1,x2),x3)(i=1--9)，这里hi和ξi为连续实函数。柯尔莫哥洛夫证明f(x1,x2),x3)可写成形式∑hi(ξi1(x1)+ξi2(x2)+ξi3(x3))(i=1--7)这里hi和ξi为连续实函数，ξij的选取可与　　f完全无关。1964年，维土斯金（Vituskin）推广到连续可微情形，对解析函数情形则未解决。　　（14）某些完备函数系的有限的证明。　　即域K上的以x1,x2,…,xn为自变量的多项式fi（i=1,…，m），R为K〔X1，…，Xm]上的有理函数F〔X1，…，Xm]构成的环，并且F（f1，…，fm）∈K〔X1，…，Xm]试问R是否可由有限个元素F1，…，FN的多项式生成？这个与代数不变量问题有关的问题，日本数学家永田雅宜于1959年用漂亮的反例给出了否定的解决。　　（15）建立代数几何学的基础。　　荷兰数学家范德瓦尔登1938年至1940年，魏依1950年已解决。　　（15）舒伯特（Schubert）计数演算的严格基础。　　一个典型的问题是：在三维空间中有四条直线，问有几条直线能和这四条直线都相交？舒伯特给出了一个直观的解法。希尔伯特要求将问题一般化，并给以严格基础。现在已有了一些可计算的方法，它和代数几何学有密切的关系。但严格的基础至今仍未建立。　　（16）代数曲线和曲面的拓扑研究。　　此问题前半部涉及代数曲线含有闭的分枝曲线的最大数目。后半部要求讨论备dx/dy=Y/X的极限环的最多个数N（n）和相对位置，其中X、Y是x、y的n次多项式。对n=2（即二次系统）的情况，1934年福罗献尔得到N(2)≥1；1952年鲍廷得到N(2)≥3；1955年苏联的波德洛夫斯基宣布N(2)≤3，这个曾震动一时的结果，由于其中的若干引理被否定而成疑问。关于相对位置，中国数学家董金柱、叶彦谦1957年证明了E（2）不超过两串。1957年，中国数学家秦元勋和蒲富金具体给出了n＝2的方程具有至少3个成串极限环的实例。1978年，中国的史松龄在秦元勋、华罗庚的指导下，与王明淑分别举出至少有4个极限环的具体例子。1983年，秦元勋进一步证明了二次系统最多有4个极限环，并且是（1，3）结构，从而最终地解决了二次微分方程的解的结构问题，并为研究希尔伯特第（16）问题提供了新的途径。　　（17）半正定形式的平方和表示。　　实系数有理函数f(x1,…，xn)对任意数组(x1,…，xn)都恒大于或等于0，确定f是否都能写成有理函数的平方和？1927年阿廷已肯定地解决。　　（18）用全等多面体构造空间。　　德国数学家比贝尔巴赫（Bieberbach）1910年，莱因哈特（Reinhart）1928年作出部分解决。　　（19）正则变分问题的解是否总是解析函数？　　德国数学家伯恩斯坦（Bernrtein，1929）和苏联数学家彼德罗夫斯基（1939）已解决。　　（20）研究一般边值问题。　　此问题进展迅速，己成为一个很大的数学分支。日前还在继读发展。　　（21）具有给定奇点和单值群的Fuchs类的线性微分方程解的存在性证明。　　此问题属线性常微分方程的大范围理论。希尔伯特本人于1905年、勒尔（H.Rohrl）于1957年分别得出重要结果。1970年法国数学家德利涅（Deligne）作出了出色贡献。　　（22）用自守函数将解析函数单值化。　　此问题涉及艰深的黎曼曲面理论，1907年克伯（P.Koebe）对一个变量情形已解决而使问题的研究获重要突破。其它方面尚未解决。　　（23）发展变分学方法的研究。　　这不是一个明确的数学问题。20世纪变分法有了很大发展。　　可见，希尔伯特提出的问题是相当艰深的。正因为艰深，才吸引有志之士去作巨大的努力。

分类: 教育/学业/考试 解析: （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年分别独立地证明了其正确性。但超越数理论还远未完成。目前，确定所给的数是否超越数，尚无统一的方法。 （8）素数分布问题，尤其对黎曼猜想、哥德巴赫猜想和孪生素共问题。 素数是一个很古老的研究领域。希尔伯特在此提到黎曼（Riemann）猜想、哥德巴赫（Goldbach）猜想以及孪生素数问题。黎曼猜想至今未解决。哥德巴赫猜想和孪生素数问题目前也未最终解决，其最佳结果均属中国数学家陈景润。 （9）一般互反律在任意数域中的证明。 1921年由日本的高木贞治，1927年由德国的阿廷（E.Artin）各自给以基本解决。而类域理论至今还在发展之中。 （10）能否通过有限步骤来判定不定方程是否存在有理整数解？ 求出一个整数系数方程的整数根，称为丢番图（约210-290，古希腊数学家）方程可解。1950年前后，美国数学家戴维斯（Davis）、普特南（Putnan）、罗宾逊（Robinson）等取得关键性突破。1970年，巴克尔（Baker）、费罗斯（Philos）对含两个未知数的方程取得肯定结论。1970年。苏联数学家马蒂塞维奇最终证明：在一般情况答案是否定的。尽管得出了否定的结果，却产生了一系列很有价值的副产品，其中不少和计算机科学有密切联系。 （11）一般代数数域内的二次型论。 德国数学家哈塞（Hasse）和西格尔（Siegel）在20年代获重要结果。60年代，法国数学家魏依（A.Weil）取得了新进展。 （12）类域的构成问题。 即将阿贝尔域上的克罗内克定理推广到任意的代数有理域上去。此问题仅有一些零星结果，离彻底解决还很远。 （13）一般七次代数方程以二变量连续函数之组合求解的不可能性。 七次方程x7+ax3+bx2+cx+1=0的根依赖于3个参数a、b、c；x=x(a,b,c)。这一函数能否用两变量函数表示出来？此问题已接近解决。1957年，苏联数学家阿诺尔德（Arnold）证明了任一在〔0，1〕上连续的实函数f(x1，x2，x3)可写成形式∑hi(ξi(x1,x2),x3)(i=1--9)，这里hi和ξi为连续实函数。柯尔莫哥洛夫证明f(x1，x2，x3)可写成形式∑hi(ξi1(x1)+ξi2(x2)+ξi3(x3))(i=1--7)这里hi和ξi为连续实函数，ξij的选取可与f完全无关。1964年，维土斯金（Vituskin）推广到连续可微情形，对解析函数情形则未解决。 （14）某些完备函数系的有限的证明。 即域K上的以x1,x2,…,xn为自变量的多项式fi（i=1,…，m），R为K〔X1，…，Xm]上的有理函数F（X1，…，Xm）构成的环，并且F（f1，…，fm）∈K[x1，…，xm]试问R是否可由有限个元素F1，…，FN的多项式生成？这个与代数不变量问题有关的问题，日本数学家永田雅宜于1959年用漂亮的反例给出了否定的解决。 （15）舒伯特（Schubert）计数演算的严格基础。 一个典型的问题是：在三维空间中有四条直线，问有几条直线能和这四条直线都相交？舒伯特给出了一个直观的解法。希尔伯特要求将问题一般化，并给以严格基础。现在已有了一些可计算的方法，它和代数几何学有密切的关系。但严格的基础至今仍未建立。 （16）代数曲线和曲面的拓扑研究。 此问题前半部涉及代数曲线含有闭的分枝曲线的最大数目。后半部要求讨论备dx/dy=Y/X的极限环的最多个数N（n）和相对位置，其中X、Y是x、y的n次多项式。对n=2（即二次系统）的情况，1934年福罗献尔得到N(2)≥1；1952年鲍廷得到N(2)≥3；1955年苏联的波德洛夫斯基宣布N(2)≤3，这个曾震动一时的结果，由于其中的若干引理被否定而成疑问。关于相对位置，中国数学家董金柱、叶彦谦1957年证明了（E2）不超过两串。1957年，中国数学家秦元勋和蒲富金具体给出了n＝2的方程具有至少3个成串极限环的实例。1978年，中国的史松龄在秦元勋、华罗庚的指导下，与王明淑分别举出至少有4个极限环的具体例子。1983年，秦元勋进一步证明了二次系统最多有4个极限环，并且是（1，3）结构，从而最终地解决了二次微分方程的解的结构问题，并为研究希尔伯特第（16）问题提供了新的途径。 （17）半正定形式的平方和表示。 实系数有理函数f(x1,…，xn)对任意数组（x1，…,xn）都恒大于或等于0，确定f是否都能写成有理函数的平方和？1927年阿廷已肯定地解决。 （18）用全等多面体构造空间。 德国数学家比贝尔巴赫（Bieberbach）1910年，莱因哈特（Reinhart）1928年作出部分解决。 （19）正则变分问题的解是否总是解析函数？ 德国数学家伯恩斯坦（Bernrtein，1929）和苏联数学家彼德罗夫斯基（1939）已解决。 （20）研究一般边值问题。 此问题进展迅速，己成为一个很大的数学分支。日前还在继读发展。 （21）具有给定奇点和单值群的Fuchs类的线性微分方程解的存在性证明。 此问题属线性常微分方程的大范围理论。希尔伯特本人于1905年、勒尔（H.Rohrl）于1957年分别得出重要结果。1970年法国数学家德利涅（Deligne）作出了出色贡献。 （22）用自守函数将解析函数单值化。 此问题涉及艰深的黎曼曲面理论，1907年克伯（P.Koebe）对一个变量情形已解决而使问题的研究获重要突破。其它方面尚未解决。 （23）发展变分学方法的研究。 这不是一个明确的数学问题。20世纪变分法有了很大发展。

在1900年巴黎国际数学家代表大会上，希尔伯特发表了题为《数学问题》的著名讲演。他根据过去特别是十九世纪数学研究的成果和发展趋势，提出了23个最重要的数学问题。这23个问题通称希尔伯特问题，后来成为许多数学家力图攻克的难关，对现代数学的研究和发展产生了深刻的影响，并起了积极的推动作用，希尔伯特问题中有些现已得到圆满解决，有些至今仍未解决。他在讲演中所阐发的想信每个数学问题都可以解决的信念，对于数学工作者是一种巨大的鼓舞。希尔伯特的23个问题分属四大块：第1到第6问题是数学基础问题；第7到第12问题是数论问题；第13到第18问题属于代数和几何问题；第19到第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年分别独立地证明了其正确性。但超越数理论还远未完成。目前，确定所给的数是否超越数，尚无统一的方法。 　　（8）素数分布问题，尤其对黎曼猜想、哥德巴赫猜想和孪生素共问题。 　　素数是一个很古老的研究领域。希尔伯特在此提到黎曼（Riemann）猜想、哥德巴赫（Goldbach）猜想以及孪生素数问题。黎曼猜想至今未解决。哥德巴赫猜想和孪生素数问题目前也未最终解决，其最佳结果均属中国数学家陈景润。 　　（9）一般互反律在任意数域中的证明。 　　1921年由日本的高木贞治，1927年由德国的阿廷（E.Artin）各自给以基本解决。而类域理论至今还在发展之中。 　　（10）能否通过有限步骤来判定不定方程是否存在有理整数解？ 　　求出一个整数系数方程的整数根，称为丢番图（约210-290，古希腊数学家）方程可解。1950年前后，美国数学家戴维斯（Davis）、普特南（Putnan）、罗宾逊（Robinson）等取得关键性突破。1970年，巴克尔（Baker）、费罗斯（Philos）对含两个未知数的方程取得肯定结论。1970年。苏联数学家马蒂塞维奇最终证明：在一般情况答案是否定的。尽管得出了否定的结果，却产生了一系列很有价值的副产品，其中不少和计算机科学有密切联系。 　　（11）一般代数数域内的二次型论。 　　德国数学家哈塞（Hasse）和西格尔（Siegel）在20年代获重要结果。60年代，法国数学家魏依（A.Weil）取得了新进展。 　　（12）类域的构成问题。 　　即将阿贝尔域上的克罗内克定理推广到任意的代数有理域上去。此问题仅有一些零星结果，离彻底解决还很远。 　　（13）一般七次代数方程以二变量连续函数之组合求解的不可能性。 　　七次方程x7+ax3+bx2+cx+1=0的根依赖于3个参数a、b、c；x=x(a,b,c)。这一函数能否用两变量函数表示出来？此问题已接近解决。1957年，苏联数学家阿诺尔德（Arnold）证明了任一在〔0，1〕上连续的实函数f(x1，x2，x3)可写成形式∑hi(ξi(x1,x2),x3)(i=1--9)，这里hi和ξi为连续实函数。柯尔莫哥洛夫证明f(x1，x2，x3)可写成形式∑hi(ξi1(x1)+ξi2(x2)+ξi3(x3))(i=1--7)这里hi和ξi为连续实函数，ξij的选取可与f完全无关。1964年，维土斯金（Vituskin）推广到连续可微情形，对解析函数情形则未解决。 　　（14）某些完备函数系的有限的证明。 　　即域K上的以x1,x2,…,xn为自变量的多项式fi（i=1,…，m），R为K〔X1，…，Xm]上的有理函数F（X1，…，Xm）构成的环，并且F（f1，…，fm）∈K[x1，…，xm]试问R是否可由有限个元素F1，…，FN的多项式生成？这个与代数不变量问题有关的问题，日本数学家永田雅宜于1959年用漂亮的反例给出了否定的解决。 　　（15）建立代数几何学的基础。 　　荷兰数学家范德瓦尔登1938年至1940年，魏依1950年已解决。 　　注一舒伯特（Schubert）计数演算的严格基础。 　　一个典型的问题是：在三维空间中有四条直线，问有几条直线能和这四条直线都相交？舒伯特给出了一个直观的解法。希尔伯特要求将问题一般化，并给以严格基础。现在已有了一些可计算的方法，它和代数几何学有密切的关系。但严格的基础至今仍未建立。 　　（16）代数曲线和曲面的拓扑研究。 　　此问题前半部涉及代数曲线含有闭的分枝曲线的最大数目。后半部要求讨论备dx/dy=Y/X的极限环的最多个数N（n）和相对位置，其中X、Y是x、y的n次多项式。对n=2（即二次系统）的情况，1934年福罗献尔得到N(2)≥1；1952年鲍廷得到N(2)≥3；1955年苏联的波德洛夫斯基宣布N(2)≤3，这个曾震动一时的结果，由于其中的若干引理被否定而成疑问。关于相对位置，中国数学家董金柱、叶彦谦1957年证明了（E2）不超过两串。1957年，中国数学家秦元勋和蒲富金具体给出了n＝2的方程具有至少3个成串极限环的实例。1978年，中国的史松龄在秦元勋、华罗庚的指导下，与王明淑分别举出至少有4个极限环的具体例子。1983年，秦元勋进一步证明了二次系统最多有4个极限环，并且是（1，3）结构，从而最终地解决了二次微分方程的解的结构问题，并为研究希尔伯特第（16）问题提供了新的途径。 　　（17）半正定形式的平方和表示。 　　实系数有理函数f(x1,…，xn)对任意数组（x1，…,xn）都恒大于或等于0，确定f是否都能写成有理函数的平方和？1927年阿廷已肯定地解决。 　　（18）用全等多面体构造空间。 　　德国数学家比贝尔巴赫（Bieberbach）1910年，莱因哈特（Reinhart）1928年作出部分解决。 　　（19）正则变分问题的解是否总是解析函数？ 　　德国数学家伯恩斯坦（Bernrtein，1929）和苏联数学家彼德罗夫斯基（1939）已解决。 　　（20）研究一般边值问题。 　　此问题进展迅速，己成为一个很大的数学分支。日前还在继读发展。 　　（21）具有给定奇点和单值群的Fuchs类的线性微分方程解的存在性证明。 　　此问题属线性常微分方程的大范围理论。希尔伯特本人于1905年、勒尔（H.Rohrl）于1957年分别得出重要结果。1970年法国数学家德利涅（Deligne）作出了出色贡献。 　　（22）用自守函数将解析函数单值化。 　　此问题涉及艰深的黎曼曲面理论，1907年克伯（P.Koebe）对一个变量情形已解决而使问题的研究获重要突破。其它方面尚未解决。 　　（23）发展变分学方法的研究。 资料来源：http://zhidao.baidu.com/link?url=rXmglwqbxFzgrRu0lOo8gBu6FijGHcbca16wb-tdQ8NBZC_XURthwNqtV7bpJ0ge-BFXxdKlzHyQEBWFzCSXPa

（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年分别独立地证明了其正确性.但超越数理论还远未完成.目前,确定所给的数是否超越数,尚无统一的方法. （8）素数分布问题,尤其对黎曼猜想、哥德巴赫猜想和孪生素共问题. 素数是一个很古老的研究领域.希尔伯特在此提到黎曼（Riemann）猜想、哥德巴赫（Goldbach）猜想以及孪生素数问题.黎曼猜想至今未解决.哥德巴赫猜想和孪生素数问题目前也未最终解决,其最佳结果均属中国数学家陈景润. （9）一般互反律在任意数域中的证明. 1921年由日本的高木贞治,1927年由德国的阿廷（E.Artin）各自给以基本解决.而类域理论至今还在发展之中. （10）能否通过有限步骤来判定不定方程是否存在有理整数解? 求出一个整数系数方程的整数根,称为丢番图（约210-290,古希腊数学家）方程可解.1950年前后,美国数学家戴维斯（Davis）、普特南（Putnan）、罗宾逊（Robinson）等取得关键性突破.1970年,巴克尔（Baker）、费罗斯（Philos）对含两个未知数的方程取得肯定结论.1970年.苏联数学家马蒂塞维奇最终证明：在一般情况答案是否定的.尽管得出了否定的结果,却产生了一系列很有价值的副产品,其中不少和计算机科学有密切联系. （11）一般代数数域内的二次型论. 德国数学家哈塞（Hasse）和西格尔（Siegel）在20年代获重要结果.60年代,法国数学家魏依（A.Weil）取得了新进展. （12）类域的构成问题. 即将阿贝尔域上的克罗内克定理推广到任意的代数有理域上去.此问题仅有一些零星结果,离彻底解决还很远. （13）一般七次代数方程以二变量连续函数之组合求解的不可能性. 七次方程x7+ax3+bx2+cx+1=0的根依赖于3个参数a、b、c；x=x(a,b,c).这一函数能否用两变量函数表示出来?此问题已接近解决.1957年,苏联数学家阿诺尔德（Arnold）证明了任一在〔0,1〕上连续的实函数f(x1,x2,x3)可写成形式∑hi(ξi(x1,x2),x3)(i=1--9),这里hi和ξi为连续实函数.柯尔莫哥洛夫证明f(x1,x2,x3)可写成形式∑hi(ξi1(x1)+ξi2(x2)+ξi3(x3))(i=1--7)这里hi和ξi为连续实函数,ξij的选取可与f完全无关.1964年,维土斯金（Vituskin）推广到连续可微情形,对解析函数情形则未解决. （14）某些完备函数系的有限的证明. 即域K上的以x1,x2,…,xn为自变量的多项式fi（i=1,…,m）,R为K〔X1,…,Xm]上的有理函数F（X1,…,Xm）构成的环,并且F（f1,…,fm）∈K[x1,…,xm]试问R是否可由有限个元素F1,…,FN的多项式生成?这个与代数不变量问题有关的问题,日本数学家永田雅宜于1959年用漂亮的反例给出了否定的解决. （15）舒伯特（Schubert）计数演算的严格基础. 一个典型的问题是：在三维空间中有四条直线,问有几条直线能和这四条直线都相交?舒伯特给出了一个直观的解法.希尔伯特要求将问题一般化,并给以严格基础.现在已有了一些可计算的方法,它和代数几何学有密切的关系.但严格的基础至今仍未建立. （16）代数曲线和曲面的拓扑研究. 此问题前半部涉及代数曲线含有闭的分枝曲线的最大数目.后半部要求讨论备dx/dy=Y/X的极限环的最多个数N（n）和相对位置,其中X、Y是x、y的n次多项式.对n=2（即二次系统）的情况,1934年福罗献尔得到N(2)≥1；1952年鲍廷得到N(2)≥3；1955年苏联的波德洛夫斯基宣布N(2)≤3,这个曾震动一时的结果,由于其中的若干引理被否定而成疑问.关于相对位置,中国数学家董金柱、叶彦谦1957年证明了（E2）不超过两串.1957年,中国数学家秦元勋和蒲富金具体给出了n＝2的方程具有至少3个成串极限环的实例.1978年,中国的史松龄在秦元勋、华罗庚的指导下,与王明淑分别举出至少有4个极限环的具体例子.1983年,秦元勋进一步证明了二次系统最多有4个极限环,并且是（1,3）结构,从而最终地解决了二次微分方程的解的结构问题,并为研究希尔伯特第（16）问题提供了新的途径. （17）半正定形式的平方和表示. 实系数有理函数f(x1,…,xn)对任意数组（x1,…,xn）都恒大于或等于0,确定f是否都能写成有理函数的平方和?1927年阿廷已肯定地解决. （18）用全等多面体构造空间. 德国数学家比贝尔巴赫（Bieberbach）1910年,莱因哈特（Reinhart）1928年作出部分解决. （19）正则变分问题的解是否总是解析函数? 德国数学家伯恩斯坦（Bernrtein,1929）和苏联数学家彼德罗夫斯基（1939）已解决. （20）研究一般边值问题. 此问题进展迅速,己成为一个很大的数学分支.日前还在继读发展. （21）具有给定奇点和单值群的Fuchs类的线性微分方程解的存在性证明. 此问题属线性常微分方程的大范围理论.希尔伯特本人于1905年、勒尔（H.Rohrl）于1957年分别得出重要结果.1970年法国数学家德利涅（Deligne）作出了出色贡献. （22）用自守函数将解析函数单值化. 此问题涉及艰深的黎曼曲面理论,1907年克伯（P.Koebe）对一个变量情形已解决而使问题的研究获重要突破.其它方面尚未解决. （23）发展变分学方法的研究. 这不是一个明确的数学问题.20世纪变分法有了很大发展. 麻烦采纳,谢谢!

希尔伯特23个数学问题及其解决情况 世界经理人·科技 TECH.ICXO.COM ( 日期：2005-05-19 15:57) --------------------------------------------------------------------------------（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年分别独立地证明了其正确性。但超越数理论还远未完成。目前，确定所给的数是否超越数，尚无统一的方法。（8）素数分布问题，尤其对黎曼猜想、哥德巴赫猜想和孪生素共问题。素数是一个很古老的研究领域。希尔伯特在此提到黎曼（Riemann）猜想、哥德巴赫（Goldbach）猜想以及孪生素数问题。黎曼猜想至今未解决。哥德巴赫猜想和孪生素数问题目前也未最终解决，其最佳结果均属中国数学家陈景润。（9）一般互反律在任意数域中的证明。1921年由日本的高木贞治，1927年由德国的阿廷（E.Artin）各自给以基本解决。而类域理论至今还在发展之中。（10）能否通过有限步骤来判定不定方程是否存在有理整数解？求出一个整数系数方程的整数根，称为丢番图（约210-290，古希腊数学家）方程可解。1950年前后，美国数学家戴维斯（Davis）、普特南（Putnan）、罗宾逊（Robinson）等取得关键性突破。1970年，巴克尔（Baker）、费罗斯（Philos）对含两个未知数的方程取得肯定结论。1970年。苏联数学家马蒂塞维奇最终证明：在一般情况答案是否定的。尽管得出了否定的结果，却产生了一系列很有价值的副产品，其中不少和计算机科学有密切联系。（11）一般代数数域内的二次型论。德国数学家哈塞（Hasse）和西格尔（Siegel）在20年代获重要结果。60年代，法国数学家魏依（A.Weil）取得了新进展。（12）类域的构成问题。即将阿贝尔域上的克罗内克定理推广到任意的代数有理域上去。此问题仅有一些零星结果，离彻底解决还很远。（13）一般七次代数方程以二变量连续函数之组合求解的不可能性。七次方程x7+ax3+bx2+cx+1=0的根依赖于3个参数a、b、c；x=x(a,b,c)。这一函数能否用两变量函数表示出来？此问题已接近解决。1957年，苏联数学家阿诺尔德（Arnold）证明了任一在〔0，1〕上连续的实函数f(x1，x2，x3)可写成形式∑hi(ξi(x1,x2),x3)(i=1--9)，这里hi和ξi为连续实函数。柯尔莫哥洛夫证明f(x1，x2，x3)可写成形式∑hi(ξi1(x1)+ξi2(x2)+ξi3(x3))(i=1--7)这里hi和ξi为连续实函数，ξij的选取可与f完全无关。1964年，维土斯金（Vituskin）推广到连续可微情形，对解析函数情形则未解决。（14）某些完备函数系的有限的证明。即域K上的以x1,x2,…,xn为自变量的多项式fi（i=1,…，m），R为K〔X1，…，Xm]上的有理函数F（X1，…，Xm）构成的环，并且F（f1，…，fm）∈K[x1，…，xm]试问R是否可由有限个元素F1，…，FN的多项式生成？这个与代数不变量问题有关的问题，日本数学家永田雅宜于1959年用漂亮的反例给出了否定的解决。（15）建立代数几何学的基础。荷兰数学家范德瓦尔登1938年至1940年，魏依1950年已解决。（15）注一舒伯特（Schubert）计数演算的严格基础。一个典型的问题是：在三维空间中有四条直线，问有几条直线能和这四条直线都相交？舒伯特给出了一个直观的解法。希尔伯特要求将问题一般化，并给以严格基础。现在已有了一些可计算的方法，它和代数几何学有密切的关系。但严格的基础至今仍未建立。（16）代数曲线和曲面的拓扑研究。此问题前半部涉及代数曲线含有闭的分枝曲线的最大数目。后半部要求讨论备dx/dy=Y/X的极限环的最多个数N（n）和相对位置，其中X、Y是x、y的n次多项式。对n=2（即二次系统）的情况，1934年福罗献尔得到N(2)≥1；1952年鲍廷得到N(2)≥3；1955年苏联的波德洛夫斯基宣布N(2)≤3，这个曾震动一时的结果，由于其中的若干引理被否定而成疑问。关于相对位置，中国数学家董金柱、叶彦谦1957年证明了（E2）不超过两串。1957年，中国数学家秦元勋和蒲富金具体给出了n＝2的方程具有至少3个成串极限环的实例。1978年，中国的史松龄在秦元勋、华罗庚的指导下，与王明淑分别举出至少有4个极限环的具体例子。1983年，秦元勋进一步证明了二次系统最多有4个极限环，并且是（1，3）结构，从而最终地解决了二次微分方程的解的结构问题，并为研究希尔伯特第（16）问题提供了新的途径。（17）半正定形式的平方和表示。实系数有理函数f(x1,…，xn)对任意数组（x1，…,xn）都恒大于或等于0，确定f是否都能写成有理函数的平方和？1927年阿廷已肯定地解决。（18）用全等多面体构造空间。德国数学家比贝尔巴赫（Bieberbach）1910年，莱因哈特（Reinhart）1928年作出部分解决。（19）正则变分问题的解是否总是解析函数？德国数学家伯恩斯坦（Bernrtein，1929）和苏联数学家彼德罗夫斯基（1939）已解决。（20）研究一般边值问题。此问题进展迅速，己成为一个很大的数学分支。日前还在继读发展。（21）具有给定奇点和单值群的Fuchs类的线性微分方程解的存在性证明。此问题属线性常微分方程的大范围理论。希尔伯特本人于1905年、勒尔（H.Rohrl）于1957年分别得出重要结果。1970年法国数学家德利涅（Deligne）作出了出色贡献。（22）用自守函数将解析函数单值化。此问题涉及艰深的黎曼曲面理论，1907年克伯（P.Koebe）对一个变量情形已解决而使问题的研究获重要突破。其它方面尚未解决。（23）发展变分学方法的研究。这不是一个明确的数学问题。20世纪变分法有了很大发展。可见，希尔伯特提出的问题是相当艰深的。正因为艰深，才吸引有志之士去作巨大的努力。

希尔伯特，D.(Hilbert,David，1862～1943)德国数学家,生于东普鲁士哥尼斯堡(前苏联加里宁格勒)附近的韦劳。中学时代,希尔伯特就是一名勤奋好学的学生,对于科学特别是数学表现出浓厚的兴趣,善于灵活和深刻地掌握以至应用老师讲课的内容。1880年,他不顾父亲让他学法律的意愿,进入哥尼斯堡大学攻读数学。1884年获得博士学位,后来又在这所大学里取得讲师资格和升任副教授。1893年被任命为正教授,1895年,转入格廷根大学任教授,此后一直在格廷根生活和工作,于是930年退休。在此期间,他成为柏林科学院通讯院士,并曾获得施泰讷奖、罗巴切夫斯基奖和波约伊奖。1930年获得瑞典科学院的米塔格-莱福勒奖,1942年成为柏林科学院荣誉院士。希尔伯特是一位正直的科学家,第一次世界大战前夕,他拒绝在德国政府为进行欺骗宣传而发表的《告文明世界书》上签字。战争期间，他敢干公开发表文章悼念"敌人的数学家"达布。希特勒上台后，他抵制并上书反对纳粹政府排斥和迫害犹太科学家的政策。由于纳粹政府的反动政策日益加剧,许多科学家被迫移居外国,曾经盛极一时的格廷根学派衰落了,希尔伯特也于1943年在孤独中逝世。 希尔伯特是对二十世纪数学有深刻影响的数学家之一。他领导了著名的格廷根学派,使格廷根大学成为当时世界数学研究的重要中心,并培养了一批对现代数学发展做出重大贡献的杰出数学家。希尔伯特的数学工作可以划分为几个不同的时期,每个时期他几乎都集中精力研究一类问题。按时间顺序,他的主要研究内容有:不变式理论、代数数域理论、几何基础、积分方程、物理学、一般数学基础，其间穿插的研究课题有：狄利克雷原理和变分法、华林问题、特征值问题、"希尔伯特空间"等。在这些领域中，他都做出了重大的或开创性的贡献。希尔伯特认为，科学在每个时代都有它自己的问题，而这些问题的解决对于科学发展具有深远意义。他指出："只要一门科学分支能提出大量的问题，它就充满着生命力，而问题缺乏则预示着独立发展的衰亡和终止。"在1900年巴黎国际数学家代表大会上，希尔伯特发表了题为《数学问题》的著名讲演。他根据过去特别是十九世纪数学研究的成果和发展趋势，提出了23个最重要的数学问题。这23个问题通称希尔伯特问题，后来成为许多数学家力图攻克的难关，对现代数学的研究和发展产生了深刻的影响，并起了积极的推动作用，希尔伯特问题中有些现已得到圆满解决，有些至今仍未解决。他在讲演中所阐发的想信每个数学问题都可以解决的信念，对于数学工作者是一种巨大的鼓舞。他说："在我们中间，常常听到这样的呼声：这里有一个数学问题，去找出它的答案！你能通过纯思维找到它，因为在数学中没有不可知。"三十年后，1930年，在接受哥尼斯堡荣誉市民称号的讲演中，针对一些人信奉的不可知论观点，他再次满怀信心地宣称："我们必须知道，我们必将知道。"希尔伯特的《几何基础》（1899）是公理化思想的代表作，书中把欧几里得几何学加以整理，成为建立在一组简单公理基础上的纯粹演绎系统，并开始探讨公理之间的相互关系与研究整个演绎系统的逻辑结构。1904年，又着手研究数学基础问题，经过多年酝酿，于二十年代初，提出了如何论证数论、集合论或数学分析一致性的方案。他建议从若干形式公理出发将数学形式化为符号语言系统，并从不假定实无穷的有穷观点出发，建立相应的逻辑系统。然后再研究这个形式语言系统的逻辑性质，从而创立了元数学和证明论。希尔伯特的目的是试图对某一形式语言系统的无矛盾性给出绝对的证明，以便克服悖论所引起的危机，一劳永逸地消除对数学基础以及数学推理方法可靠性的怀疑。然而，1930年，年青的奥地利数理逻辑学家哥德尔(K.G?del，1906～1978)获得了否定的结果，证明了希尔伯特方案是不可能实现的。但正如哥德尔所说，希尔伯特有关数学基础的方案"仍不失其重要性，并继续引起人们的高度兴趣"。希尔伯特的著作有《希尔伯特全集》（三卷，其中包括他的著名的《数论报告》）、《几何基础》、《线性积分方程一般理论基础》等，与其他合著有《数学物理方法》、《理论逻辑基础》、《直观几何学》、《数学基础》。 希尔伯特问题研究进展 问 题 推动发展的领域 解 决 情 况 1.连续统假设 公理化集合论 1963年,Paul J.Cohen[美国]在下述意义下证明了第一问题是不可解的,即:连续统假设的真伪不可能在Zermelo-Fraenkel公理系统内判明。 2.算术公理的相容性 数学基础 Hilbert证明算术公理相容性的设想,后来发展为系统"Hilbert计划",但1931年Godel的"不完备定理"提出用"元数学"证明算术公理相容性之不可能。数学相容性问题至今尚未解决。 3.两等高等底的四面体体积之相等 几何基础 这问题很快(1900年)即由Hilbert的学生M.Dehn给出肯定解答。 4.直线作为两点间最短距离问题 几何基础 这问题提得过于一般。Hilbert之后,许多数学家致力于构造和探讨各种特殊的度量几何,在研究第四问题上取得很大进展,但问题并未完全解决。 5.不要定义群的函数的可微性假设的李群概念 拓扑群论 经过漫长的努力,这个问题于1952年由Glenson、Montgomery、Zippin等人[美国]最后解决,答案是肯定的。 6.物理公式的数学处理 数学物理 在量子力学、热力学等部门,公理化方法已获很大成功,但一般地说,公理化的物理意味着什么,仍是需探讨的问题。至于概率论的公理化,已由A.H.K o лМ o r o p oB[前苏联,1933]等人建立。 7.某些数的无理性与超越性 超越数论 1934年,A.O.г e M ж o H д[前苏联]和Schneider[德国]各自独立解决了这问题的后半部分,即对于任意代数数α≠0,1和任意代数无理数β≠0证明了α攩β搅的超越性,1966年这一结果又被A.Baker等人大大推广和发展了。

！阶乘如3！=3X2X1=61）康托的连续统基数问题。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年分别独立地证明了其正确性。但超越数理论还远未完成。目前，确定所给的数是否超越数，尚无统一的方法。（8）素数分布问题，尤其对黎曼猜想、哥德巴赫猜想和孪生素共问题。素数是一个很古老的研究领域。希尔伯特在此提到黎曼（Riemann）猜想、哥德巴赫（Goldbach）猜想以及孪生素数问题。黎曼猜想至今未解决。哥德巴赫猜想和孪生素数问题目前也未最终解决，其最佳结果均属中国数学家陈景润。（9）一般互反律在任意数域中的证明。1921年由日本的高木贞治，1927年由德国的阿廷（E.Artin）各自给以基本解决。而类域理论至今还在发展之中。（10）能否通过有限步骤来判定不定方程是否存在有理整数解？求出一个整数系数方程的整数根，称为丢番图（约210-290，古希腊数学家）方程可解。1950年前后，美国数学家戴维斯（Davis）、普特南（Putnan）、罗宾逊（Robinson）等取得关键性突破。1970年，巴克尔（Baker）、费罗斯（Philos）对含两个未知数的方程取得肯定结论。1970年。苏联数学家马蒂塞维奇最终证明：在一般情况答案是否定的。尽管得出了否定的结果，却产生了一系列很有价值的副产品，其中不少和计算机科学有密切联系。（11）一般代数数域内的二次型论。德国数学家哈塞（Hasse）和西格尔（Siegel）在20年代获重要结果。60年代，法国数学家魏依（A.Weil）取得了新进展。（12）类域的构成问题。即将阿贝尔域上的克罗内克定理推广到任意的代数有理域上去。此问题仅有一些零星结果，离彻底解决还很远。（13）一般七次代数方程以二变量连续函数之组合求解的不可能性。七次方程x7+ax3+bx2+cx+1=0的根依赖于3个参数a、b、c；x=x(a,b,c)。这一函数能否用两变量函数表示出来？此问题已接近解决。1957年，苏联数学家阿诺尔德（Arnold）证明了任一在〔0，1〕上连续的实函数f(x1，x2，x3)可写成形式∑hi(ξi(x1,x2),x3)(i=1--9)，这里hi和ξi为连续实函数。柯尔莫哥洛夫证明f(x1，x2，x3)可写成形式∑hi(ξi1(x1)+ξi2(x2)+ξi3(x3))(i=1--7)这里hi和ξi为连续实函数，ξij的选取可与f完全无关。1964年，维土斯金（Vituskin）推广到连续可微情形，对解析函数情形则未解决。（14）某些完备函数系的有限的证明。即域K上的以x1,x2,…,xn为自变量的多项式fi（i=1,…，m），R为K〔X1，…，Xm]上的有理函数F（X1，…，Xm）构成的环，并且F（f1，…，fm）∈K[x1，…，xm]试问R是否可由有限个元素F1，…，FN的多项式生成？这个与代数不变量问题有关的问题，日本数学家永田雅宜于1959年用漂亮的反例给出了否定的解决。（15）舒伯特（Schubert）计数演算的严格基础。一个典型的问题是：在三维空间中有四条直线，问有几条直线能和这四条直线都相交？舒伯特给出了一个直观的解法。希尔伯特要求将问题一般化，并给以严格基础。现在已有了一些可计算的方法，它和代数几何学有密切的关系。但严格的基础至今仍未建立。（16）代数曲线和曲面的拓扑研究。此问题前半部涉及代数曲线含有闭的分枝曲线的最大数目。后半部要求讨论备dx/dy=Y/X的极限环的最多个数N（n）和相对位置，其中X、Y是x、y的n次多项式。对n=2（即二次系统）的情况，1934年福罗献尔得到N(2)≥1；1952年鲍廷得到N(2)≥3；1955年苏联的波德洛夫斯基宣布N(2)≤3，这个曾震动一时的结果，由于其中的若干引理被否定而成疑问。关于相对位置，中国数学家董金柱、叶彦谦1957年证明了（E2）不超过两串。1957年，中国数学家秦元勋和蒲富金具体给出了n＝2的方程具有至少3个成串极限环的实例。1978年，中国的史松龄在秦元勋、华罗庚的指导下，与王明淑分别举出至少有4个极限环的具体例子。1983年，秦元勋进一步证明了二次系统最多有4个极限环，并且是（1，3）结构，从而最终地解决了二次微分方程的解的结构问题，并为研究希尔伯特第（16）问题提供了新的途径。（17）半正定形式的平方和表示。实系数有理函数f(x1,…，xn)对任意数组（x1，…,xn）都恒大于或等于0，确定f是否都能写成有理函数的平方和？1927年阿廷已肯定地解决。（18）用全等多面体构造空间。德国数学家比贝尔巴赫（Bieberbach）1910年，莱因哈特（Reinhart）1928年作出部分解决。（19）正则变分问题的解是否总是解析函数？德国数学家伯恩斯坦（Bernrtein，1929）和苏联数学家彼德罗夫斯基（1939）已解决。（20）研究一般边值问题。此问题进展迅速，己成为一个很大的数学分支。日前还在继读发展。（21）具有给定奇点和单值群的Fuchs类的线性微分方程解的存在性证明。此问题属线性常微分方程的大范围理论。希尔伯特本人于1905年、勒尔（H.Rohrl）于1957年分别得出重要结果。1970年法国数学家德利涅（Deligne）作出了出色贡献。（22）用自守函数将解析函数单值化。此问题涉及艰深的黎曼曲面理论，1907年克伯（P.Koebe）对一个变量情形已解决而使问题的研究获重要突破。其它方面尚未解决。（23）发展变分学方法的研究。这不是一个明确的数学问题。20世纪变分法有了很大发展。你的采纳就是我的动力

7个文具盒+3个书包=221元（1）4个文具盒+6个书包=312元（2）（1）x2得：14个文具盒+6个书包=442元（3）（3）-（2）得;10个文具盒=130元1个文具盒=13元

为什么要纠缠我呢，我是园艺的啊。

强．我什么都不懂看来真得好好学习了．全部迷茫

Hilbert提出的23个问题 大卫·希尔伯特 （David Hilbert，1862年1月23日－1943年2月14日），德国数学家，是19世纪和20世纪初最具影响力的数学家之一。 他在数学上的领导地位充分体现于： 1900年,在巴黎的国际数学家大会提出的一系列问题（希尔伯特的23个问题）为20世纪的许多数学研究指出方向。 希尔伯特23个问题及其解决情况： 1． 连续统假设 2． 算术公理的相容性 3． 两个等底等高四面体的体积相等问题 4． 两点间以直线为距离最短线问题 5.一个连续变换群的李氏概念，定义这个群的函数不假定是可微的 这个问题简称连续群的解 6.物理学的公理化 7.某些数的无理性与超越性 8.素数问题 包括黎曼猜想、哥德巴赫猜想及孪生素数问题等。 9．在任意数域中证明最一般的互反律 10． 丢番图方程的可解性 11． 系数为任意代数数的二次型 12． 将阿贝尔域上的克罗克定理推广到任意的代数有理域上去 13． 不可能用只有两个变数的函数解一般的七次方程 14． 证明某类完备函数系的有限性 15． 舒伯特计数演算的严格基础 16． 代数曲线和代数曲线面的拓扑问题 17． 半正定形式的平方和表示 18． 用全等多面体构造空间 19． 正则变分问题的解是否一定解析 20． 一般边值问题 。 21． 具有给定单值群的线性微分方程解的存在性证明 22． 由自守函数构成的解析函数的单值化 23． 变分法的进一步发展出

（1）康托的连续统基数问题。（2）算术公理系统的无矛盾性。（3）发展变分学方法的研究。（4）某些完备函数系的有限的证明。（5）建立代数几何学的基础。

数学问题就是在数学领域出现的运用相关数学知识去解决的问题.比如歌德巴赫猜想,还有以下例子：在1900年巴黎国际数学家代表大会上,希尔伯特发表了题为《数学问题》的著名讲演.他根据过去特别是十九世纪数学研究的成果和发展趋势,提出了23个最重要的数学问题.这23个问题通称希尔伯特问题,后来成为许多数学家力图攻克的难关,对现代数学的研究和发展产生了深刻的影响,并起了积极的推动作用,希尔伯特问题中有些现已得到圆满解决,有些至今仍未解决.他在讲演中所阐发的想信每个数学问题都可以解决的信念,对于数学工作者是一种巨大的鼓舞.

能够逻辑化理出来的都是数学问题