吳文俊機器證明是個什麼垃圾
吳文俊先生已經去世，享年98歲。吳先生是中國第一位國家最高科學獎的得主，因為在數學機械化方面的成就。
那么什么是数学机械化呢？就是用计算机完成数学的方程计算和证明。
計算機解方程早已不是新聞。 計算機證明研究在2006年結束。
機器證明已經失敗
因為： 1，只能對已知的幾何問題進行「證明」，就是說已經有結果的工作可以用計算機重複性「證明」。沒有創新性可言。
2，不能對未知的幾何問題進行證明。
3，更不能對其他例如數論微分幾何拓撲學問題進行證明。
因为，目前命题逻辑还有许许多多的问题没有解决，是不可能对复杂问题进行证明的。
機器證明只是一個自欺欺人的把戲
居然獲得國家最高獎。你們說，中國大陸數學家有多麼壞。 中國數學家故意惡搞國家獎項，把科學獎勵的級別和層次弄的烏煙瘴氣。同時故意打壓真正的重大創新，於國家的整體利益不顧。
整个数学领域帮派林立，明争暗斗，投机取巧，数学研究实际上停滞不前。
機器證明從本質上講，不可能有重大創新
因為機器就是機械的方法去完成一些工作。與電腦編寫程序沒有太大的區別。吳文俊等人搞機器證明獲得國內科學大獎是拔高自己的成果。是另外一種形式的造假。
美国的哈肯等人用机器证明四色定理，并没有得到数学界的认可。不足以享有崇高荣誉。吴文俊也是一样，如果吴文俊用机器证明了一些猜想，那倒是可以重奖。
而吴文俊张景中等人的机器证明显然违反认识论的。你吴文俊怎麼不去推导一个伟大的猜想？如果你能够利用机器证明哥德巴赫猜想，你吴文俊就是了不起。可是，吴文俊只会造假。
因为搞机器证明的当选院士的还有张景中。吴文俊因为机器证明获得国家最高奖，是极不严肃的。如此低劣的垃圾，竟然得到最高奖，太可笑了。据国际上通行的观念，一项成果，如果不能够产生或者开创新的领域，就不能算重大成果。机器证明的意义是低下的，当然，比陈景润张益唐造假要好的多。机器证明不能开拓新的数学。只不过是在已知的范围内循环运动。
吳文俊真的是淡泊名利嗎
吳文俊在2006年就已經知道機器證明是荒唐的，就停止搞機器證明了。但是，虛榮心使得吳文俊見利忘義，至死沒有公開承認錯誤。死後還有人繼續造假造謠誤導群眾。 中國數學家其實到現在依然沒有原創性重大成果。他們存在的唯一目的就是——千萬不能讓其他人產生重大成果。 吳文俊只是一個數學流氓而已。
上海交大用數學騙子吳文俊名字命名數學研究中心
吳文俊是一個無恥的數學騙子，他胡編亂造的數學機器證明早已壽終正寢，成為一個笑料。這一次上海交大吳文俊數學中心成立，是惡搞還是忽悠？ 一大群數學騙子和數學流氓出席儀式：
全国政协常委、中国科协副主席、中国数学会理事长、中国科学院院士袁亚湘，全国政协常委、中国科学院数学与系统科学研究院院长、中国科学院院士席南华，北京大学教授、中国科学院院士、会议学术委员会主任姜伯驹，吴文俊家属代表吴天骄分别致辞，深情共忆吴文俊先生一生始终坚持的敬业精神、爱国情怀、治学态度和热爱人文、关注教育的生活点滴，以及在拓扑学、数学机械化和中国数学史研究领域做出的划时代成就，为我国的现代数学事业和数学史学科发展做出的卓越的贡献；并对上海交大吴文俊数学中心的成立表示祝贺，对中心的发展表示支持，期望上海交通大学的数学学科能够不懈努力、勇攀高峰，为中国乃至世界科学的发展作出更多贡献。
所有的報道隻字不提吳文俊機器證明——數學機械化
因為這是中國數學界的超級醜聞，是一個無恥群體坑蒙拐騙的歷史記錄。因為這個還詐騙到國家最高科學獎、邵逸夫科學獎等。 吳文俊、華羅庚、陳景潤王元潘承洞以及他們的學生都是中國流氓群體的同案犯。