吴文俊机器证明是个什么东东

qwerty

吴文俊先生去世，享年98岁。吴先生是中国第一位国家最高科学奖的得主，因为在数学机械化方面的成就。
      那么什么是数学机械化呢？就是用计算机完成数学的方程计算和证明。
计算机解方程早已不是新闻。
计算机证明研究在2006年结束。

      机器证明已经失败。因为：
1，只能对已知的几何问题进行“证明”，就是说已经有结果的工作可以用计算机重复性“证明”。没有创新性可言。
2，不能对未知的几何问题进行证明。
3，更不能对其他例如数论微分几何拓扑学问题进行证明。

        因为，目前命题逻辑还有许许多多的问题没有解决，是不可能对复杂问题进行证明的。

       机器证明只是一个自欺欺人的把戏。居然获得国家最高奖。你们说，中国大陆数学家有多么坏(1956年，华罗庚的论文《典型域上的多元复变函数论》获国家自然科学一等奖，现在看来，只是一个很普通的论文，就连三等奖也不够资格。其文化方面的浅薄可想而知。中国数学家故意恶搞国家奖项，把科学奖励的级别和层次弄的乌烟瘴气。同时故意打压真正的重大创新，于国家的整体利益不顾。
      整个数学领域帮派林立，明争暗斗，投机取巧，数学研究实际上停滞不前。

        机器证明从本质上讲，不可能有重大创新，因为机器就是机械的方法去完成一些工作。与电脑编写程序没有太大的区别。吴文俊等人搞机器证明获得国内科学大奖是拔高自己的成果。是另外一种形式的造假。
为什么机器证明是荒唐的？

首先，所有的数学定理全部都是全称判断，即“一切A是B”。所有的数学定理都是具有属性，没有属性的全称判断不是定理，而是恒等式。（规则）。

其次，所有的全称判断的主项都是“普遍概念”或者“单独概念”。（内容）。

第三，有属性的定理只能够来自演绎推理，即三段论的形式。（形式）。

第四，上面的3条是：规则决定内容，内容决定形式。限制是明确的，越来越狭窄。

反过来行不行？由形式去决定内容，再由内容决定规则。这个就是机器数学证明。

但是，这种形式是不行的，由条件推出内容会越来越多，内容推出的结论也越来越多。我们知道，三段论的推理也是越来越狭窄的。三段论有256个格式，有效格只有19个。所以，吴文俊的机器证明是荒唐的。

最重要的是：机器不能判断属性！

      美国的哈肯等人用机器证明四色定理，并没有得到数学界的认可。不足以享有崇高荣誉。吴文俊也是一样，如果吴文俊用机器证明了重大猜想，那倒是可以重奖。

       钱学森在90年代就写过文章,《大学科的复杂问题》早就指出，全息理论和机器推导是佣人懒汉思想。对未知事物怎麼可能掌握全部信息?并且利用已经知道的定理就可以推导出未知事物？
       钱学森的话是符合辩证唯物主义。
       而吴文俊张景中等人的机器证明显然违反认识论的。你吴文俊怎麼不去推导一个伟大的猜想？如果你能够利用机器证明哥德巴赫猜想，你吴文俊就是了不起。可是，吴文俊只会造假。
        因为搞机器证明的当选院士的还有张景中。吴文俊因为机器证明获得国家最高奖，是极不严肃的。如此低劣的垃圾，竟然得到最高奖，太可笑了。据国际上通行的观念，一项成果，如果不能够产生或者开创新的领域，就不能算重大成果。机器证明的意义是低下的，当然，比陈景润张益唐造假要好的多。机器证明不能开拓新的数学。只不过是在已知的范围内循环运动。
       吴文俊真的是淡泊名利吗？吴文俊在2006年就已经知道机器证明是荒唐的，就停止搞机器证明了。但是，虚荣心使得吴文俊见利忘义，至死没有公开承认错误。死后还有人继续造假造谣误导群众。
中国数学家其实到现在依然没有原创性重大成果。他们存在的唯一目的就是——千万不能让其他人产生重大成果。

lkPark

如果机器能证明数学猜想，那么该机器必须具有意识，就目前来讲这是不可能的。现在所谓的机器证明的结论从原则上来讲仍需人来判定其正确么否，因此机器证明的程序是一个无效的设计。

qwerty

lkPark 发表于 2017-12-21 22:55
如果机器能证明数学猜想，那么该机器必须具有意识，就目前来讲这是不可能的。现在所谓的机器证明的结论从原 ...

正确，看来，你是有思想的。

lkPark

qwerty 发表于 2017-12-27 08:08
正确，看来，你是有思想的。

真理至尚！

128

用机器证明几何题不就是先转化成方程式吗，然后再解方程，能列出几何题的方程式还用机器去证明吗

zy1818sd

实在说，机器不能证明出数学新规律，但机器真的能够把一些数学规律进行突破性的应用。

zy1818sd

现代化社会中，一切高水平的数学工具都是机器实现的。

malingxiao1984

lkPark 发表于 2017-12-21 22:55
如果机器能证明数学猜想，那么该机器必须具有意识，就目前来讲这是不可能的。现在所谓的机器证明的结论从原 ...

那你怎么解释AlphaGO战胜柯洁，会下围棋的机器算不算有意识？AlphaGO战胜人类围棋最强者可是实实在在的，不是无效的

zy1818sd

如果人和机器都按一个规律做事，肯定是机器的效率更高，但人不会的事机器能不能会呢？

zy1818sd

当今时代，一些数学创新理论的出现已离不开计算机的辅助结合。