中國首屆國家最高獎頒發給了吳文俊和袁隆平。

袁隆平就不說了。

吳文俊卻是一個數學白痴！

吳文俊搞了一個機器證明數學定理。

為什麼機器證明數學定理是荒唐的？

第一，所有的數學定理都是全稱判斷，即“一切A是B”。

第二，所有的全稱判斷的主項都是“普遍概念”或者“單獨概念”。

第三，普遍概念的定義就是依據事物的屬性。有屬性的定理只能夠來自演繹推理，即三段論的形式。（形式）。

第四，機器不能判定屬性。例如判定一個人的性別是生物化學的工作，即檢測染色體xx是女人，xy是男人。

吳文俊是一個白痴，居然騙取了第一屆中華人民共和國最高科學獎。