给定公理体系,是否存在命题,不能被证实,不能被证伪,也不能证明其独立性(既不能证明也不能证伪)?( 二 )
■网友
你问的不就是哥德尔不完全性定理1和2的内容吗?https://zh.wikipedia.org/wiki/%E5%93%A5%E5%BE%B7%E5%B0%94%E4%B8%8D%E5%AE%8C%E5%A4%87%E5%AE%9A%E7%90%86
■网友
歌德尔在What is Cantor\u0026#39;s continuum hypothesis中的确考虑了对某个特殊数学命题(CH)先天的第四种可能性,即这个命题是无意义的。
推荐阅读
- 上海构建现代环境治理体系集成示范区打造超大城市生态环境治理的“样本”
- 江苏■全省信访事项办理群众满意率达95% 江苏基本建立信访业务标准化体系
- |淮安市体育局推进行业信用体系建设
- |南通规划新一轮城市快速路网体系
- 媒体聚焦网络知产保护:强化企业社会责任,完善行业监管体系
- 绿化|健全园林绿化行业信用体系建设
- 社区工作者|睢宁探索构建社区工作者职业体系 平均报酬达6万元/年
- 江海|江海联动与物流体系建设专题研讨会召开
- 趣头条|现代与英力士联盟 共建氢能源供应体系
- 借打假之名向商家勒索钱财牟利 “职业差评师”践踏市场信用体系亟须整治
