“数学奇才”怎样炼成 刘路：“奥数学得不太好”(6) -pg电子游戏试玩平台网站

　　灵感爆发破解国际难题

 

　　刘路回忆说，在大二的一堂课上，何伟教授不经意间提到了“拉姆齐二染色定理”（注：以下简称“该定理”），他那阵子刚好正在思考一个与之相关的问题，这激起了他的求知欲。

 

　　大二暑假，刘路开始系统了解该定理。该定理是数理逻辑“反推数学”中的一个问题通常情况下，数学研究是“从公理到定理”的，反推数学研究恰恰相反，是“从定理到公理”。海内外有不少学者在进行该定理的证明论强度研究，特别是1995年，英国数理逻辑学家西塔潘提出了“西塔潘猜想”。

 

　　2010年10月26日，刘路永远不会忘记这一天：正在上自习的他“灵感大爆发”，想到把之前的一个方法稍作修改，就可证明“西塔潘猜想”。他赶紧跑回宿舍，连夜运算，用英文写出证明过程，以“刘嘉忆”的作者署名向美国芝加哥大学主办的《符号逻辑期刊》发去投稿。从接触该定理，到证明“西塔潘猜想”，刘路只花了2个多月的时间。他回忆说，在从2010年8月~2010年10月26日这两个月的时间里，他平均每天花5~6个小时在“西塔潘猜想”上，主观上并未强求出成果。

 

　　《符号逻辑期刊》是数理逻辑领域的国际权威杂志，杂志主编是位著名的逻辑学家，他本人便是“西塔潘猜想”的研究者。他对刘路的研究成果很感兴趣，但对这个本科生的来历感到一头雾水，因此没在第一时间予以发表。