加载中…机器证明数学定理——荒唐
(2023-04-10 19:26:10)
为什么说吴文俊机器证明是荒唐的
吴先生是中国第一位国家最高科学奖的得主，因为在数学机械化方面的成就。
那么什么是数学机械化呢？就是用计算机完成数学的方程计算和证明。
计算机解方程早已不是新闻。
计算机证明研究在2006年结束。
第一，
因为，目前命题逻辑还有许许多多的问题没有解决，是不可能对复杂问题进行证明的。例如数学证明的传递性：世界上没有任何人能够解决多个逻辑链条的正确推理。需要数学家逻辑学家和语言学家共同制定数学推理的规则。
第二，
机器推理（证明）不能判定属性和传递性：
证明过程必须具有传递性，没有传递性的证明是无效的，例如，证明费马大定理过程中，费马大定理与谷山志村猜想没有传递性，所以，证明无效。
传递关系是一种特殊关系，指A与B；B与C；,都有，可以推知A与C也有。
1，,可以传递关系的情况：
甲和乙是亲兄弟，
乙和丙是亲兄弟，
所以，甲和丙也是亲兄弟。
（亲兄弟一词必须严格定义属性，因为有同父同母的亲兄弟；有同父异母的亲兄弟；有同母异父的亲兄弟；有乱伦情况下的亲兄弟，例如儿子与母亲通奸生产的孩子。机器不能判定属性，决定亲缘属性必须通过生物化学完成。）。
2，反传递情况：，
老张是大张的父亲，
大张是小张的父亲，
所以，老张不是小张的父亲（父亲也要严格定义，参见上面情况，需要亲自鉴定）。
3，将非传递关系误认为反传递关系：
a地到b地100米，
b地到c地100米，
所以a地到c地不会是100米。
（相距多远是非传递关系，误认为是反传递关系。例如等边三角形三个顶点都是相等的）
第三，为什么机器证明是荒唐的？
因为1，所有的数学定理全部都是全称判断，即“一切A是B”。所有的数学定理都是具有属性，没有属性的全称判断不是定理，而是恒等式。（规则）。
因为2，，所有的全称判断的主项都是“普遍概念”或者“单独概念”。普遍概念的词项就是依据实物的属性定义的。（内容）。
因为3，，有属性的定理只能够来自演绎推理，即三段论的形式。（形式）。
最重要的是：机器不能判断属性！
我们已经知道：所有的数学定理都有属性。
这是因为：
大前提：所有的数学定理都是全称判断。
小前提：所有的全称判断都是普遍概念和单独概念。（普遍概念的特征就是一个类的事物具有某种属性）。
结论：所有的定理都有属性。
但是，机器无法识别属性。例如机器无法识别性别，因为性别的识别是生物化学，例如人的染色体xy，我们知道是雄性；如果是xx，我们知道是雌性。
机器证明从本质上讲，不可能有重大创新，因为机器就是机械的方法去完成一些工作。与电脑编写程序没有太大的区别。吴文俊等人搞机器证明获得国内科学大奖是拔高自己的成果。是另外一种形式的造假。
美国的哈肯等人用机器证明四色定理，属于无知。
而吴文俊张景中等人的机器证明显然也是无知。
吴先生是中国第一位国家最高科学奖的得主，因为在数学机械化方面的成就。
那么什么是数学机械化呢？就是用计算机完成数学的方程计算和证明。
计算机解方程早已不是新闻。
计算机证明研究在2006年结束。
第一，
因为，目前命题逻辑还有许许多多的问题没有解决，是不可能对复杂问题进行证明的。例如数学证明的传递性：世界上没有任何人能够解决多个逻辑链条的正确推理。需要数学家逻辑学家和语言学家共同制定数学推理的规则。
第二，
机器推理（证明）不能判定属性和传递性：
证明过程必须具有传递性，没有传递性的证明是无效的，例如，证明费马大定理过程中，费马大定理与谷山志村猜想没有传递性，所以，证明无效。
传递关系是一种特殊关系，指A与B；B与C；,都有，可以推知A与C也有。
1，,可以传递关系的情况：
甲和乙是亲兄弟，
乙和丙是亲兄弟，
所以，甲和丙也是亲兄弟。
（亲兄弟一词必须严格定义属性，因为有同父同母的亲兄弟；有同父异母的亲兄弟；有同母异父的亲兄弟；有乱伦情况下的亲兄弟，例如儿子与母亲通奸生产的孩子。机器不能判定属性，决定亲缘属性必须通过生物化学完成。）。
2，反传递情况：，
老张是大张的父亲，
大张是小张的父亲，
所以，老张不是小张的父亲（父亲也要严格定义，参见上面情况，需要亲自鉴定）。
3，将非传递关系误认为反传递关系：
a地到b地100米，
b地到c地100米，
所以a地到c地不会是100米。
（相距多远是非传递关系，误认为是反传递关系。例如等边三角形三个顶点都是相等的）
第三，为什么机器证明是荒唐的？
因为1，所有的数学定理全部都是全称判断，即“一切A是B”。所有的数学定理都是具有属性，没有属性的全称判断不是定理，而是恒等式。（规则）。
因为2，，所有的全称判断的主项都是“普遍概念”或者“单独概念”。普遍概念的词项就是依据实物的属性定义的。（内容）。
因为3，，有属性的定理只能够来自演绎推理，即三段论的形式。（形式）。
最重要的是：机器不能判断属性！
我们已经知道：所有的数学定理都有属性。
这是因为：
大前提：所有的数学定理都是全称判断。
小前提：所有的全称判断都是普遍概念和单独概念。（普遍概念的特征就是一个类的事物具有某种属性）。
结论：所有的定理都有属性。
但是，机器无法识别属性。例如机器无法识别性别，因为性别的识别是生物化学，例如人的染色体xy，我们知道是雄性；如果是xx，我们知道是雌性。
机器证明从本质上讲，不可能有重大创新，因为机器就是机械的方法去完成一些工作。与电脑编写程序没有太大的区别。吴文俊等人搞机器证明获得国内科学大奖是拔高自己的成果。是另外一种形式的造假。
美国的哈肯等人用机器证明四色定理，属于无知。
而吴文俊张景中等人的机器证明显然也是无知。
喜欢
0
赠金笔
后一篇：数学为什么需要批判