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

来源:学生作业帮助网 编辑:作业帮 时间:2024/05/06 10:50:57
歌德尔命题有几个驳论?要讲清楚

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

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

6个