哥德尔语句

更新时间:-- | 阅读量: 273

证明论中的一条重要定理。由哥德尔于1931年证明,是数理逻辑发展史上的一个极为重要的定...哥德尔证明的“系统U中的语句A是不可判定的”是一个算术命题,但不是自然的算术命题,即哥德尔对不完全性定理的证明是一个语法证明。算术中第一个自然的不 ...

搜索到与“ 哥德尔语句”相关的文献共 0

查看更多

哥德尔语句相似词

哥德尔语句相关词

哥德尔语句相关期刊

Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved

京ICP备2021021570号-13

京公网安备 11011102000866号