刘路的故事之思维兴趣灵感—西塔潘猜想怎么证明的

2010年8月，酷爱数理逻辑的刘路在自学反推数学时发现，海内外不少学者都在进行反推数学中的拉姆齐二染色定理的证明论强度的研究。

这是由英国数理逻辑学家西塔潘于上世纪90年代提出的一个猜想。10多年来，许多著名研究者一直努力都没有解决。于是，从那时起，刘路便利用闲暇时间，投入到“西塔潘猜想”的证明当中。

2010年10月的一天，刘路突然想到用以前用过的一个方法（ ）修改可以证明这一结论，便连夜将这一证明写了出来，投给了数理逻辑国际权威杂志《符号逻辑杂志》。他的这一研究成果得到海内外科学家的权威认可。