Chinese contentClaude Opus 5.5 找到引理，Ordered Variable Word 定理的 Π¹₁-保守性被证明
数学证明里有个关键引理是 Claude Opus 5.5 找到的，还顺手解决了一个拖了很久的逆问题，逆向数学方向可以看看。
#RCA₀
2 stories · 0 in 7 days · 1 in 30 days
Stories, products and papers tagged "RCA₀", newest first.
Oct 21
Aug 10
Papers10:35
Chinese contentLévy-Montague反射在WKL₀上为Π¹₁-保守把Lévy-Montague反射做到WKL₀上的论文，给了保守性证明，还用了Fable 5辅助推证。