西塔潘猜想的意思|西塔潘猜想是什么意思
基本解释
西塔潘猜想又称 拉姆齐二染色定理，是由英国数理逻辑学家西塔潘于20世纪90年代提出的一个猜想。在组合数学上，拉姆齐（Ramsey）定理是要解决以下的问题：要找这样一个最小的数n，使得n个人中必定有k个人相识或l个人互不相识。
这个定理以弗兰克 普伦普顿 拉姆齐命名，1930年他在论文OnaProbleminFormalLogic（《形式逻辑上的一个问题》）证明了R(3,3)=6。拉姆齐数的定义拉姆齐数，用图论的语言有两种描述：对于所有的N顶图，包含k个顶的团或l个顶的独立集。具有这样性质的最小自然数N就称为一个拉姆齐数，记作R(k,l)；在着色理论中是这样描述的：对于完全图Kn的任意一个2边着色(e1,e2)，使得Kn[e1]中含有一个k阶子完全图，Kn[e2]含有一个l阶子完全图，则称满足这个条件的最小的n为一个拉姆齐数。（注意：Ki按照图论的记法表示i阶完全图）拉姆齐证明，对与给定的正整数数k及l，R(k,l)的答案是唯一和有限的。拉姆齐数亦可推广到多于两个数：对于完全图Kn的每条边都任意涂上r种颜色之一，分别记为e1,e2,e3,...,er，在1 Kn中，必定有个颜色为e1的l1阶子完全图，或有个颜色为e2的l2阶子完全图 或有个颜色为er的lr阶子完全图。符合条件又最少的数n则记为R(l1,l2,l3,...,lr;r)。拉姆齐数的数值或上下界已知的拉姆齐数非常少，保罗 艾狄胥曾以一个故事来描述寻找拉姆齐数的难度： 想像有队外星人军队在地球降落，要求取得R(5,5)的值，否则便会毁灭地球。在这个情况，我们应该集中所有电脑和数学家尝试去找这个数值。若它们要求的是R(6,6)的值，我们要尝试毁灭这班外星人了。显然易见的公式：R(1,s)=1，R(2,s)=s，R(l1,l2,l3,...,lr;r)=R(l2,l1,l3,...,lr;r)=R(l3,l1,l2,...,lr;r)（将li的顺序改变并不改变拉姆齐的数值）。r,s***823283640 4349182535 4149 6156 8473 11592 1495142543 4958 8780 143101 216125 316143 44261835 4158 87102 165113 298127 495169 780179 117172349 6180 143113 298205 540216 1031233 1713289 282682856 84101 216127 495216 1031282 1870317 3583317 609093673 115125 316169 780233 1713317 3583565 6588580 126771040 4392 149143 442179 1171289 2826317 6090580 12677798 23556R(3,3,3)=17R(3,3)等于6的证明证明：在一个K6的完全图内，每边涂上红或蓝色，必然有一个红色的三角形或蓝色的三角形。任意选取一个端点P，它有5条边和其他端点相连。根据鸽巢原理，3条边的颜色至少有两条相同，不失一般性设这种颜色是红色。在这3条边除了P以外的3个端点，它们互相连结的边有3条。若这3条边中任何一条是红色，这条边的两
2 个端点和P相连的2边便组成一个红色三角形。若这3条边中任何一条都不是红色，它们必然是蓝色，因此，它们组成了一个蓝色三角形。而在K5内，不一定有一个红色的三角形或蓝色的三角形。每个端点和毗邻的两个端点的线是红色，和其余两个端点的连线是蓝色即可。这个定理的通俗版本就是友谊定理。
数理逻辑是研究推理的数学分支。它使用数学的方法，即一套符号体系来研究推理前提和结论之间的形式关系，故也称符号逻辑。
2010年8月，酷爱数理逻辑的刘嘉忆在自学反推数学的时候，第一次接触到这个问题，并在阅读大量文献时发现，海内外不少学者都在进行反推数学中的拉姆齐二染色定理的证明论强度的研究。这是由英国数理逻辑学家西塔潘于上个世纪90年代提出的一个猜想，多年来许多著名研究者一直努力都没有解决。
同年10月的一天，刘嘉忆突然想到利用之前用到的一个方法稍作修改便可以证明这一结论，他随即连夜将证明写出，投给了数理逻辑国际权威杂志《符号逻辑杂志》。
2011年5月，由北大、南京大学和浙江师大联合举办的逻辑学术会议在浙江师范大学举行，还是大三学生的刘嘉忆应邀参加了这次会议，报告了他对目前反推数学中的拉姆齐二染色定理的证明论强度的研究。刘嘉忆的报告给了这一悬而未决的公开问题一个否定式的回答，彻底解决了西塔潘的猜想。
2011年9月16日，美国芝加哥大学数理逻辑学术会议上，云集了来自欧美的许多数理逻辑专家、学者。大会邀请了12位专家、4 学者作学术报告，刘嘉忆作为亚洲高校唯一一位代表在会上作了40分钟报告。他在数理逻辑方面的研究成果，让与会专家、学者对这位来自中国的 80后 投上赞许的目光。刘嘉忆表示，他投给《美国数学会汇刊》的论文获得威士康星大学、伯克利大学等几位教授很高的评价，有望公开发表。
第2篇：科普一下西塔潘猜想
科普一下西塔潘猜想
科普一下西塔潘猜想
ugmbbc发布于 2011-10-14 17:48:25|
感谢theoremhunter的投递 新闻来源:原创
根据刘嘉忆的文章题名和其它相关资料做出推测“西塔潘猜想”的内容.最近中国学生证明“西塔潘猜想”的新闻很火，但很多报道都没说清楚“西塔潘猜想”是什么。我一直很好奇，维基百科上也搜不到，只能根据刘的文章题名和其它两篇相关资料做出推测：
刘嘉忆的论文名叫“RT_2^2 does not imply WKL”，为了理解他的工作，首先要知道“RT_2^2”和 “WKL”分别代表什么。“RT_2^2”代表一个定理：假设有一个无限图，它的顶点对应全体自然数，任何两个顶点有一条边，现在对这些边任意二染色，该定理断言，无论怎么染色，必然能找到无穷个顶点，它们之间的边都染同一种颜色。这是无限拉姆塞定理的特例。“WKL”代表另一个定理(Weak Konig Lemma)：每一棵无限的二叉树必定包含一条无限长的分支。解释一下：二叉树是指每个节点最多有两个儿子节点的树；无限二叉树是指该树有无限个节点；包含一条无限长的分支是指存在一条路径，从该树的根节点往子节点走，能无限地走下去。这个定理很好理解，不难想象如果二叉树的任意分支都有限长，那么树的节点必定是有限的。刘的工作顾名思义，就是证明定理“RT_2^2”推不出定理“WKL”。所谓的西塔潘猜想估计就是指猜测“RT_2^2能推出WKL”。材料来源见
http://www.nd.edu/~cholak/papers/italy.pdf STEPHEN FLOOD
http://nd.edu/~sflood/RKL-submitted.pdf Jiayi Liu, RT_2^2 does not imply WKL, Journal of Symbolic Logic
第3篇： 最新高考作文素材之《大学生破解世界数学难题――西塔潘猜想》
大学生破解世界数学难题――西塔潘猜想
－－摘自 《高考作文素材精粹与多向运用》2012版第11页
宋伟丽
—只为师生分享最优质的备考资源—
素材快线
专家提醒：高考最后60天，坚持每天获取新素材！
中南大学本科生刘路破解“西塔潘猜想”的消息，在学术界激起一片浪花。在网上有关“刘路”的搜索热度不断飙升。
西塔潘猜想是由英国数理逻辑学家西塔潘于20世纪90年代提出的一个反推数学的猜想。这一猜想困扰了数学界十多年。20l 1年5月，在浙江师范大学召开的逻辑学术会议上，刘路的报告彻底解决了这一问题。他初二时喜欢上数学，高中开始阅读全英文数学书籍，2008年考取中南大学数学科学与计算技术学院。刘路对很多东西感兴趣，但最感兴趣的还是数理逻辑。平日里．刘路看到感兴趣的学术问题便会提起笔记录。
中南大学就刘路证明“西塔潘猜想”一事召开了新闻发布会。会后，学校表示不再接受相关采访和报道，以免让刘路变得心浮气躁，导致一个大有希望的数学人才最终被捧杀。
（押中高考作文题目）
多向运用（把握高考作文命题趋势）
一个平凡的本科生一夜之间成了学术明星，这可以给予我们许多思考和启示。
这也是高考作文素材精粹之一。
一、从个人成才的角度，适用论题：①兴趣是最好的老师；②兴趣的单一与多元；③只有坚持才能有所成就；④注重积累；⑤平凡与卓越；⑥选择适合自己的路；⑦要有主见；⑧把握机遇。
二、从培养人才的角度，适用论题：①尊重个人的选择；②营造良好的环境；③要为人才保驾护航；④要引导不要强迫；⑤唯才是举与论资排辈；⑥培养人才要长久规划。
上一篇：全年营销活动方案（共13篇）
下一篇：党员公开承诺书共性承诺
