数学证明必须守规矩

qwerty

数学证明必须严格按照统一标准：

1，证明对象必须是普遍概念，不得对集合概念进行所谓“证明”。

2，证明方法必须是正确的演绎证明（数学归纳法必须在可以统一这个普遍概念的全部元素对象的公式下，没有统一公式的数学归纳法无效）。

3，论据必须是正确的(不得引入非逻辑前提)。

4，不得使用模糊概念，就是说概念必须是唯一的解释，不能有歧义（例如所谓“殆素数”，“充分大”等严禁使用）。

5，所有结论必须是可以操作的，就是说，证明得出结论以后，通过这个结论计算，人们可以知道结果，而不会出现互相矛盾的结果。

6，结论必须是全称的，特称结论一律无效。

数学学报前主编李丙仁说：科学知识是一种集体产品，它不是个体研究者的贡献集聚，为了要被杂志编辑和审稿人接受，首先必须达到最基本的可信性标准，还要通过持怀疑态度的研究共同体施加各种检验。为了防止欺诈，审核人代表科学共同体试图挑出逻辑中的漏洞，并且被尖锐地质疑。数学的真正力量在...
数学学报前主编李丙仁说：
科学知识是一种集体产品，它不是个体研究者的贡献集聚，为了要被杂志编辑和审稿人接受，首先必须达到最基本的可信性标准，还要通过持怀疑态度的研究共同体施加各种检验。
为了防止欺诈，审核人代表科学共同体试图挑出逻辑中的漏洞，并且被尖锐地质疑。
数学的真正力量在于它的生成语法法的严密性，重大的想象常常来着地位低下的人，一般的科学知识是经过训练的常识，常识与重大的科学突破的征兆相去甚远。



数学中的命题，都是非常清晰，非常明确的，而数论中的命题更加清晰，根本没有什么弱孪生素数猜想和弱哥德巴赫猜想。之所以出现这些荒唐的“弱猜想”都是违反数学命题的胡乱联系。


理由的虚假性
胡乱修改前提条件，得出错误结论，不能算弱猜想，例如张益唐的所谓小于7千万的素数对。
推理的无关性
胡编乱造的结论不能算定理。例如陈景润的【1+2】。
隐含的假设性
这些结论都有一个共同的缺陷，假设存在他们想要的内容。
论证的单一性
这些论证都是违反演绎推理的基本规则，不能反推回去，正确的定理证明，百分之百可以倒推回去。大家可以试试。

什么是一个好论证?
好论证的一般性要求根据论证基本构成和定义，逻辑上说，一个好的论证要符合两个条件：
１）前提的条件:前提真或者可以接受，
２）推理的条件:前提对结论的推理有效或者充分，前提不真论证没有任何价值（虽然并不表明结论一定假）。这是好论证的第一道安检门。
推理的条件依据推理类型和场景的不同而变化。
逻辑的有效指不可能从真前提中得出错结论的推理性质。对归纳、实践的推理，推理条件指充分或最好的意思。
合理性的概念大于有效性（和传统逻辑的区分）。


论证是一个流动的体系
论证的构成远不止它说出来的部分,，评价好坏要考虑更多论证的构成部分：论点和背景 观点和立场 目的
事实根据， 假定 ，语言和概念， 解释和推理， 含义和后果， 分析和评价论证的标准， 构造和测量思想和行动的质量的维度批判性思维依据根本性的理智标准 准确性，充份性，清晰性，精确性，深度，广度，相关性，逻辑，重要性，公正性。

qwerty

以上内容全部发表在中国科学院智慧火花栏目。评论部分。
传统纵横图里的奇偶阶问题 （看评论）
探讨表素数为两平方和问题（看评论部分）

qwerty

数学证明的DNA（脱氧核糖核酸）

在司法工作中，通常需要鉴定当事人的DNA来决定案件的性质。其实，在数学中，也有DNA，就是以上6条，只要一条不符合，这个证明就是无效的，因为这个证明没有了基本的可信度。

在司法中，有原告，被告，证人，法官，律师，控方，陪审团，，。在科学中也有，我们不能把错误关在监狱里保护起来，应该让错误受到质疑与批评，从而，我们可以发现真理。

为了让数学有一个长治久安的制度，我们需要一个规矩，这个规矩指导数学家和学生能够不犯错误，少犯错误，犯了错误也能够尽快知道和纠正。

这是因为数学是其它科学的标杆，数学如果不能严格，其它学科严格就是空话。就好比社会，数学是领导干部，必须从严要求，数学不能自律，其它学科就会腐败。社会就会动荡。

qwerty

陈景润张益唐事件提醒数学，数学已经严重透支信誉，发生了巨额亏空。揭露数学潜规则虽然是一件离经叛道的事情，但是，为了数学的健康，必须进行从内部发现问题，现在，从中国数学到美国数学，都在搞歪门邪道。这样下去，非常危险。
数学的核心价值观就是：永远符合逻辑规律，自洽严密，与大自然一致。

qwerty

中国数学家没有必要对美国数学服软
中国数学界对美国数学界马首是瞻，不管对与错，一律俯首称臣，一副奴才嘴脸。
在国际社会，美国的确主导世界规则，特别是在军事上，无人能够与之匹敌，但是，不是一切领域都是美国人称王称霸，
这次张益唐事件，足以证明他们大脑沁水，思维混乱。
数论领域是与非，完全可以我们中国人制定规则。

大家记得吗，2003年非典，中国科学家在3月发现是病毒，一位院士钟南山信口开河予以否定，说是衣原体，不是病毒，文章没有发表。又过了一个月，西方实验室证实的确是病毒，这下中国人认可了，中国人失去了一次领先机会。（2003年4月16日，世界卫生组织根据包括中国内地和香港地区，加拿大、美国在内的11个国家和地区的13个实验室通力合作研究的结果，宣布重症急性呼吸综合征的病因是一种新型的冠状病毒，称为SARS冠状病毒）。
在许许多多领域，中国人应该自强自信。

我们中国人完全可以昂首挺胸地对美国人说：你们宣称张益唐证明的孪生素数猜想是错误的。