机译:Godel不完全性定理及其适用范围。一世
Godel theorems; incompleteness; proof; computability;
机译:Godel不完全性定理及其适用范围。一世
机译:关于戈德尔的不完全性定理。第4部分
机译:使用名义伊莎贝尔(Isabelle)的Godel不完全性定理的机械证明
机译:走向简洁的,机器发现的戈德尔的两个不完整定理证明
机译:概率理论中无穷大模型的极限定理(粒子,中心极限,单元)。
机译:哥德尔不完全性定理对神经科学是否有局限性?
机译:Boolos和Chaitin证明的可构造性和Rosserizability 对于Godel的不完备性定理