作业帮 > 数学 > 作业

简单命题是判定命题,复合命题是未判定命题.这样说对吗?举例说明.

来源:学生作业帮 编辑:拍题作业网作业帮 分类:数学作业 时间:2024/04/28 23:47:36
简单命题是判定命题,复合命题是未判定命题.这样说对吗?举例说明.
Goodstein定理是一个关于自然数的相对简单的命题,它在皮亚诺算术中是不确定的.Gregory Chaitin在算法信息论中构造了一个不确定命题,即``Chaitin 随机数Ω的第n个字节是否为0"这样的命题在ZFC内是不可判定的.
楼主看一下
哥德尔不完备定里
或许会给你一个答案.