...
机译:普通戈德尔的不完整定理
Russian Acad Sci Sobolev Inst Math Siberian Branch Ul Pevtsova 13 Omsk 644099 Russia;
Godel's theorem; formal arithmetic; generic subsets of arithmetic statements;
机译:普通戈德尔的不完整定理
机译:使用名义伊莎贝尔(Isabelle)的Godel不完全性定理的机械证明
机译:Godel不完全性定理及其适用范围。一世
机译:走向简洁的,机器发现的戈德尔的两个不完整定理证明
机译:非HORN数据库中的演绎(不完整的数据库,定理证明,智能数据库)
机译:哥德尔不完全性定理对神经科学是否有局限性?
机译:Boolos和Chaitin证明的可构造性和Rosserizability 对于Godel的不完备性定理