17年国际数学难题“西塔潘猜想”的内容是什么
的有关信息介绍如下：
1995年英国数理逻辑学家西塔潘在一篇论文[2]中发现WKL_0并不强于 RT2 2 ，于是他猜测可能 RT2 2 要强于 WKL 0。 这一猜想引发了大量研究，困扰了许多数学家十多年之久，直到刘路的出现，他证明了 RT2 2并不包含 WKL 0 ，从而给该猜想一个否定的回答。
17年国际数学难题“西塔潘猜想”的内容是什么
Simone
发布于 2026-04-12 10:41:18
899 阅读
