1,225
次編輯
變更
吳文俊
,→吴文俊机器证明是个什么垃圾
==生平介紹==
==吴文俊机器证明是个什么垃圾==吴文俊先生已经去世，享年98岁。吴先生是中国第一位国家最高科学奖的得主，因为在数学机械化方面的成就。那么什么是数学机械化呢？就是用计算机完成数学的方程计算和证明。 计算机解方程早已不是新闻。计算机证明研究在2006年结束。 ===机器证明已经失败===因为：1，只能对已知的几何问题进行“证明”，就是说已经有结果的工作可以用计算机重复性“证明”。没有创新性可言。 2，不能对未知的几何问题进行证明。 3，更不能对其他例如数论微分几何拓扑学问题进行证明。 '''因为，目前命题逻辑还有许许多多的问题没有解决，是不可能对复杂问题进行证明的。'''
==机器证明只是一个自欺欺人的把戏==