摘自科学网：王晓明破坏了张益唐论文的发表

重生888

楼主说“假定存在”是非逻辑推理，那么完全归纳法的前提是“假定n成立“，这个前提是非逻辑推理吗？

确实确实

重生888 发表于 2014-10-27 16:22
楼主说“假定存在”是非逻辑推理，那么完全归纳法的前提是“假定n成立“，这个前提是非逻辑推理吗？

如果要证明A1到A9成立，必须使用完全归纳法，即证明：A1成立，A2成立，A3成立，A4成立，A5成立，A6成立，A7成立，A8成立，A9成立。

任在深

确实确实 发表于 2014-10-27 18:13
如果要证明A1到A9成立，必须使用完全归纳法，即证明：A1成立，A2成立，A3成立，A4成立，A5成立，A6成立， ...

假如证明A1----An, n→∞，如何？

确实确实

任在深 发表于 2014-10-28 15:37
假如证明A1----An, n→∞，如何？

如果是一个集合概念，涉及无穷，是无法证明的。如果是一个类，当然可以证明（数学归纳法）。但是，必须给出这个类的通项公式。

重生888

确实确实 发表于 2014-10-27 10:13
如果要证明A1到A9成立，必须使用完全归纳法，即证明：A1成立，A2成立，A3成立，A4成立，A5成立，A6成立， ...

您还没回答“假定n成立”是否是非逻辑推理？望解释，谢谢！

确实确实

重生888 发表于 2014-10-29 18:04
您还没回答“假定n成立”是否是非逻辑推理？望解释，谢谢！

使用假定作为前提，当然是非逻辑前提，还用问吗？你怎么不动脑筋。

任在深

确实确实 发表于 2014-10-28 17:24
如果是一个集合概念，涉及无穷，是无法证明的。如果是一个类，当然可以证明（数学归纳法）。但是，必须 ...

谢谢！
    俺理解是结构数学归纳法，
    通项公式应该是结构数学函数结构式！

      比如：第n个素数单位函数结构式

               Pn=[(ApNp+48)`1/2-6]`2，

            其中 Ap是素数单位的位数系数，Np是位数。
       因此 第一个素数单位P1是：
            
             P1=[(A1N1+48)`1/2-6]`2，其中 A1=1，N1=1
            所以  P1=[(1×1+48)`1/2-6]`2
                          =(√49-6)`2
                          =1`2=1"≠1，   
        注意！这里是结构数学！是关于点、线、面、体的结构以及结构关系！
              因此只用自然数表示是错误的！是不符合大自然法则的！