西塔潘猜想证明的原文（西塔潘猜想）

大家好，我是小夏，我来为大家解答以上问题。西塔潘猜想证明的原文，西塔潘猜想很多人还不知道，现在让我们一起来看看吧！

1、1930年，英国数学家弗兰克·普伦普顿·拉姆齐在一篇题为《形式逻辑上的一个问题》的论文中证明了R(3,3)=6。这条定理被命名为“拉姆齐二染色定理”。用文字来表述就是“要找这样一个最小的数n，使得n个人中必定有k个人相识或l个人互不相识，这个数n记为R(k,l)”。拉姆齐二染色定理的通俗版本被称为“友谊定理”，即在一群不少于6人的人中，或者有3人，他们互相都认识；或者有3人，他们互相都不认识。

2、　　拉姆齐二染色定理（Ramsey Theorem for Pair）用非形式的语言可以叙述为任何一个对边进行2-染色的含（可数）无穷个顶点的完全图都有一个单一染色的含有无穷个顶点的子完全图，而弱柯尼希定理（Weak König Lemma）则是说任何一个（可数）无穷二叉树都有一条无穷长的路径。这两条都是二阶算术中的陈述，说的是一个类中满足某种性质的子集存在，可以粗暴地认为它们在某种程度上都是在表现或者替代二阶算术中的选择公理（Axiom of Choice）（一般的“Axiom of Choice”可对超出可数无穷多的对象进行选择）。

3、　　在反推数学中，研究的其实是二阶算术的各个子系统以及它们的强度关系，而最重要的是被称为 Big Five的五个子系统 RCA 0 , WKL 0 , ACA 0 （后面两个与本猜想无关，故不列出）。其中 WKL 0 是基本系统 RCA 0 添加弱柯尼希定理的系统，而 RCA 0 添加拉姆齐二染色定理的系统被称为 RT2 2 (不在Big Five，类似还有 RT3 2 ，在此不表)。经过若干数学家的研究，他们发现了一些子系统间存在强弱的比较关系：和 RT2 2 形式接近的 RT3 2 比 ACA 0 要强(其实一样)，而 RT2 2 则不比 ACA 0强，（ ACA 0 比 WKL 0 强是基本的）等等[1]，从这些结果，他们隐约认为 RT22 和 WKL 0 的强度是可以比较的，1995年英国数理逻辑学家西塔潘在一篇论文[2]中发现WKL_0并不强于 RT2 2 ，于是他猜测可能 RT2 2 要强于 WKL 0。

4、　　这一猜想引发了大量研究，困扰了许多数学家十多年之久，直到刘路的出现，他证明了 RT2 2并不包含 WKL 0 ，从而给该猜想一个否定的回答。

5、 这个定理的通俗版本就是友谊定理。他证明了我们的生活的空间的有限性，

本文到此讲解完毕了，希望对大家有帮助。