中国首届国家最高奖颁发给了吴文俊和袁隆平。 袁隆平就不说了。 吴文俊却是一个数学白痴！ 吴文俊搞了一个机器证明数学定理。
为什么机器证明数学定理是荒唐的？
第一，所有的数学定理都是全称判断，即“一切A是B”。
第二，所有的全称判断的主项都是“普遍概念”或者“单独概念”。
第三，普遍概念的定义就是依据事物的属性。有属性的定理只能够来自演绎推理，即三段论的形式。（形式）。
第四，机器不能判定属性。例如判定一个人的性别是生物化学的工作，即检测染色体xx是女人，xy是男人。
吴文俊是一个白痴，居然骗取了第一届中华人民共和国最高科学奖。 |
