Godel Incomplete Theorem; architecture critic; mathematics;
机译:关于戈德尔的不完全性定理。第4部分
机译:使用名义伊莎贝尔(Isabelle)的Godel不完全性定理的机械证明
机译:Godel不完全性定理及其适用范围。一世
机译:戈德尔不完全定理在建筑中的应用
机译:非HORN数据库中的演绎(不完整的数据库,定理证明,智能数据库)
机译:有限场理论中的一些定理及其在费马最后定理中的应用
机译:Boolos和Chaitin证明的可构造性和Rosserizability 对于Godel的不完备性定理