近来,中南大学大三学生刘嘉忆解决了国际数学难题:反推数学中的拉姆齐二染色定理的证明论强度的研究. 这引起了广泛的关注,但由于专业性,很多人并不知道这个问题到底是怎么样的,这里就对刘嘉忆的工作做了一个简单的介绍. 要讲清刘嘉忆到底做了什么,我们先来看看中南大学对此的新闻报道[1]中的一句话:“Liu Jiayi’s paper ……probes into a problem of reverse mathematics”,这句话的意思是刘嘉忆探究了反推数学(Reverse Mathematics)中的一个问题.