手机浏览器扫描二维码访问
第497章 吴文俊的自动推理机器（第1页）
一秒记住【xiaoyanwenxue.com】精彩无弹窗免费！“数学大帝（.shg.tw）”！
把示性数这些拓扑学问题放下之后。
吴文俊开始着手研究机械推理问题。
吴文俊知道，想要用机械推理，肯定需要把布尔代数的知识全部运用在其中。
使用推理机器古来有之。
先是笛卡尔知道几何问题用坐标化成代数，之后有莱布尼茨拿出了基本的计算器，同时也创立了“推理机器”的学说。
之后希尔伯特在《几何基础》里，提出几何问题可以用机械化的解体方法。
1945年波兰数学家，塔尔斯基定理：一切初等几何和代数命题，都可以用机械来证明。有限个整系数多项式或不等式都属于初等代数问题。
1975年，考林斯“柱面代数分解方法”比塔尔斯基的高明很多。但计算器上仍只能解决个别稍微难的几何问题。
1959年，格兰特发明了后推搜索法。
1975年，奈文斯发明了前推搜索法。
后来的吴文俊发明了“吴方法”，是一个发表的“初等几何判定问题和机械化证明”的论文，让机械证明的效率远远高于以前。
在计算机上仅用几面就可解出很难的几何证明。
“吴方法”分三步：
1，从几何公理系统出发，引进数学系统和坐标系统，使任意定理的证明问题化为纯代数问题。
2，将几何定理假设部分的代数关系式进行整理，然后依确定步骤验证定理终结部分代数关系式是否可以从假设部分已整理成序的关系式中推出。
3，依2中确定步骤成程序，并在计算机上实施以得证明与否结论。
这些结果在1984年吴文俊的《集合定理机械证明的基本原理》中对Pascal几何、垂直几何、度量几何、欧式几何去确立各类几何机械化证明。
楚扬苏芷洛小说 豪门绝宠之峥少溺爱狂妻 一品夫人：农家医女 我的重返2008 全能金手指 暮色倾尽好晨光 我的火影忍者果然有问题 女神临世素手倾天 陆鸣血脉重生 限时婚约：前夫请签字 德赫瑞姆的领主 商界大佬想追我 贴身侍卫 [主咒回]社恐的我无所不能 爹地，大佬妈咪掉马了 恐怖复苏：开局激活酆都大帝模板 凤神临世 绝品保镖美总裁 女领导的兵王司机 荒坟夜啼
全能分身
人生很多无奈都是因为分身乏术，但这个对叶欢来说却是不然，因为他有强大的分身术。分身无数，这可以有，但却只是最基本的。能复制出别人的分身，那才是强大的。对方的功法，心中的秘密，甚至对方的身体，血脉，体质叶欢没有，但是分身有。分身有，就是本尊有。有分身在，叶欢无所不能！这是本人第二本小说，请大家放心收藏，保持更新，绝不太监！！...
女神的完美赘婿
超级王者当了上门女婿，隐匿三年。三年后，坠龙升天，狂野无边。...
大亨的成长系统
在部队这个变相的象牙塔里呆了八年的男猪脚，武力值虽高，情商值却很低。因一次任务失败而被退伍回到了大都市，意外获得一款来历神秘的经营类游戏认主，靠着逆天系统的辅助，从此悲催幼稚的屌丝男开始朝着成熟魅力的高富帅前进！萝莉有三宝御姐有三好女王有三妙，三种我都要！此书属小白文，前期种田后期争霸，不喜勿入！新书Q群129575069（基友腐女集中营！）...
汉末天子
时空穿梭，魂回汉末，一觉醒来成了皇帝，这个可以有，只是这皇帝的处境貌似跟说好的不太一样，外有诸侯列土封疆，山河破碎，内有乱臣胁迫，不得自由，刘协表示压力很大，为了改变自己悲惨的命运，为了能够享受帝王应有的待遇，刘协觉得自己应该拼一把，名臣猛将，必须有，三宫六院咳咳，这个可以有，总之，这是一个傀儡皇帝一步步崛起的...
秦九州小说全文阅读
一代战神秦九州重归都市，为弥补遗憾，搅动风起云涌，以不败之资横行四方，诸天震颤。...