手机浏览器扫描二维码访问
第497章 吴文俊的自动推理机器（第1页）
一秒记住【xiaoyanwenxue.com】精彩无弹窗免费！“数学大帝（.shg.tw）”！
把示性数这些拓扑学问题放下之后。
吴文俊开始着手研究机械推理问题。
吴文俊知道，想要用机械推理，肯定需要把布尔代数的知识全部运用在其中。
使用推理机器古来有之。
先是笛卡尔知道几何问题用坐标化成代数，之后有莱布尼茨拿出了基本的计算器，同时也创立了“推理机器”的学说。
之后希尔伯特在《几何基础》里，提出几何问题可以用机械化的解体方法。
1945年波兰数学家，塔尔斯基定理：一切初等几何和代数命题，都可以用机械来证明。有限个整系数多项式或不等式都属于初等代数问题。
1975年，考林斯“柱面代数分解方法”比塔尔斯基的高明很多。但计算器上仍只能解决个别稍微难的几何问题。
1959年，格兰特发明了后推搜索法。
1975年，奈文斯发明了前推搜索法。
后来的吴文俊发明了“吴方法”，是一个发表的“初等几何判定问题和机械化证明”的论文，让机械证明的效率远远高于以前。
在计算机上仅用几面就可解出很难的几何证明。
“吴方法”分三步：
1，从几何公理系统出发，引进数学系统和坐标系统，使任意定理的证明问题化为纯代数问题。
2，将几何定理假设部分的代数关系式进行整理，然后依确定步骤验证定理终结部分代数关系式是否可以从假设部分已整理成序的关系式中推出。
3，依2中确定步骤成程序，并在计算机上实施以得证明与否结论。
这些结果在1984年吴文俊的《集合定理机械证明的基本原理》中对Pascal几何、垂直几何、度量几何、欧式几何去确立各类几何机械化证明。
豪门绝宠之峥少溺爱狂妻 一品夫人：农家医女 暮色倾尽好晨光 女领导的兵王司机 凤神临世 德赫瑞姆的领主 恐怖复苏：开局激活酆都大帝模板 全能金手指 女神临世素手倾天 陆鸣血脉重生 贴身侍卫 [主咒回]社恐的我无所不能 绝品保镖美总裁 商界大佬想追我 限时婚约：前夫请签字 我的火影忍者果然有问题 爹地，大佬妈咪掉马了 楚扬苏芷洛小说 我的重返2008 荒坟夜啼
洪荒之鲲鹏逆天
北冥有鱼，其名为鲲。鲲之大，不知其几千里也化而为鸟，其名为鹏。鹏之背，不知其几千里也怒而飞，其翼若垂天之云。...
全民养鲲进化
末世降临，异种来袭。若想活命，唯有养鲲。当第一头鲲坠入地星，灾难由此开启。强大的外星异种，可怕的域外凶兽，狰狞的神秘古神。地星人民唯一的抵抗手段就是养鲲进化鲲，以鲲为武器。吞噬进化之路无穷尽，究竟...
都市之活了几十亿年
我曾一人独活在史前地球，我经历过侏罗纪，曾亲眼看着小行星灭绝了一个时代。我曾穿梭诸天万界，世人尊我为太上至尊！我之大道，随心所欲，为所欲为！陈正与至高无上一战，让纪元重启，回到了地球某个时间节点！他虽然被削弱了修为，可肉身与元神不死不灭，带着过去几十亿年的经历，轻松纵横都市，游戏人间！...
总裁的新婚罪妻
...
一品富贵
主角穿到乾德元年的立国不久的宋朝，此时宋朝正在统一中原，但赵匡胤有惩五代之乱，收拢兵权，重文轻武，这造成宋朝以后重内虚外的悲情的局面。而此时赵匡义羽翼渐丰，宋朝内部危机悄然扩大。这是最好的时光，也是最坏的时光，主角在这种大势下渐渐成长茁壮。宋九的两句名言宁肯撑着死，不愿饿汉活。穷了只能自顾自，顾不了别人，富了午夜梦回里说不定会想想其他人，不是俺说的，是孟子教我的。（这是老午的第三本北宋架空小说，质量保证，信誉保证，尽管放心收藏）...