吴文俊先生已经去世,享年98岁。吴先生是中国第一位国家最高科学奖的得主,因为在数学机械化方面的成就。
那么什么是数学机械化呢?就是用计算机完成数学的方程计算和证明。
计算机解方程早已不是新闻。
计算机证明研究在2006年结束。
机器证明已经失败。因为:
首先,所有的数学定理全部都是全称判断,即“一切A是B”。所有的数学定理都是具有属性,没有属性的全称判断不是定理,而是恒等式。(规则)。
其次,所有的全称判断的主项都是“普遍概念”或者“单独概念”。
第三,普遍概念的特征就是具有属性。有属性的定理只能够来自演绎推理,即三段论的形式。(形式)。
第四,机器不能判断属性!
例如,机器无法识别性别,因为性别的识别是化学,某种动物的染色体xy,我们知道是雄性;如果是xx,我们知道是雌性。
机器证明只是一个自欺欺人的把戏。居然获得国家最高奖。你们说,中国大陆数学家有多么坏。中国数学家故意恶搞国家奖项,把科学奖励的级别和层次弄的乌烟瘴气。同时故意打压真正的重大创新,于国家的整体利益不顾。
吴文俊真的是淡泊名利吗?吴文俊在2006年就已经知道机器证明是荒唐的,就停止搞机器证明了。但是,虚荣心使得吴文俊见利忘义,至死没有公开承认错误。死后还有人继续造假造谣误导群众。
中国数学家其实到现在依然没有原创性重大成果。他们存在的唯一目的就是——千万不能让其他人产生重大成果。
吴文俊只是一个数学流氓而已。