...
机译:另一种看第二个不完整的定理
Second Incompleteness Theorem; formal theories;
机译:用校验助手蒸馏戈德尔的不完整定理要求
机译:不完整的定理,大型红衣主教和自动机
机译:关于戈德尔的不完全性定理。第5部分
机译:走向简洁的,机器发现的戈德尔的两个不完整定理证明
机译:非HORN数据库中的演绎(不完整的数据库,定理证明,智能数据库)
机译:哥德尔不完全性定理对神经科学是否有局限性?
机译:完整性定理,不完整定理和算术模型