拉姆齐二染色定理的意思是什么

问题描述

精选答案

拉姆齐二染色定理是由英国数理逻辑学家西塔潘（Seetapun）于20世纪90年代提出的一个猜想。

十多年来，许多著名研究者一直努力都没有解决。今年5月，由北京大学等联合举办的逻辑学术会议上，还是大三的刘嘉忆报告了他对目前反推数学中的拉姆齐(Ramsly)二染色定理的证明论强度的研究。这是由英国数理逻辑学家Seetapun于上个世纪90年代提出的一个猜想，十多年来，许多著名研究者一直努力都没有解决。刘嘉忆的报告给这一悬而未决的公开问题一个否定式的回彻底解决了Seetapun的猜想。继今年上半年他攻克一个十多年悬而未决国际数学难题后，不久前在美国芝加哥大学结束的数理逻辑学术会议上，他作为亚洲高校唯一一位代表在会上做了40分钟报告，报告了他在数理逻辑方面的研究成果，语惊四座。