请教elimqiu老师一个无法判断的问题。

门外汉

请教elimqiu老师：现在无法判断的问题，是不是将来永远都无法判断？

elimqiu

要看无法判断的定义是什么了。如果在某个系统中一个问题被证明为无法判断的问题，那么只要系统不变，不管到什么时候它还是一个不可判断的问题。如果我们没有办法判断，但也没有证明它的不可判断性，那么今后它成为可判断的问题的可能性不能说就一定不存在。
在数学的历史中，曾经相信平行公理可以被已有的其他公理推出，从而应该是一个定理。人们花了大量精力去证它，直到非欧几何的出现才证明了平行公理在没有它和它的否定的系统中是不可判定的。

申一言

[这个贴子最后由申一言在 2011/04/05 00:07pm 第 1 次编辑]


□□□□□□□□□□□□□□□，，，，，，，□。
     当人们理解了单位元1ˆ2=1"=□之后，人们就知道平行公理是正确的！
    《中华单位论》又给予平行定理的简单的证明（略）。
   即此命题是真命题！

elimqiu

在单位论里是真命题（随便了），在现代欧氏几何中是公理。

尚九天

下面引用由申一言在 2011/04/05 00:04pm 发表的内容：


□□□□□□□□□□□□□□□，，，，，，，□。
    当人们理解了单位元1ˆ2=1"=□之后，人们就知道平行公理是正确的！
   《中华单位论》又给予平行定理的简单的证明（略）。

                         即此命题是真命题！

    人家 门外汉 请教 elimqiu， 申先生您多嘴饶舌干啥？ 真是“闲得无事找屁吃”！