数学吧 关注:902,221贴子:8,793,843
  • 21回复贴,共1

关于哥德尔不完备性定理的一点问题,求解答!

只看楼主收藏回复

如果一个命题既不能被证实或被证伪
那是否意味着我们给这个命题带入任何特殊值,都会成立
那不就等同于已经证实了?


1楼2014-02-15 00:37回复
    @KeyTo9


    2楼2014-02-15 00:38
    回复
      广告
      立即查看
      数字是无穷的。带入特殊值只能说明在你尝试过的范围内成立。


      IP属地:江西来自Android客户端3楼2014-02-15 00:44
      收起回复
        关键在于这样的命题特殊值很难找到,但是又不能确定是否有特殊值,比如连续统假设。


        IP属地:江苏来自iPad4楼2014-02-15 02:37
        收起回复
          爸爸爸爸啊啊啊啊啊啊啊啊啊啊啊啊粑粑啊啊啊啊啊啊粑粑


          来自Android客户端5楼2014-02-15 06:00
          回复
            不觉名历


            IP属地:广东来自Android客户端6楼2014-02-15 06:44
            收起回复
              它本来就是正确的
              但你不能用正规的证明过程证明带入任意特殊值都成立


              7楼2014-02-15 10:37
              回复
                目前认为此类“命题”不算命题


                IP属地:上海8楼2014-02-15 13:36
                收起回复
                  广告
                  立即查看
                  如果哥德巴赫猜想独立于现有公理体系...则其既不可被证明也不可被证伪...
                  若是其不可被证伪...则必然不存在反例...否则无论那个偶数多大总是一个有限的数字....
                  在理想条件下(不考虑宇宙毁灭什么的)我们总能找到它!!!...


                  9楼2014-02-15 17:47
                  回复
                    其实细说起来还有好多话...不过不想打字的.....
                    简略的说如果出现楼主说的那种情况就像上面我提到的.....按照现有的理解就是等同于“证明”了哥德巴赫猜想....但是不能接受这一点的数学家马上就会进一步再次探讨什么才是可以接受的“数学证明”....然后掀起新的巨人之战........
                    就我个人相信...前面提到的那种涉及具体的情况必然都是可证明/伪.....
                    不过这种信念本身却是独立的....


                    10楼2014-02-15 18:29
                    回复