问题描述： 简单命题是判定命题,复合命题是未判定命题.这样说对吗?举例说明. 1个回答 分类：数学 2014-11-12 问题解答： 我来补答 Goodstein定理是一个关于自然数的相对简单的命题,它在皮亚诺算术中是不确定的.Gregory Chaitin在算法信息论中构造了一个不确定命题,即``Chaitin 随机数Ω的第n个字节是否为0"这样的命题在ZFC内是不可判定的.楼主看一下哥德尔不完备定里或许会给你一个答案. 展开全文阅读
