什么是西塔潘猜想(西塔潘猜想)

这个定律以弗兰克·普伦普顿·拉姆齐取名，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，在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,s345678910369141823283640–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条边中任何一条是红色，这条边的两大端点和P连接的2边便组成一个红色三角形。若这3条边中任何一条不是红色，他们必定是蓝色，因此，他们组成了一个蓝色三角形。但在K5内，不一定有一个红色的三角形或蓝色三角形。每个端点和紧邻的两大端点的线是红色，和其他2个端点的连线是蓝色即可。这个定律的通俗版本便是友情定律。

上边的回答实际上是全篇照搬了WIKIPEDIA有关RAMSEY定律内容,而丝毫没有介绍SEETAPUN猜测。以下是SEETAPUN猜测内容:Weshowthat,foreverypartitionFofthepairsofnaturalnumbersandforeverysetC,ifCisnotrecursiveinFthenthereisaninfinitesetH,suchthatHishomogeneousforFandCisnotrecursiveinH。WeconcludethattheformalstatementofRamsey'sTheoremforPairsisnotstrongenoughtoprove$ACA_0$,thecomprehensionschemeforarithmeticalformulas,withinthebasetheory$RCA_0$,thecomprehensionschemeforrecursiveformulas。WealsoshowthatRamsey'sTheoremforPairsisstrongenoughtoprovesomesentencesinfirstorderarithmeticwhicharenotprovablewithin$RCA_0$。Inparticular,Ramsey'sTheoremforPairsisnotconservativeover$RCA_0$for$Pi^0_4$-sentences。

的确看不懂

西塔潘猜想,是一个中学生整明白的

困惑数学界20多年国际数学难题“西塔潘猜想”，被中南大学一个大三的学生刘路破解了！

- END -