打電話跟小胖確認這個是真消息 xD
不過 google 搜 Seetapun conjecture 搜不到定義...
邏輯學家果然很小眾.......
小孟查到的
http://www.math.berkeley.edu/~slaman/papers/cjs.pdf
Conjecture 2.12 (Seetapun and Slaman [1995]).
Any proof that every computable 2-coloring of $[N]^2$ has an infinite
homogeneous $\text{low}_n$ set should lead to a proof that $RCA_0 + RT_2^2$ is
$\Pi_1^1$-conservative over $RCA_0 + I\Sigma_n$
新聞連結:
