西塔潘猜想含金量(西塔潘猜想重要吗)

西塔潘猜想含金量?

含金量可以,西塔潘猜想是一个反推数学领域关于拉姆齐二染色定理证明强度的猜想。在组合数学上,拉姆齐(Ramsey)定理是要解决以下的问题:要找这样一个最小的数n,使得n个人中必定有k个人相识或l个人互不相识。

2011年5月,由北京大学、南京大学和浙江师范大学联合举办的逻辑学术会议在浙江师范大学举行,中南大学数学科学与计算技术学院酷爱数理逻辑的刘嘉忆的报告给这一悬而未决的公开问题一个否定式的回答,并彻底解决了西塔潘的猜想。R(3,3)=6,也称为拉姆齐二染色定理。

友谊定理的历史?

西塔潘猜想还有一个雅称,叫“友谊定理”(Friendship theorem)也叫“政治家定理”或“交际花定理”,友谊定理缘于三角恋,故事中的三角恋是两个女生与一个男生,或者是两个男生与一个女生的爱恋;西塔潘猜想的友谊定理中的三角恋是:两根蓝线(男生)与一根红线(女生)组成的三角形,或者是两根红线(女生)与一根蓝线(男生)组成的三角形。

友谊定理缘于三角恋,在西塔潘猜想的友谊定理中,没有同性恋(红线组成的三角形或者蓝线组成的三角形)存在。

友谊定理一直没有证明,是因为西塔潘猜想没有证明,当西塔潘猜想成为定理时,表明友谊定理是正确的。

友谊定理是用图形证明的,在西塔潘猜想的图形中没有红蓝三角形存在,故友谊定理成立。

什么是国际数学难题“西塔潘猜想?

西塔潘猜想是由英国数理逻辑学家西塔潘于20世纪90年代提出的一个数学猜想。但定理以弗兰克·普伦普顿·拉姆齐正式命名,1930年其在论文One Problem in Formal Logic(《形式逻辑上的一个重要问题》)证明了R(3,3)=6。因此又叫拉姆齐二染色定理。

西塔潘猜想证实人是谁?

西塔潘猜想的证实人是刘嘉忆。他是中南大学数学科学与计算技术学院的,其酷爱数理逻辑。

西塔潘猜想,是由英国数理逻辑学家西塔潘于20世纪90年代,提出的一个反推数学领域,关于拉姆齐二染色定理证明强度的猜想。

2011年5月,由北京大学、南京大学和浙江师范大学联合举办的,逻辑学术会议在浙江师范大学举行,中南大学数学科学与计算技术学院,酷爱数理逻辑的刘嘉忆的报告,给这一悬而未决的公开问题,一个否定式的回答,并彻底解决了西塔潘的猜想。R(3,3)=6,也称为拉姆齐二染色定理。

西塔潘猜想是个什么级别猜想?

西塔潘猜想是一个20多年未解决组合数学难题,但这并不是主流数学问题,因此在数学界并不出名。但是这道难题最终被中国中南大学学生刘路解决了。而且只用了一张纸就证明了这个猜想。可见,这个数学难题解决并不困难。在数学界是个边缘化的数学猜想。

什么是西塔潘猜想?

西塔潘猜想是由英国数理逻辑学家西塔潘于20世纪90年代提出的一个猜想。但定理以弗兰克·普伦普顿·拉姆齐正式命名,1930年其在论文One Problem in Formal Logic(《形式逻辑上的一个问题》)证明了R(3,3)=6。因此又叫拉姆齐二染色定理。

拉姆齐数,用图论的语言有两种描述:

对于所有的N顶图,包含k个顶的团或l个顶的独立集。具有这样性质的最小自然数N就称为一个拉姆齐数,记作R(k,l);

拉姆齐数亦可推广到多于两个数:

版权声明