歌德尔命题有几个驳论?要讲清楚

来源:学生作业帮助网 编辑:六六作业网 时间:2024/12/19 04:08:05
歌德尔命题有几个驳论?要讲清楚歌德尔命题有几个驳论?要讲清楚歌德尔命题有几个驳论?要讲清楚构命题G:“G是不可证明的.”这是一个不可判定的命题.(假设G是不可证明的,则G为真,由命题真与命题可证明等价

歌德尔命题有几个驳论?要讲清楚
歌德尔命题有几个驳论?
要讲清楚

歌德尔命题有几个驳论?要讲清楚
构命题G:“G是不可证明的.”
这是一个不可判定的命题.
(假设G是不可证明的,则G为真,由命题真与命题可证明等价,则G可证明;假设G可证明,则G为真,则G不可证明.)

6个