查词语
查词语

拉姆齐二染色定理

拼音:

注音:

繁体:

基本解释

拉姆齐二染色定理是由英国数理逻辑学家西塔潘(Seetapun)于20世纪90年代提出的一个猜想。十多年来,许多著名研究者一直努力都没有解决。

 今年5月,由北京大学等联合举办的逻辑学术会议上,还是大三的刘嘉忆报告了他对目前反推数学中的拉姆齐(Ramsly)二染色定理的证明论强度的研究。这是由英国数理逻辑学家Seetapun于上个世纪90年代提出的一个猜想,十多年来,许多著名研究者一直努力都没有解决。刘嘉忆的报告给这一悬而未决的公开问题一个否定式的回答,彻底解决了Seetapun的猜想。

继今年上半年他攻克一个十多年悬而未决国际数学难题后,不久前在美国芝加哥大学结束的数理逻辑学术会议上,他作为亚洲高校唯一一位代表在会上做了40分钟报告,报告了他在数理逻辑方面的研究成果,语惊四座。 

推荐词语

©2019 学门教育网 版权所有 鲁ICP备19034508号-2

电脑版