人工智障-----数学白痴吴文俊获得首届国家最高科学酱
本帖最后由 ygvfe 于 2025-4-27 14:16 编辑吴文俊是首位中国国家最高科学奖的得主,因为在数学机械化方面的谎言。
那么什么是数学机械化呢?就是用计算机完成数学的方程计算和命题证明。
计算机解方程早已不是新闻。
计算机证明研究在2006年结束。
机器证明数学定理已经失败。因为:
因为,目前命题逻辑还有许许多多的问题没有解决,是不可能对复杂问题进行证明的。
为什么机器证明数学定理是荒唐的?
首先,所有的数学定理全部都是全称判断,即“一切A是B”。。
其次,所有的全称判断的主项都是“普遍概念”或者“单独概念”。
第三,普遍概念的定义就是依据事物的属性。
有属性的定理只能够来自演绎推理,即三段论的形式。(形式)。
第四,机器不能判定属性。例如判定一个人的性别是生物化学的工作,即染色体xx是女人,xy是男人。
机器证明数学命题本质就是——————人工智障!而机器仅能执行符号操作,无法理解属性背后的语义.
中国数学界就是一群乌合之众。
第一位国家最高奖居然让一个数学白痴获得,奇葩! 人工智能的反义词就叫人工智障。人工智障含义非常明确,就是企图完成无法完成的工作。
页:
[1]