「吴文俊事件真相」修訂間的差異檢視原始碼討論檢視歷史
(抄襲禁書網) |
小 |
||
行 11: | 行 11: | ||
− | ===机器证明 | + | ===机器 为什么不能 证明 数学定理=== |
因为: | 因为: | ||
− | 1, | + | 1, 所有 的 数学定理都是全称判断 , 即一切A是B 。 |
− | 2, | + | 2, 全称判断 的 主项都是普遍概念或者单独概念 。 |
− | 3, | + | 3, 普遍概念的特征就是依据事物的属性 。 |
− | + | 4,机器不能判定属性,例如,判定一个人是男人还是女人的工作是生物化学的,染色体xx是女性,xy是男性。 | |
+ | |||
+ | '''因为,目前命题逻辑还有许许多多的问题没有解决,是不可能对复杂问题进行证明的。''' | ||
==机器证明只是一个自欺欺人的把戏== | ==机器证明只是一个自欺欺人的把戏== | ||
+ | |||
居然获得国家最高奖。你们说,中国大陆数学家有多么坏。 | 居然获得国家最高奖。你们说,中国大陆数学家有多么坏。 | ||
+ | |||
中国数学家故意恶搞国家奖项,把科学奖励的级别和层次弄的乌烟瘴气。同时故意打压真正的重大创新,于国家的整体利益不顾。 | 中国数学家故意恶搞国家奖项,把科学奖励的级别和层次弄的乌烟瘴气。同时故意打压真正的重大创新,于国家的整体利益不顾。 | ||
整个数学领域帮派林立,明争暗斗,投机取巧,数学研究实际上停滞不前。 | 整个数学领域帮派林立,明争暗斗,投机取巧,数学研究实际上停滞不前。 | ||
− | + | ||
− | |||
美国的哈肯等人用机器证明四色定理,并没有得到数学界的认可。不足以享有崇高荣誉。吴文俊也是一样,如果吴文俊用机器证明了一些猜想,那倒是可以重奖。 | 美国的哈肯等人用机器证明四色定理,并没有得到数学界的认可。不足以享有崇高荣誉。吴文俊也是一样,如果吴文俊用机器证明了一些猜想,那倒是可以重奖。 | ||
− | + | ||
− | + | ||
===吴文俊真的是淡泊名利吗=== | ===吴文俊真的是淡泊名利吗=== | ||
吴文俊在2006年就已经知道机器证明是荒唐的,就停止搞机器证明了。但是,虚荣心使得吴文俊见利忘义,至死没有公开承认错误。死后还有人继续造假造谣误导群众。 | 吴文俊在2006年就已经知道机器证明是荒唐的,就停止搞机器证明了。但是,虚荣心使得吴文俊见利忘义,至死没有公开承认错误。死后还有人继续造假造谣误导群众。 | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− |
於 2024年2月18日 (日) 17:44 的最新修訂
此條目或章節內容可能是從某個來源處複製後貼上, |
吳文俊因為數學機器證明——數學機械化獲得國家最高科學獎和邵逸夫數學獎,吳文俊胡編亂造坑蒙拐騙得到科學獎成為中國科學史上最可恥的記錄。
吳文俊機器證明是個什麼垃圾
吳文俊先生已經去世,享年98歲。吳先生是中國第一位國家最高科學獎的得主,因為在數學機械化方面的成就。
那么什么是数学机械化呢?就是用计算机完成数学的方程计算和证明。
計算機解方程早已不是新聞。 計算機證明研究在2006年結束。
機器為什麼不能證明數學定理
因為: 1,所有的數學定理都是全稱判斷,即一切A是B。
2,全稱判斷的主項都是普遍概念或者單獨概念。
3,普遍概念的特徵就是依據事物的屬性。
4,機器不能判定屬性,例如,判定一個人是男人還是女人的工作是生物化學的,染色體xx是女性,xy是男性。
因为,目前命题逻辑还有许许多多的问题没有解决,是不可能对复杂问题进行证明的。
機器證明只是一個自欺欺人的把戲
居然獲得國家最高獎。你們說,中國大陸數學家有多麼壞。
中國數學家故意惡搞國家獎項,把科學獎勵的級別和層次弄的烏煙瘴氣。同時故意打壓真正的重大創新,於國家的整體利益不顧。
整个数学领域帮派林立,明争暗斗,投机取巧,数学研究实际上停滞不前。
美国的哈肯等人用机器证明四色定理,并没有得到数学界的认可。不足以享有崇高荣誉。吴文俊也是一样,如果吴文俊用机器证明了一些猜想,那倒是可以重奖。
吳文俊真的是淡泊名利嗎
吳文俊在2006年就已經知道機器證明是荒唐的,就停止搞機器證明了。但是,虛榮心使得吳文俊見利忘義,至死沒有公開承認錯誤。死後還有人繼續造假造謠誤導群眾。