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

qwerty

吴文俊是首位中国国家最高科学奖的得主，因为在数学机械化方面的谎言。
      那么什么是数学机械化呢？就是用计算机完成数学的方程计算和命题证明。
计算机解方程早已不是新闻。
计算机证明研究在2006年结束。

      机器证明数学定理已经失败。因为：


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

      为什么机器证明数学定理是荒唐的？

首先，所有的数学定理全部都是全称判断，即“一切A是B”。。

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

第三，普遍概念的定义就是依据事物的属性。
有属性的定理只能够来自演绎推理，即三段论的形式。（形式）。

第四，机器不能判定属性。例如判定一个人的性别是生物化学的工作，即染色体xx是女人，xy是男人。
机器证明数学命题本质就是——————人工智障！而机器仅能执行符号操作，无法理解属性背后的语义.
中国数学界就是一群乌合之众。

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

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