85问答库 > 22岁数学天才刘路（刘嘉忆）在Journal of Symbolic Logic刊物上所发表的文章叫什么名？

22岁数学天才刘路（刘嘉忆）在Journal of Symbolic Logic刊物上所发表的文章叫什么名？

2025-04-05 03:49:14

推荐回答（4个）

回答1：

名称就是《RT22 DOES NOT IMPLY WKL0》，百度文库里搜“西塔潘猜想”第一个就是这篇论文。
因为公式没法表示，我写得前面的22是RT的上下标，后面的0是WKL的下标。
你可以去看，不过如果不是专门研究数学的是看不懂的。
反正我高数学得不差，当年考研也是140分以上的成绩，但完全看不懂他的证明过程。
只能说他是真的很牛。

回答2：

名称就是《RT22 DOES NOT IMPLY WKL0》，百度搜“西塔潘猜想”就能搜到。前面的22是下标

回答3：

Cone avoid closed sets induced by non-enumerable trees within partition

回答4：

额额额，太难了吧