中国首届国家最高奖颁发给了吴文俊和袁隆平。

袁隆平就不说了。

吴文俊却是一个数学白痴！

吴文俊搞了一个机器证明数学定理。

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

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

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

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

第四，机器不能判定属性。例如判定一个人的性别是生物化学的工作，即检测染色体xx是女人，xy是男人。

吴文俊是一个白痴，居然骗取了第一届中华人民共和国最高科学奖。