檢視吳文俊的原始碼

[[File: 吳文俊-4.jpg|250px|有框|縮略圖|right|年輕時代的吳文俊---[http://www.amss.ac.cn/wwj/yrxm/201705/t20170506_4784294.html 圖片來源]]]
'''吳文俊'''<ref>{{Cite web|url=http://www.amss.ac.cn/wwj/ |title =中国科学院数学与系统科学研究院网站—深切缅怀吴文俊院士}}</ref>（1919年5月12日－2017年5月7日），數學家，[[中國科學院]]院士，中國科學院數學與系統科學研究院研究員，系統科學研究所名譽所長。

为什么机器证明是荒唐的？

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

其次，所有的全称判断的主项都是“普遍概念”或者“单独概念”。（内容）。

第三，有属性的定理只能够来自演绎推理，即三段论的形式。（形式）。

第四，最重要的是：机器不能判断属性！只能判断形式。


所有的数学定理都有属性。因为，所有的数学定理都是全称判断，所有的全称判断都是普遍概念和单独概念。普遍概念的特征就是一个类的事物具有某种数学。

例如，机器无法识别性别，因为性别的识别是生物化学，某种动物的染色体xy，我们知道是雄性；如果是xx，我们知道是雌性。