1701005791
1701005792
困扰数学界20多年的“西塔潘猜想”，被中南大学一个大三的学生刘路破解了！中南大学校长黄伯云了解此事后，亲自批示刘路硕博连读。与此同时，为了让刘路能够提早读研，中南大学邀请了中国科学院三位院士，向教育部写信推荐请予破格录取，建议采取特殊措施，加强对刘路学术方面的培养。
1701005793
1701005794
可见数学是极其重要的，社会各界对数学上的成果，都是寄予高度的评价的。
1701005795
1701005796
西塔潘猜想是由英国数理逻辑学家西塔潘于20世纪90年代提出的一个反推数学领域关于拉姆齐二染色定理证明强度的猜想。在组合数学上，拉姆齐（Ramsey）定理要解决以下问题，要找这样一个最小的数n，使得几个人中必定有K个人相识或1个人互不相识。
1701005797
1701005798
拉姆齐数的定义，拉姆齐数用图论的语言有两种描述：对于所有的N项图，包含K个项的团或一个项的独立集。具有这样性质的最小自然数N就称为一个拉姆齐数，记作R（K，1）。在着色理论中是这样描述的：对于完全图Kn的任何一个2边着色（e1，e2），使得Kn（e1）中含有一个K阶子完全图，Kn（e2）含有一个1阶子完全图，则称满足这个条件的最小的N为一个拉姆齐数。
1701005799
1701005800
拉姆齐证明，对与给定的正整数K及1，R（K，1）的答案是唯一和有限的。
1701005801
1701005802
拉姆齐二染色定理（Ramsey Theorem for Pair）用非形式的语言可以叙述为任何一个对边进行2染色的含（可数）无穷个顶点的完全图都有一个单一染色的含有无穷个顶点的子完全图，而弱柯尼希定理（Week Kunig Lemma）则是说任何一个（可数）无穷二叉树都有一条无穷长的路径。这两条都是二阶算术中的陈述，说的是一个类中满足某种性质的子集存在，可以粗暴地认为它们在某种程度上都是表现或者替代二阶算术中的选择公理（Axiom of Choice）。
1701005803
1701005804
在反推数学中，研究的其实是二级算术的多个子系统以及它们的强度关系，而最重要的是被称为Big Five的五个子系统，其中WKLO是基本系统，RCAO添加弱柯尼希定理的系统，而RCAO添加拉姆齐二染色定理的系统被称为RT2 2。经过若干数学家的研究，他们发现了一些子系统间存在强弱的比较关系，RT2 2不比ACAO强等，他们隐约认为RT2 2和WKLO的强度是可以比较的。1995年英国数理逻辑学家西塔潘在一篇论文中发现WKLO并不强于RT2 2，于是他猜想可能RT2 2强于WKLO。
1701005805
1701005806
【问题】RT2 2与WKLO的关系如何？
1701005807
1701005808
【分析】
1701005809
1701005810
西塔潘猜想困扰了许多数学家10多年，直到中南大学刘路证明了RT2 2并不包含WKLO，从而给该猜想一个否定的回答。
1701005811
1701005812
1995年英国数理逻辑学家西塔潘在一篇论文中发现WKLO（母系统）并不强于 RT2 2（子系统），于是他猜想可能RT2 2（子系统）强于WKLO（母系统），这是很好理解和符合情理的，子女的生育能力肯定比父母强。所以在胎儿未出世的时候，RT2 2是包含在WKLO中，即胎儿在母亲的胎盘中，当胎儿出生以后，慢慢的WKLO又包含在RT2 2中，子女回报父母养孕之恩，养老送终。
1701005813
1701005814
【问题】但是西塔潘猜想的真实涵义是什么？刘路证明的RT2 2并不包含WKLO是否真的成立呢？
1701005815
1701005816
【分析】
1701005817
1701005818
下面是周秉根对于西塔潘猜想的解释。
1701005819
1701005820
关于西塔潘猜想的真实涵义可用人类繁衍的实例来说明。
1701005821
1701005822
假设有一对夫妻，丈夫是RCAO系统，妻子是WKLO系统（是最基本系统，而且具有生育能力至关重要），ACAO系统是这对夫妻系统的男性客体系统。而丈夫RCAO为添加弱柯尼希定理的系统（生育能力不确定），而RCAO为添加拉姆齐二染色定理的系统（具有生育能力）被称为RT2 2系统（RT2 2系统为RCAO和WKLO系统的子系统，即为他们的子女）。
1701005823
1701005824
RCAO和WKLO系统的子系统（他们的子女）在未出生时是包含在母体WKLO系统的胚胎中。
1701005825
1701005826
在孩子未出生时，RCAO和WKLO系统夫妻2人与客体ACAO系统构成一个三维码维持系统的稳定。如果丈夫RCAO有生育能力且与妻子WKLO交配，则孕妇肚子里的小孩是丈夫RCAO的孩子，如果丈夫RCAO没有生育能力，且客体ACAO与WKLO发生了性关系，则孕妇肚子里的小孩是客体ACAO的小孩，则客体变成了主体，主体RCAO变成了客体。所以孩子未出生，孩子是谁的具不确定性，而肚子里的小孩相对RCAO、WKLO和ACAO三维码，系统是一个独立存在的独立集，从而满足拉姆齐数的要求。
1701005827
1701005828
如果小孩是丈夫RCAO的小孩，则RCAO、WKLO和RT2 2为K个项的团，则ACAO为一个项的独立集。
1701005829
1701005830
如果小孩是ACAO的，则ACAO，WKLO和RT2 2为K个项的团，RCAO则为一个项的独立集。这一认识也符合理论中的描述，对于完全图Kn的任何2边着色（e1，e2），即男女双方交配，使得Kn（e1）中含有一个K阶子完全图，生育一个或多个子系统完全图（1个或多个子女），Kn（e2）含有一个1阶子完全图，即ACAO或RCAO（无生育能力）的1阶完全图。
1701005831
1701005832
周秉根（安徽师范大学国土资源与旅游学院教授）在《西塔潘猜想的真实涵义与现实意义》一文中写到，可以得出结论，刘路的证明RT2 2并不包含WKLO的推导是错误的或者至少是不完全的，因为西塔潘猜想不是一个友谊定理，而是一个繁殖定理。
1701005833
1701005834
西塔潘猜想是否真的被破解，还有求待证实。
1701005835
1701005836
我了解的可能比较片面，希望读者可以更加深入研究。
1701005837
1701005838
1701005839
1701005840
[
上一页 ]
[ :1.701005791e+09 ]
[
下一页 ]