Redian新闻
>
向大家求教哥德尔定理
avatar
向大家求教哥德尔定理# Thoughts - 思考者
l*y
1
哥德尔定理的结论可以归纳为
在任何一个足够强的公理系统中至少有一论断既不能被证实也不能被证伪
其证明思路是
任何这样的公理系统内的所有定理都可以被翻译为一个数
该数代表了一个定理
存在一个数其意义为某个数(x)经某种变形后不是该系统的定理
而这个X变形后得到的数就代表上述论断
即等效于
本论断不是定理
如果该论断为定理
则与其论断直接矛盾
所以该论断不是定理
所以该论断为真
所以有一论断虽为真但不是定理
所以该公理系统不是完备的
上面是我对哥德尔定理及其证明的理解
请教方家是否有误
相关阅读
logo
联系我们隐私协议©2024 redian.news
Redian新闻
Redian.news刊载任何文章,不代表同意其说法或描述,仅为提供更多信息,也不构成任何建议。文章信息的合法性及真实性由其作者负责,与Redian.news及其运营公司无关。欢迎投稿,如发现稿件侵权,或作者不愿在本网发表文章,请版权拥有者通知本网处理。