请问三大数学危机是那三大危机？
数学... 数学数学的发展史中，并不是那么一帆风顺的，其中历史上曾发生过三大危机，危机的发生促使了数学本生的发展，因此我们应该辨证地看待这三大危机。 之一次危机发生在公元前580～568年之间的古希腊，数学家毕达哥拉斯建立了毕达哥拉斯学派。这个学派集宗教、科学和哲学于一体，该学派人数固定，知识保密，所有发明创造都归于学派领袖。当时人们对有理数的认识还很有限，对于无理数的概念更是一无所知，毕达哥拉斯学派所说的数，原来是指整数，他们不把分数看成一种数，而仅看作两个整数之比，他们错误地认为，宇宙间的一切现象都归结为整数或整数之比。该学派的成员希伯索斯根据勾股定理（西方称为毕达哥拉斯定理）通过逻辑推理发现，边长为1的正方形的对角线长度既不是整数，也不是整数的比所能表示。希伯索斯的发现被认为是“荒谬”和违反常识的事。它不仅严重地违背了毕达哥拉斯学派的信条，也冲击了当时希腊人的传统见解。使当时希腊数学家们深感不安，相传希伯索斯因这一发现被投入海中淹死，这就是之一次数学危机。 最后，这场危机通过在几何学中引进不可通约量概念而得到解决。两个几何线段，如果存在一个第三线段能同时量尽它们，就称这两个线段是可通约的，否则称为不可通约的。正方形的一边与对角线，就不存在能同时量尽它们的第三线段，因此它们是不可通约的。很显然，只要承认不可通约量的存在使几何量不再受整数的限制，所谓的数学危机也就不复存在了。 我认为之一次危机的产生最大的意义导致了无理数地产生，比如说我们现在说的 ， 都无法用 来表示，那么我们必须引入新的数来刻画这个问题，这样无理数便产生了，正是有这种思想，当我们将负数开方时，人们引入了虚数i（虚数的产生导致复变函数等学科的产生，并在现代工程技术上得到广泛应用），这使我不得不佩服人类的智慧。但我个人认为之一次危机的真正解决在1872年德国数学家对无理数的严格定义，因为数学是很强调其严格的逻辑与推证性的。 第二次数学危机发生在十七世纪。十七世纪微积分诞生后，由于推敲微积分的理论基础问题，数学界出现混乱局面，即第二次数学危机。其实我翻了一下有关数学史的资料，微积分的雏形早在古希腊时期就形成了，阿基米德的逼近法实际上已经掌握了无限小分析的基本要素，直到2100年后，牛顿和莱布尼兹开辟了新的天地——微积分。微积分的主要创始人牛顿在一些典型的推导过程中，之一步用了无穷小量作分母进行除法，当然无穷小量不能为零；第二步牛顿又把无穷小量看作零，去掉那些包含它的项，从而得到所要的公式，在力学和几何学的应用证明了这些公式是正确的，但它的数学推导过程却在逻辑上自相矛盾．焦点是：无穷小量是零还是非零？如果是零，怎么能用它做除数？如果不是零，又怎么能把包含着无穷小量的那些项去掉呢？ 直到19世纪，柯西详细而有系统地发展了极限理论。柯西认为把无穷小量作为确定的量，即使是零，都说不过去，它会与极限的定义发生矛盾。无穷小量应该是要怎样小就怎样小的量，因此本质上它是变量，而且是以零为极限的量，至此柯西澄清了前人的无穷小的概念，另外Weistrass创立了 极限理论，加上实数理论， *** 论的建立，从而把无穷小量从形而上学的束缚中解放出来，第二次数学危机基本解决。 而我自己的理解是一个无穷小量，是不是零要看它是运动的还是静止的，如果是静止的，我们当然认为它可以看为零；如果是运动的，比如说1/n，我们说 ，但n个1/n相乘就为1，这就不是无穷小量了，当我们遇到 等情况时，我们可以用洛比达法则反复求导来考查极限，也可以用Taylor展式展开后，一阶一阶的比，我们总会在有限阶比出大小。 第三次数学危机发生在1902年，罗素悖论的产生震撼了整个数学界，号称天衣无缝，绝对正确的数学出现了自相矛盾。 我从很早以前就读过“理发师悖论”，就是一位理发师给不给自己理发的人理发。那么理发师该不该给自己理发呢？还有大家熟悉的“说谎者悖论”，其大体内容是：一个克里特人说：“所有克里特人说的每一句话都是谎话。”试问这句话是真还是假?从数学上来说，这就是罗素悖论的一个具体例子。 罗素在该悖论中所定义的 *** R，被几乎所有 *** 论研究者都认为是在朴素 *** 论中可以合法存在的 *** 。事实虽是这样但原因却又是什么呢？这是由于R是 *** ，若R含有自身作为元素，就有R R，那么从 *** 的角度就有R R。一个 *** 真包含它自己，这样的 *** 显然是不存在的。因为既要R有异于R的元素，又要R与R是相同的，这显然是不可能的。因此，任何 *** 都必须遵循R R的基本原则， 否则就是不合法的 *** 。这样看来，罗素悖论中所定义的一切R R的 *** ，就应该是一切合法 *** 的 *** ，也就是所有 *** 的 *** ，这就是同类事物包含所有的同类事物，必会引出更大的这类事物。归根结底，R也就是包含一切 *** 的“更大的 *** ”了。因此可以明确了，实质上，罗素悖论就是一个以否定形式陈述的更大 *** 悖论。 从此，数学家们就开始为这场危机寻找解决的办法，其中之一是把 *** 论建立在一组公理之上，以回避悖论。首先进行这个工作的是德国数学家策梅罗，他提出七条公理，建立了一种不会产生悖论的 *** 论，又经过德国的另一位数学家弗芝克尔的改进，形成了一个无矛盾的 *** 论公理系统（即所谓ZF公理系统），这场数学危机到此缓和下来。 现在，我们通过离散数学的学习，知道 *** 论主要分为Cantor *** 论和Axiomatic *** 论， *** 是先定义了全集I，空集 ，在经过一系列一元和二元运算而得来得。而在七条公理上建立起来的 *** 论系统避开了罗素悖论，使现代数学得以发展。
采纳哦
数学三大危机的介绍
数学三大危机简述：之一，希帕索斯（Hippasu，米太旁登地方人，公元前5世纪）发现了一个腰为1的等腰直角三角形的斜边（即根号2）永远无法用最简整数比（不可公度比）来表示，从而发现了之一个无理数，推翻了毕达哥拉斯的著名理论。相传当时毕达哥拉斯派的人正在海上，但就因为这一发现而把希帕索斯抛入大海；第二，微积分的合理性遭到严重质疑，险些要把整个微积分理论推翻；第三，罗素悖论：S由一切不是自身元素的 *** 所组成，那S包含S吗？用通俗一点的话来说，小明有一天说：“我正在撒谎！”问小明到底撒谎还是说实话。罗素悖论的可怕在于，它不像更大序数悖论或更大基数悖论那样涉及 *** 高深知识，它很简单，却可以轻松摧毁 *** 理论！
下面分享相关内容的知识扩展：
悬赏!!!世界三大数学难题之四色难题——周立敬先生悬赏20万寻找反例
世界三大数学猜想即费马猜想、四色猜想和哥德巴赫猜想。这三个问题的共同点就是题目简单易懂，内涵深邃无比，影响了一代代的数学家。其中，四色难题的逻辑论证一直没有被证明。而就在近日，浙江丽水缙云籍数学家周立敬先生，用逻辑 *** 证明了地图四色定理，拿出20万元人民币奖励，寻找能够与他发表的四色定理逻辑 *** 证明提出反例的人或找出论文的暇疵足以推翻证明无效的人和利用自己或机构的权威认定证明有效的人。悬赏时间为12个月，联系 *** 13906881508，邮箱zhoulijing0101@163.com
就在去年11月，周立敬先生的论文《数学物理 *** 证明世界数学难题——地图四色难题》在《内蒙古科技》(2019年第12期/38卷/总第450期)发表。论文发表后，好评如潮，贺声不断，但也得到了很多的猜疑和各种不理解。特别是所谓在位，高高在上的人，认为是场闹剧，是缙云人的笑话，是一件丑闻，是民科，好心的人认为是被人忽悠了，要启动危机公关，防止丑闻扩大。但我认为，真的是我被人忽悠了吗?忽悠也是我忽悠别人，我胡绉了篇论文，有杂志上发表了，忽悠了全中国的人，全世界的人，能忽悠全世界的人何其伟大。我是民科怎么了，我是民科我骄傲，我是民科我不花国家一分钱，民科也是科学家。很多有成就的数学家本身就是所谓的民科，华罗庚伟大吗。他原来是个店员，法国的费马伟大吗?他是个律师。在国外专职的叫院内，业余的叫院外，到了中国，院内的高高在上，院外的叫民科，是科学的反义词，实际上绝大部分的发明创造都是所谓的民科完成的。民科真伟大。但没有在一流的国际刊物上发表总是一种缺憾，我希望回归论文的本身进行计论和论证。希望各大数学爱好者、专家、教授共同来探讨此项逻辑 *** 证明和讨论。
周立敬，1962年出生，丽水缙云人，理学学士、高级工程师，1979年以物理满分考入杭州大学物理系，现为浙江博星电子有限公司董事长，研究方向：大功率半导体芯片及器件设计、制造。他更大爱好就是数论研究，四色研究，整整花了他40年的心血，成了他一辈子最执着的追求。
据周立敬介绍，虽然学得是物理，但是数学是他感兴趣的科目，大学期间了解了世界三大数学猜想之后，对其中的地图四色难题产生了浓厚的兴趣，但那个时候花了很多时间用了各种 *** 没有成果。在往后40年，他始终没有放弃，继续执着于四色猜想的逻辑论证，并不断地探索，巧妙地把物理 *** 融入论证当中，终于迎来了研究论证的重大突破。
周立敬的独创：把四色问题变成特殊的平面结构加一维的三维的物理 *** 来解决任何二维的任意平面结构问题，很巧妙的证明了四色问题。先根据地图来源创造了变化规则，再用规则的变化推出对结果影响的结论。用结论来指导操作具体填色的先后，一目了然，简单清晰，用数学物理 *** 把复杂的事情简单明了，特别是他回头检查各种假设自由度的充分性推导地图的任意性，证明了用四种颜色填色就能使任何复杂的地图任何相邻区域不同色(不能有飞地)。不但用理论证明，还把任何题例作出具体的填色顺序及 *** ，证明应该是非常充分及具体。
四色问题又称四色猜想，四色定理，是世界三大数学猜想之一，更先是由一位古德里(francis guthrie)的英国大学生1852年提出来的，四色问题的内容是“任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。”也就是说在不引起混淆的情况下一张地图只需四种颜色来标记就行。用数学语言表示即“将平面任意地细分为不相重叠的区域，每一个区域总可以用1234这四个数字之一来标记而不会使相邻的两个区域得到相同的数字。”这里所指的相邻区域是指有一整段边界是公共的。如果两个区域只相遇于一点就不叫相邻的。因为用相同的颜色着色不会引起混淆。
四色问题提出来后，经过许多数学家多次证明又否定，发现是出人意料地，异常地困难，许多数学家虽然对此绞尽脑汁，但始终一无所获。最近的证明，是1976年由美国数学家阿佩尔与哈肯借助计算机完成，遂称四色定理。但这仅只是一个用计算机 *** 的证明。而周立敬先生完成了它的逻辑 *** 证明。
浙江博星电子有限公司
2020年8月19日
关于周立敬先生论文的一点想法和看法
数理 *** 证明世界数学难题-地图四色难题
四色定理证明的导读示意
就在去年11月，周立敬先生的论文《数学物理 *** 证明世界数学难题——地图四色难题》在《内蒙古科技》(2019年第12期/38卷/总第450期)发表。论文发表后，好评如潮，贺声不断，但也得到了很多的猜疑和各种不理解。特别是所谓在位，高高在上的人，认为是场闹剧，是缙云人的笑话，是一件丑闻，是民科，好心的人认为是被人忽悠了，要启动危机公关，防止丑闻扩大。但我认为，真的是我被人忽悠了吗?忽悠也是我忽悠别人，我胡绉了篇论文，有杂志上发表了，忽悠了全中国的人，全世界的人，能忽悠全世界的人何其伟大。我是民科怎么了，我是民科我骄傲，我是民科我不花国家一分钱，民科也是科学家。很多有成就的数学家本身就是所谓的民科，华罗庚伟大吗。他原来是个店员，法国的费马伟大吗?他是个律师。在国外专职的叫院内，业余的叫院外，到了中国，院内的高高在上，院外的叫民科，是科学的反义词，实际上绝大部分的发明创造都是所谓的民科完成的。民科真伟大。但没有在一流的国际刊物上发表总是一种缺憾，我希望回归论文的本身进行计论和论证。希望各大数学爱好者、专家、教授共同来探讨此项逻辑 *** 证明和讨论。
周立敬，1962年出生，丽水缙云人，理学学士、高级工程师，1979年以物理满分考入杭州大学物理系，现为浙江博星电子有限公司董事长，研究方向：大功率半导体芯片及器件设计、制造。他更大爱好就是数论研究，四色研究，整整花了他40年的心血，成了他一辈子最执着的追求。
据周立敬介绍，虽然学得是物理，但是数学是他感兴趣的科目，大学期间了解了世界三大数学猜想之后，对其中的地图四色难题产生了浓厚的兴趣，但那个时候花了很多时间用了各种 *** 没有成果。在往后40年，他始终没有放弃，继续执着于四色猜想的逻辑论证，并不断地探索，巧妙地把物理 *** 融入论证当中，终于迎来了研究论证的重大突破。
周立敬的独创：把四色问题变成特殊的平面结构加一维的三维的物理 *** 来解决任何二维的任意平面结构问题，很巧妙的证明了四色问题。先根据地图来源创造了变化规则，再用规则的变化推出对结果影响的结论。用结论来指导操作具体填色的先后，一目了然，简单清晰，用数学物理 *** 把复杂的事情简单明了，特别是他回头检查各种假设自由度的充分性推导地图的任意性，证明了用四种颜色填色就能使任何复杂的地图任何相邻区域不同色(不能有飞地)。不但用理论证明，还把任何题例作出具体的填色顺序及 *** ，证明应该是非常充分及具体。
四色问题又称四色猜想，四色定理，是世界三大数学猜想之一，更先是由一位古德里(francis guthrie)的英国大学生1852年提出来的，四色问题的内容是“任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。”也就是说在不引起混淆的情况下一张地图只需四种颜色来标记就行。用数学语言表示即“将平面任意地细分为不相重叠的区域，每一个区域总可以用1234这四个数字之一来标记而不会使相邻的两个区域得到相同的数字。”这里所指的相邻区域是指有一整段边界是公共的。如果两个区域只相遇于一点就不叫相邻的。因为用相同的颜色着色不会引起混淆。
四色问题提出来后，经过许多数学家多次证明又否定，发现是出人意料地，异常地困难，许多数学家虽然对此绞尽脑汁，但始终一无所获。最近的证明，是1976年由美国数学家阿佩尔与哈肯借助计算机完成，遂称四色定理。但这仅只是一个用计算机 *** 的证明。而周立敬先生完成了它的逻辑 *** 证明。
浙江博星电子有限公司
2020年8月19日
关于周立敬先生论文的一点想法和看法
数理 *** 证明世界数学难题-地图四色难题
四色定理证明的导读示意
读书笔记 | 数学通识01 - 数学三大危机
开始学习吴军教授的数学通识课程。里面讲到了数学的之一次危机，比较震撼我。通过看评论也了解到还有几次危机，一时起意就整理一份相关资料，给同样感兴趣的朋友们。
吴军老师讲数学通识就是从 毕达哥拉斯定理 开始讲的，他认为这是数学的起点。
毕达哥拉斯是公元前五世纪古希腊的著名数学家与哲学家。他曾创立了一个合政治、学术、宗教三位一体的神秘主义派别： 毕达哥拉斯学派 。毕达哥拉斯创造的逻辑论证 *** 奠定了现代科学的 *** 论。
毕达哥拉斯坚信世界的本源是数字，而数字必须是完美的。整数很完美，而且分数的分子分母也都是整数，不会是零碎的，因此也很完美。
据说毕达哥拉斯的学生 希帕索斯 提出了一个问题：边长为1的正方形其对角线长度是多少呢？他发现这一长度既不能用整数，也不能用分数表示，而只能用一个新数来表示。这一类的数字其实很多，今天它们被统称为无理数。
这一说法严重挑战了毕达哥拉斯的完美数学理论，让他无法自圆其说，这就是数学的之一次危机。
毕达哥拉斯为了维系自己的理论或宗教，把这位学生扔到大海里杀死了，这也成为毕达哥拉斯这位泰斗级人物的一大污点。
牛顿和莱布尼茨都是微积分的发明者，两人的发现思路截然不同；但是两人对微积分基本概念的定义，都存在模糊的地方。
英国大主教贝克莱提出了有名的「贝克莱悖论」：
△x在作为分母时不为零，但是在最后的公式中又等于零，这种矛盾的结果是灾难性的。直到微积分发明100多年后，法国数学家柯西用极限定义了无穷小量，才彻底解决了这个问题。
十九世纪下半叶，康托创立了著名的 *** 论。数学家们发现，从自然数与康托 *** 论出发可建立起整个数学大厦。因而 *** 论成为现代数学的基石。
但是，还有罗素悖论。
1902 年，32 岁的英国数学家罗素给病中的康托写了一封信，据说罗素在信里举了一个例子：
村子里有一个理发师，脾气很怪，他工作起来有一条规矩，就是只给那些不给自己刮胡子的人刮胡子。
罗素写信请教康托：这个理发师如果遵循这条原则，那他要不要给自己刮胡子呢？罗素这封信里描述的矛盾后来被称为罗素悖论，也叫做理发师悖论。正是这个悖论挑战了康托的 *** 论理论，从而带来了数学的第三次危机。
直到1908年，之一个公理化 *** 论体系的建立，才弥补了 *** 论的缺陷。
数学理论必须要证明，保证没有例外。
叙述近代三大数学难题的内容?有那几个已经得到证明?大约在什么年代证明的?未证明的定理现在解决到什么程度
费尔马大定理
四色猜想
哥德巴赫猜想
1.费尔马大定理，起源于三百多年前，挑战人类3个世纪，多次震惊全世界，耗尽人类众多最杰出大脑的精力，也让千千万万业余者痴迷。终于在1994年被安德鲁·怀尔斯攻克。古希腊的丢番图写过一本著名的“算术”，经历中世纪的愚昧黑暗到文艺复兴的时候，“算术”的残本重新被发现研究。
1637年，法国业余大数学家费尔马（Pierre de Fremat）在“算术”的关于勾股数问题的页边上，写下猜想：a+b=c是不可能的（这里n大于2；a，b，c，n都是非零整数)。此猜想后来就称为费尔马大定理。费尔马还写道“我对此有绝妙的证明，但此页边太窄写不下”。一般公认，他当时不可能有正确的证明。猜想提出后，经欧拉等数代天才努力，200年间只解决了n＝3,4,5,7四种情形。1847年，库木尔创立“代数数论”这一现代重要学科，对许多n（例如100以内）证明了费尔马大定理，是一次大飞跃。
历史上费尔马大定理 *** 迭起，传奇不断。其惊人的魅力，曾在最后时刻挽救自杀青年于不死。他就是德国的沃尔夫斯克勒，他后来为费尔马大定理设悬赏10万马克（相当于现在160万美元多），期限1908－2007年。无数人耗尽心力，空留浩叹。最现代的电脑加数学技巧，验证了400万以内的N，但这对最终证明无济于事。1983年德国的法尔廷斯证明了：对任一固定的n，最多只有有限多个a，b，c振动了世界，获得费尔兹奖（数学界更高奖）。
历史的新转机发生在1986年夏，贝克莱·瑞波特证明了:费尔马大定理包含在“谷山丰—志村五朗猜想 ” 之中。童年就痴迷于此的怀尔斯，闻此立刻潜心于顶楼书房7年，曲折卓绝，汇集了20世纪数论所有的突破性成果。终于在1993年6月23日剑桥大学牛顿研究所的“世纪演讲”最后，宣布证明了费尔马大定理。立刻震动世界，普天同庆。不幸的是，数月后逐渐发现此证明有漏洞，一时更成世界焦点。这个证明体系是千万个深奥数学推理连接成千个最现代的定理、事实和计算所组成的千百回转的逻辑 *** ，任何一环节的问题都会导致前功尽弃。怀尔斯绝境搏斗，毫无出路。1994年9月19日，星期一的早晨，怀尔斯在思维的闪电中突然找到了迷失的钥匙：解答原来就在废墟中！他热泪夺眶而出。怀尔斯的历史性长文“模椭圆曲线和费尔马大定理”1995年5月发表在美国《数学年刊》第142卷，实际占满了全卷，共五章，130页。1997年6月27日，怀尔斯获得沃尔夫斯克勒10万马克悬赏大奖。离截止期10年，圆了历史的梦。他还获得沃尔夫奖(1996.3），美国国家科学家院奖（1996.6），费尔兹特别奖（1998.8）。
2.四色问题的内容是：“任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。”用数学语言表示，即“将平面任意地细分为不相重迭的区域，每一个区域总可以用1，2，3，4这四个数字之一来标记，而不会使相邻的两个区域得到相同的数字。”（右图）
这里所指的相邻区域，是指有一整段边界是公共的。如果两个区域只相遇于一点或有限多点，就不叫相邻的。因为用相同的颜色给它们着色不会引起混淆。
四色猜想的提出来自英国。1852年，毕业于伦敦大学的弗南西斯·格思里来到一家科研单位搞地图着色工作时，发现了一种有趣的现象：“看来，每幅地图都可以用四种颜色着色，使得有共同边界的国家都被着上不同的颜色。”这个现象能不能从数学上加以严格证明呢？他和在大学读书的弟弟格里斯决心试一试。兄弟二人为证明这一问题而使用的稿纸已经堆了一大叠，可是研究工作没有进展。
1852年10月23日，他的弟弟就这个问题的证明请教了他的老师、著名数学家德·摩尔根，摩尔根也没有能找到解决这个问题的途径，于是写信向自己的好友、著名数学家汉密尔顿爵士请教。汉密尔顿接到摩尔根的信后，对四色问题进行论证。但直到1865年汉密尔顿逝世为止，问题也没有能够解决。
1872年，英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题，于是四色猜想成了世界数学界关注的问题。世界上许多一流的数学家都纷纷参加了四色猜想的大会战。1878～1880年两年间，著名的律师兼数学家肯普和泰勒两人分别提交了证明四色猜想的论文，宣布证明了四色定理，大家都认为四色猜想从此也就解决了。
肯普的证明是这样的：首先指出如果没有一个国家包围其他国家，或没有三个以上的国家相遇于一点，这种地图就说是“正规的”（左图）。如为正规地图，否则为非正规地图（右图）。一张地图往往是由正规地图和非正规地图联系在一起，但非正规地图所需颜色种数一般不超过正规地图所需的颜色，如果有一张需要五种颜色的地图，那就是指它的正规地图是五色的，要证明四色猜想成立，只要证明不存在一张正规五色地图就足够了。
肯普是用归谬法来证明的，大意是如果有一张正规的五色地图，就会存在一张国数最少的“极小正规五色地图”，如果极小正规五色地图中有一个国家的邻国数少于六个，就会存在一张国数较少的正规地图仍为五色的，这样一来就不会有极小五色地图的国数，也就不存在正规五色地图了。这样肯普就认为他已经证明了“四色问题”，但是后来人们发现他错了。
不过肯普的证明阐明了两个重要的概念，对以后问题的解决提供了途径。之一个概念是“构形”。他证明了在每一张正规地图中至少有一国具有两个、三个、四个或五个邻国，不存在每个国家都有六个或更多个邻国的正规地图，也就是说，由两个邻国，三个邻国、四个或五个邻国组成的一组“构形”是不可避免的，每张地图至少含有这四种构形中的一个。
肯普提出的另一个概念是“可约”性。“可约”这个词的使用是来自肯普的论证。他证明了只要五色地图中有一国具有四个邻国，就会有国数减少的五色地图。自从引入“构形”，“可约”概念后，逐步发展了检查构形以决定是否可约的一些标准 *** ，能够寻求可约构形的不可避免组，是证明“四色问题”的重要依据。但要证明大的构形可约，需要检查大量的细节，这是相当复杂的。
11年后，即1890年，在牛津大学就读的年仅29岁的赫伍德以自己的精确计算指出了肯普在证明上的漏洞。他指出肯普说没有极小五色地图能有一国具有五个邻国的理由有破绽。不久，泰勒的证明也被人们否定了。人们发现他们实际上证明了一个较弱的命题——五色定理。就是说对地图着色，用五种颜色就够了。后来，越来越多的数学家虽然对此绞尽脑汁，但一无所获。于是，人们开始认识到，这个貌似容易的题目，其实是一个可与费马猜想相媲美的难题。
进入20世纪以来，科学家们对四色猜想的证明基本上是按照肯普的想法在进行。1913年，美国著名数学家、哈佛大学的伯克霍夫利用肯普的想法，结合自己新的设想；证明了某些大的构形可约。后来美国数学家富兰克林于1939年证明了22国以下的地图都可以用四色着色。1950年，有人从22国推进到35国。1960年，有人又证明了39国以下的地图可以只用四种颜色着色；随后又推进到了50国。看来这种推进仍然十分缓慢。
高速数字计算机的发明，促使更多数学家对“四色问题”的研究。从1936年就开始研究四色猜想的海克，公开宣称四色猜想可用寻找可约图形的不可避免组来证明。他的学生丢雷写了一个计算程序，海克不仅能用这程序产生的数据来证明构形可约，而且描绘可约构形的 *** 是从改造地图成为数学上称为“对偶”形着手。
他把每个国家的首都标出来，然后把相邻国家的首都用一条越过边界的铁路连接起来，除首都(称为顶点)及铁路(称为弧或边)外，擦掉其他所有的线，剩下的称为原图的对偶图。到了六十年代后期，海克引进一个类似于在电 *** 中移动电荷的 *** 来求构形的不可避免组。在海克的研究中之一次以颇不成熟的形式出现的“放电法”，这对以后关于不可避免组的研究是个关键，也是证明四色定理的中心要素。
电子计算机问世以后，由于演算速度迅速提高，加之人机对话的出现，大大加快了对四色猜想证明的进程。美国伊利诺大学哈肯在1970年着手改进“放电过程”，后与阿佩尔合作编制一个很好的程序。就在1976年6月，他们在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿判断，终于完成了四色定理的证明，轰动了世界。
这是一百多年来吸引许多数学家与数学爱好者的大事，当两位数学家将他们的研究成果发表的时候，当地的邮局在当天发出的所有邮件上都加盖了“四色足够”的特制邮戳，以庆祝这一难题获得解决。
“四色问题”的被证明仅解决了一个历时100多年的难题，而且成为数学史上一系列新思维的起点。在“四色问题”的研究过程中，不少新的数学理论随之产生，也发展了很多数学计算技巧。如将地图的着色问题化为图论问题，丰富了图论的内容。不仅如此，“四色问题”在有效地设计航空班机日程表，设计计算机的编码程序上都起到了推动作用。
不过不少数学家并不满足于计算机取得的成就，他们认为应该有一种简捷明快的书面证明 *** 。直到现在，仍由不少数学家和数学爱好者在寻找更简洁的证明 *** 。
3.史上和质数有关的数学猜想中，最著名的当然就是“哥德巴赫猜想”了。
1742年6月7日，德国数学家哥德巴赫在写给著名数学家欧拉的一封信中，提出了两个大胆的猜想：
一、任何不小于6的偶数，都是两个奇质数之和；
二、任何不小于9的奇数，都是三个奇质数之和。
这就是数学史上著名的“哥德巴赫猜想”。显然，第二个猜想是之一个猜想的推论。因此，只需在两个猜想中证明一个就足够了。
同年6月30日，欧拉在给哥德巴赫的回信中， 明确表示他深信哥德巴赫的这两个猜想都是正确的定理，但是欧拉当时还无法给出证明。由于欧拉是当时欧洲最伟大的数学家，他对哥德巴赫猜想的信心，影响到了整个欧洲乃至世界数学界。从那以后，许多数学家都跃跃欲试，甚至一生都致力于证明哥德巴赫猜想。可是直到19世纪末，哥德巴赫猜想的证明也没有任何进展。证明哥德巴赫猜想的难度，远远超出了人们的想象。有的数学家把哥德巴赫猜想比喻为“数学王冠上的明珠”。
我们从6＝3＋3、8＝3＋5、10＝5＋5、……、100＝3＋97＝11＋89＝17＋83、……这些具体的例子中，可以看出哥德巴赫猜想都是成立的。有人甚至逐一验证了3300万以内的所有偶数，竟然没有一个不符合哥德巴赫猜想的。20世纪，随着计算机技术的发展，数学家们发现哥德巴赫猜想对于更大的数依然成立。可是自然数是无限的，谁知道会不会在某一个足够大的偶数上，突然出现哥德巴赫猜想的反例呢？于是人们逐步改变了探究问题的方式。
1900年，20世纪最伟大的数学家希尔伯特，在国际数学会议上把“哥德巴赫猜想”列为23个数学难题之一。此后，20世纪的数学家们在世界范围内“联手”进攻“哥德巴赫猜想”堡垒，终于取得了辉煌的成果。
20世纪的数学家们研究哥德巴赫猜想所采用的主要 *** ，是筛法、圆法、密率法和三角和法等等高深的数学 *** 。解决这个猜想的思路，就像“缩小包围圈”一样，逐步逼近最后的结果。
1920年，挪威数学家布朗证明了定理“9＋9”，由此划定了进攻“哥德巴赫猜想”的“大包围圈”。这个“9＋9”是怎么回事呢？所谓“9＋9”，翻译成数学语言就是：“任何一个足够大的偶数，都可以表示成其它两个数之和，而这两个数中的每个数，都是9个奇质数之和。” 从这个“9＋9”开始，全世界的数学家集中力量“缩小包围圈”，当然最后的目标就是“1＋1”了。
1924年，德国数学家雷德马赫证明了定理“7＋7”。很快，“6＋6”、“5＋5”、“4＋4”和“3＋3”逐一被攻陷。1957年，我国数学家王元证明了“2＋3”。1962年，中国数学家潘承洞证明了“1＋5”，同年又和王元合作证明了“1＋4”。1965年，苏联数学家证明了“1＋3”。
1966年，我国著名数学家陈景润攻克了“1＋2”，也就是：“任何一个足够大的偶数，都可以表示成两个数之和，而这两个数中的一个就是奇质数，另一个则是两个奇质数的和。”这个定理被世界数学界称为“陈氏定理”。
由于陈景润的贡献，人类距离哥德巴赫猜想的最后结果“1＋1”仅有一步之遥了。但为了实现这最后的一步，也许还要历经一个漫长的探索过程。有许多数学家认为，要想证明“1＋1”，必须通过创造新的数学 *** ，以往的路很可能都是走不通的。
四色猜想
哥德巴赫猜想
1.费尔马大定理，起源于三百多年前，挑战人类3个世纪，多次震惊全世界，耗尽人类众多最杰出大脑的精力，也让千千万万业余者痴迷。终于在1994年被安德鲁·怀尔斯攻克。古希腊的丢番图写过一本著名的“算术”，经历中世纪的愚昧黑暗到文艺复兴的时候，“算术”的残本重新被发现研究。
1637年，法国业余大数学家费尔马（Pierre de Fremat）在“算术”的关于勾股数问题的页边上，写下猜想：a+b=c是不可能的（这里n大于2；a，b，c，n都是非零整数)。此猜想后来就称为费尔马大定理。费尔马还写道“我对此有绝妙的证明，但此页边太窄写不下”。一般公认，他当时不可能有正确的证明。猜想提出后，经欧拉等数代天才努力，200年间只解决了n＝3,4,5,7四种情形。1847年，库木尔创立“代数数论”这一现代重要学科，对许多n（例如100以内）证明了费尔马大定理，是一次大飞跃。
历史上费尔马大定理 *** 迭起，传奇不断。其惊人的魅力，曾在最后时刻挽救自杀青年于不死。他就是德国的沃尔夫斯克勒，他后来为费尔马大定理设悬赏10万马克（相当于现在160万美元多），期限1908－2007年。无数人耗尽心力，空留浩叹。最现代的电脑加数学技巧，验证了400万以内的N，但这对最终证明无济于事。1983年德国的法尔廷斯证明了：对任一固定的n，最多只有有限多个a，b，c振动了世界，获得费尔兹奖（数学界更高奖）。
历史的新转机发生在1986年夏，贝克莱·瑞波特证明了:费尔马大定理包含在“谷山丰—志村五朗猜想 ” 之中。童年就痴迷于此的怀尔斯，闻此立刻潜心于顶楼书房7年，曲折卓绝，汇集了20世纪数论所有的突破性成果。终于在1993年6月23日剑桥大学牛顿研究所的“世纪演讲”最后，宣布证明了费尔马大定理。立刻震动世界，普天同庆。不幸的是，数月后逐渐发现此证明有漏洞，一时更成世界焦点。这个证明体系是千万个深奥数学推理连接成千个最现代的定理、事实和计算所组成的千百回转的逻辑 *** ，任何一环节的问题都会导致前功尽弃。怀尔斯绝境搏斗，毫无出路。1994年9月19日，星期一的早晨，怀尔斯在思维的闪电中突然找到了迷失的钥匙：解答原来就在废墟中！他热泪夺眶而出。怀尔斯的历史性长文“模椭圆曲线和费尔马大定理”1995年5月发表在美国《数学年刊》第142卷，实际占满了全卷，共五章，130页。1997年6月27日，怀尔斯获得沃尔夫斯克勒10万马克悬赏大奖。离截止期10年，圆了历史的梦。他还获得沃尔夫奖(1996.3），美国国家科学家院奖（1996.6），费尔兹特别奖（1998.8）。
2.四色问题的内容是：“任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。”用数学语言表示，即“将平面任意地细分为不相重迭的区域，每一个区域总可以用1，2，3，4这四个数字之一来标记，而不会使相邻的两个区域得到相同的数字。”（右图）
这里所指的相邻区域，是指有一整段边界是公共的。如果两个区域只相遇于一点或有限多点，就不叫相邻的。因为用相同的颜色给它们着色不会引起混淆。
四色猜想的提出来自英国。1852年，毕业于伦敦大学的弗南西斯·格思里来到一家科研单位搞地图着色工作时，发现了一种有趣的现象：“看来，每幅地图都可以用四种颜色着色，使得有共同边界的国家都被着上不同的颜色。”这个现象能不能从数学上加以严格证明呢？他和在大学读书的弟弟格里斯决心试一试。兄弟二人为证明这一问题而使用的稿纸已经堆了一大叠，可是研究工作没有进展。
1852年10月23日，他的弟弟就这个问题的证明请教了他的老师、著名数学家德·摩尔根，摩尔根也没有能找到解决这个问题的途径，于是写信向自己的好友、著名数学家汉密尔顿爵士请教。汉密尔顿接到摩尔根的信后，对四色问题进行论证。但直到1865年汉密尔顿逝世为止，问题也没有能够解决。
1872年，英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题，于是四色猜想成了世界数学界关注的问题。世界上许多一流的数学家都纷纷参加了四色猜想的大会战。1878～1880年两年间，著名的律师兼数学家肯普和泰勒两人分别提交了证明四色猜想的论文，宣布证明了四色定理，大家都认为四色猜想从此也就解决了。
肯普的证明是这样的：首先指出如果没有一个国家包围其他国家，或没有三个以上的国家相遇于一点，这种地图就说是“正规的”（左图）。如为正规地图，否则为非正规地图（右图）。一张地图往往是由正规地图和非正规地图联系在一起，但非正规地图所需颜色种数一般不超过正规地图所需的颜色，如果有一张需要五种颜色的地图，那就是指它的正规地图是五色的，要证明四色猜想成立，只要证明不存在一张正规五色地图就足够了。
肯普是用归谬法来证明的，大意是如果有一张正规的五色地图，就会存在一张国数最少的“极小正规五色地图”，如果极小正规五色地图中有一个国家的邻国数少于六个，就会存在一张国数较少的正规地图仍为五色的，这样一来就不会有极小五色地图的国数，也就不存在正规五色地图了。这样肯普就认为他已经证明了“四色问题”，但是后来人们发现他错了。
不过肯普的证明阐明了两个重要的概念，对以后问题的解决提供了途径。之一个概念是“构形”。他证明了在每一张正规地图中至少有一国具有两个、三个、四个或五个邻国，不存在每个国家都有六个或更多个邻国的正规地图，也就是说，由两个邻国，三个邻国、四个或五个邻国组成的一组“构形”是不可避免的，每张地图至少含有这四种构形中的一个。
肯普提出的另一个概念是“可约”性。“可约”这个词的使用是来自肯普的论证。他证明了只要五色地图中有一国具有四个邻国，就会有国数减少的五色地图。自从引入“构形”，“可约”概念后，逐步发展了检查构形以决定是否可约的一些标准 *** ，能够寻求可约构形的不可避免组，是证明“四色问题”的重要依据。但要证明大的构形可约，需要检查大量的细节，这是相当复杂的。
11年后，即1890年，在牛津大学就读的年仅29岁的赫伍德以自己的精确计算指出了肯普在证明上的漏洞。他指出肯普说没有极小五色地图能有一国具有五个邻国的理由有破绽。不久，泰勒的证明也被人们否定了。人们发现他们实际上证明了一个较弱的命题——五色定理。就是说对地图着色，用五种颜色就够了。后来，越来越多的数学家虽然对此绞尽脑汁，但一无所获。于是，人们开始认识到，这个貌似容易的题目，其实是一个可与费马猜想相媲美的难题。
进入20世纪以来，科学家们对四色猜想的证明基本上是按照肯普的想法在进行。1913年，美国著名数学家、哈佛大学的伯克霍夫利用肯普的想法，结合自己新的设想；证明了某些大的构形可约。后来美国数学家富兰克林于1939年证明了22国以下的地图都可以用四色着色。1950年，有人从22国推进到35国。1960年，有人又证明了39国以下的地图可以只用四种颜色着色；随后又推进到了50国。看来这种推进仍然十分缓慢。
高速数字计算机的发明，促使更多数学家对“四色问题”的研究。从1936年就开始研究四色猜想的海克，公开宣称四色猜想可用寻找可约图形的不可避免组来证明。他的学生丢雷写了一个计算程序，海克不仅能用这程序产生的数据来证明构形可约，而且描绘可约构形的 *** 是从改造地图成为数学上称为“对偶”形着手。
他把每个国家的首都标出来，然后把相邻国家的首都用一条越过边界的铁路连接起来，除首都(称为顶点)及铁路(称为弧或边)外，擦掉其他所有的线，剩下的称为原图的对偶图。到了六十年代后期，海克引进一个类似于在电 *** 中移动电荷的 *** 来求构形的不可避免组。在海克的研究中之一次以颇不成熟的形式出现的“放电法”，这对以后关于不可避免组的研究是个关键，也是证明四色定理的中心要素。
电子计算机问世以后，由于演算速度迅速提高，加之人机对话的出现，大大加快了对四色猜想证明的进程。美国伊利诺大学哈肯在1970年着手改进“放电过程”，后与阿佩尔合作编制一个很好的程序。就在1976年6月，他们在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿判断，终于完成了四色定理的证明，轰动了世界。
这是一百多年来吸引许多数学家与数学爱好者的大事，当两位数学家将他们的研究成果发表的时候，当地的邮局在当天发出的所有邮件上都加盖了“四色足够”的特制邮戳，以庆祝这一难题获得解决。
“四色问题”的被证明仅解决了一个历时100多年的难题，而且成为数学史上一系列新思维的起点。在“四色问题”的研究过程中，不少新的数学理论随之产生，也发展了很多数学计算技巧。如将地图的着色问题化为图论问题，丰富了图论的内容。不仅如此，“四色问题”在有效地设计航空班机日程表，设计计算机的编码程序上都起到了推动作用。
不过不少数学家并不满足于计算机取得的成就，他们认为应该有一种简捷明快的书面证明 *** 。直到现在，仍由不少数学家和数学爱好者在寻找更简洁的证明 *** 。
3.史上和质数有关的数学猜想中，最著名的当然就是“哥德巴赫猜想”了。
1742年6月7日，德国数学家哥德巴赫在写给著名数学家欧拉的一封信中，提出了两个大胆的猜想：
一、任何不小于6的偶数，都是两个奇质数之和；
二、任何不小于9的奇数，都是三个奇质数之和。
这就是数学史上著名的“哥德巴赫猜想”。显然，第二个猜想是之一个猜想的推论。因此，只需在两个猜想中证明一个就足够了。
同年6月30日，欧拉在给哥德巴赫的回信中， 明确表示他深信哥德巴赫的这两个猜想都是正确的定理，但是欧拉当时还无法给出证明。由于欧拉是当时欧洲最伟大的数学家，他对哥德巴赫猜想的信心，影响到了整个欧洲乃至世界数学界。从那以后，许多数学家都跃跃欲试，甚至一生都致力于证明哥德巴赫猜想。可是直到19世纪末，哥德巴赫猜想的证明也没有任何进展。证明哥德巴赫猜想的难度，远远超出了人们的想象。有的数学家把哥德巴赫猜想比喻为“数学王冠上的明珠”。
我们从6＝3＋3、8＝3＋5、10＝5＋5、……、100＝3＋97＝11＋89＝17＋83、……这些具体的例子中，可以看出哥德巴赫猜想都是成立的。有人甚至逐一验证了3300万以内的所有偶数，竟然没有一个不符合哥德巴赫猜想的。20世纪，随着计算机技术的发展，数学家们发现哥德巴赫猜想对于更大的数依然成立。可是自然数是无限的，谁知道会不会在某一个足够大的偶数上，突然出现哥德巴赫猜想的反例呢？于是人们逐步改变了探究问题的方式。
1900年，20世纪最伟大的数学家希尔伯特，在国际数学会议上把“哥德巴赫猜想”列为23个数学难题之一。此后，20世纪的数学家们在世界范围内“联手”进攻“哥德巴赫猜想”堡垒，终于取得了辉煌的成果。
20世纪的数学家们研究哥德巴赫猜想所采用的主要 *** ，是筛法、圆法、密率法和三角和法等等高深的数学 *** 。解决这个猜想的思路，就像“缩小包围圈”一样，逐步逼近最后的结果。
1920年，挪威数学家布朗证明了定理“9＋9”，由此划定了进攻“哥德巴赫猜想”的“大包围圈”。这个“9＋9”是怎么回事呢？所谓“9＋9”，翻译成数学语言就是：“任何一个足够大的偶数，都可以表示成其它两个数之和，而这两个数中的每个数，都是9个奇质数之和。” 从这个“9＋9”开始，全世界的数学家集中力量“缩小包围圈”，当然最后的目标就是“1＋1”了。
1924年，德国数学家雷德马赫证明了定理“7＋7”。很快，“6＋6”、“5＋5”、“4＋4”和“3＋3”逐一被攻陷。1957年，我国数学家王元证明了“2＋3”。1962年，中国数学家潘承洞证明了“1＋5”，同年又和王元合作证明了“1＋4”。1965年，苏联数学家证明了“1＋3”。
1966年，我国著名数学家陈景润攻克了“1＋2”，也就是：“任何一个足够大的偶数，都可以表示成两个数之和，而这两个数中的一个就是奇质数，另一个则是两个奇质数的和。”这个定理被世界数学界称为“陈氏定理”。
由于陈景润的贡献，人类距离哥德巴赫猜想的最后结果“1＋1”仅有一步之遥了。但为了实现这最后的一步，也许还要历经一个漫长的探索过程。有许多数学家认为，要想证明“1＋1”，必须通过创造新的数学 *** ，以往的路很可能都是走不通的。
版权声明：除非特别标注，否则均为本站原创文章，转载时请以链接形式注明文章出处。
