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