/ r" r0 c }8 w8 g4 Q( X新京报:你是什么时候开始研究“西塔潘猜想”的?2 m. S }% |( a+ P U
& W. z9 S7 G' p5 U6 E
刘路:去年8月,我自学反推数学的时候,第一次接触到这个问题。我注意到大量文献里提到,海内外不少学者在进行“拉姆齐二染色定理”的证明论强度的研究。 , ^& N/ Q L/ _: _- K1 f0 E5 W3 d3 O: U! _. u5 h# f, \( a
新京报:用了多久证明这个“猜想”?& {7 ~ A, B' T: w" w
1 y+ w7 P: s; T- k& R G9 f
刘路:其实只用了一个晚上,接触这个问题不久,我突然想到利用之前用到的一个方法,稍作修改便可以证明这一结论,连夜将这一证明写出来,投给了《符号逻辑杂志》。8 e: _3 G6 l. U5 m( h6 l- G$ E