|
本帖最后由 elim 于 2017-7-15 00:34 编辑
你认为一个问题可能是不可判定问题,所以不“消除”它。这些都是空洞的话。你认为可能算什么? 除非你证明问题的不可判定性,你有什么资格消除它? 你能证明百零排问题是不可判定问题吗?你能证明这个问题必须算出 pi 的十进小数的每一位吗?
按同样的逻辑,你也可以认为素数定理是不可判定问题,素数定理从提出到证明经过了很长年日,结果表明其可判定性。而且无需找出全部素数。你是不是还想说孪生素数猜想也是不可判定问题?
有名的 Euler Gamma γ = lim (1+1/2+...+1/n - ln n) = 0.577216... 至今还不知道是不是有理数。 以此定义一个数 μ:μ = 1 如果 γ 是有理数,μ = -1, 如果 γ 是无理数,μ = 0 如果 γ 的有理无理性不可判定。现在问, μ 是否为三分律的反例? 好好学习,天天向上吧,你现在的程度不够,怎么扯都只能根据你的瞎掰,知道吗?
再看张益唐有名的定理(陶哲轩精致版):存在无穷多素数对 p, q, 满足 2≤ q - p < 246. 这个定理活活否定了jzkyllcjl 对无穷,实无穷的解读。
jzkyllcjl 的数学观,无穷观是‘证明’谬论,产生悖论的机器。
顺便说一句,在现行实无穷意义下,以下抽屉原则成立: 对任意正整数 n, 若 E1∪E2∪...∪En 是无穷集,则对某 k (1≤ k ≤n ), Ek 是无穷集。
所以新版张益唐定理可以这么表述: 对某正整数 k (2≤ k < 246), 有无穷多对素数 p, q 满足 q - p = k, 即有无穷个素数 p 使得 p + k 是素数. |
|