西塔潘猜想并不重要吗
2018-12-19 21:56:18 梦悠网
数学在梦悠情感小编心中永远是最难以及最讨厌的一门学科,但是在喜欢数学的人们心中看来数学是一名神秘让人着迷的学科。今天 梦悠情感小编 我将来为大家介绍一个著名的数学猜想那就是西塔潘猜想。西塔潘猜想最出名的一点可能是刘路西塔潘猜想事件了,难道西塔潘猜想并不重要吗。快来看看梦悠情感小编我的解答吧!
一、什么是西塔潘猜想
西塔潘猜想是由英国数理逻辑学家西塔潘于19世纪90年代提出的一个关于反推数学领域关于拉姆齐二染色定理证明强度的猜想被称之为西塔潘猜想。在组合数学上拉姆齐定理是要解决以下的问题那就是要找这样一个最小的数n然后使得n个人中必定有k个人相识或l个人互不相识。2011年5月由北京大学、南京大学和浙江师范大学联合举办的逻辑学术会议在浙江师范大学举行中南大学数学科学与计算技术学院酷爱数理逻辑的刘嘉忆的报告给这一悬而未决的公开问题一个否定式的回答彻底解决了西塔潘的猜想,证明了R(3,3)=6也称为拉姆齐二染色定理。
二、刘路西塔潘猜想事件
刘路西塔潘猜想事件是发生在2010年8月。酷爱数理逻辑的刘路在自学反推数学的时候第一次接触到这个问题并在通过阅读大量文献时发现海内外不少学者都在进行反推数学中的拉姆齐二染色定理的证明论强度的研究。这是由英国数理逻辑学家西塔潘于上个世纪90年代提出的一个猜想而且10多年来许多著名研究者一直努力都没有解决。2010年10月的一天刘路突然想到利用之前用到的一个方法稍作修改便可以证明这一结论连夜将这一证明写出来投给了数理逻辑国际权威杂志。在第二年的5月由北京大学和南京大学以及浙江师范大学联合举办的逻辑学术会议在浙江师范大学举行还是大三学生的刘路应邀参加了这次会议报告了他对反推数学中的拉姆齐二染色定理的证明论强度的研究[ 。刘路的报告给这一悬而未决的公开问题一个否定式的回答彻底解决了西塔潘的猜想。
三、西塔潘猜想并不重要吗
关于西塔潘猜想并不重要吗这个问题是很多网友所关注的,不过在 梦悠情感小编 看来其实没有什么重不重要的,只要能为数学做出贡献的能推动数学研究发展的都是重要的。
想了解更多的小伙伴就上梦悠情感吧,国内领先的一站式女性情感成长学习平台。