------------------------------------------------------------
传递性是数学证明的软肋
例如,望月新一的证明,全篇超过600页,2012年就已发表,据说,这篇论文全球只有十几位数学家深入研究了证明过程。一个600页的论文,有几百个词项(概念),世界上没有人能够完成传递性。
证明过程必须具有传递性,没有传递性的证明是无效的,例如,证明费马大定理过程中,费马大定理与谷山志村猜想没有传递性,所以,证明无效。
传递关系是一种特殊关系,指A与B;B与C;,都有,可以推知A与C也有。
传递关系,甲和乙是亲兄弟,乙和丙是亲兄弟,所以,甲和丙也是亲兄弟(亲兄弟一词必须严格定义,因为有同父同母的亲兄弟;有同父异母的亲兄弟;有同母异父的亲兄弟;有乱伦情况下的亲兄弟,例如儿子与母亲通奸生产的孩子,相对母亲说,两个都是自己的亲生儿子,所以他们是兄弟;相对大儿子来说,既是兄弟的父亲,也是兄弟的哥哥。一个人在一个家庭不能以两种身份对一个人出现(数学证明对概念要求专一性)。例如陈景润的1+2,N既是A,N又是B)。
反传递关系,老张是大张的父亲,大张是小张的父亲,所以,老张不是小张的父亲(父亲也要严格定义,参见上面情况)。 将非传递关系误认为反传递关系:a地到b地100米,b地到c地100米,所以a地到c地不会是100米。(相距多远是非传递关系,误认为是反传递关系。例如等边三角形三个顶点都是相等的)。
数学中使用的新概念,必须经过严格定义,有一些还必须有语言学家和逻辑学家参加。
菲尔兹奖获得者的工作几乎全部都是错误的。因为没有任何人能够解决多个概念传递性,一个重要的复杂的命题获得证明,需要创造新概念,新概念必须严格定义。
目前,最紧迫的工作就是全世界数学家-逻辑学家-语言学家,甚至哲学家一起建立一个数学证明的逻辑规则。
一旦开设【数学学术批判】课程,每一个学习过这一课程的老师或者同学,都可以审稿。一个著名的数学猜想宣称获得证明,大家一起审稿,大学数学系的同学和老师就可以在课堂上审稿,你一言我一语就可以找出错误。