更新时间:-- | 阅读量: 273
证明论中的一条重要定理。由哥德尔于1931年证明,是数理逻辑发展史上的一个极为重要的定...哥德尔证明的“系统U中的语句A是不可判定的”是一个算术命题,但不是自然的算术命题,即哥德尔对不完全性定理的证明是一个语法证明。算术中第一个自然的不 ...
搜索到与“ 哥德尔语句”相关的文献共 0条
《满语研究》
《小学生之友(低版)》
《空军工程大学学报(自然科学版)》
《中国轮胎资源综合利用》
《考试(理论实践)》
《中学课程辅导(九年级)》
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
京ICP备2021021570号-13
京公网安备 11011102000866号