中國首屆國家最高獎頒發給了吳文俊和袁隆平。 袁隆平就不說了。 吳文俊卻是一個數學白痴！ 吳文俊搞了一個機器證明數學定理。
為什麼機器證明數學定理是荒唐的？
第一，所有的數學定理都是全稱判斷，即“一切A是B”。
第二，所有的全稱判斷的主項都是“普遍概念”或者“單獨概念”。
第三，普遍概念的定義就是依據事物的屬性。有屬性的定理只能夠來自演繹推理，即三段論的形式。（形式）。
第四，機器不能判定屬性。例如判定一個人的性別是生物化學的工作，即檢測染色體xx是女人，xy是男人。
吳文俊是一個白痴，居然騙取了第一屆中華人民共和國最高科學獎。 |
