手机浏览器扫描二维码访问
第497章 吴文俊的自动推理机器（第1页）
一秒记住【xiaoyanwenxue.com】精彩无弹窗免费！“数学大帝（.shg.tw）”！
把示性数这些拓扑学问题放下之后。
吴文俊开始着手研究机械推理问题。
吴文俊知道，想要用机械推理，肯定需要把布尔代数的知识全部运用在其中。
使用推理机器古来有之。
先是笛卡尔知道几何问题用坐标化成代数，之后有莱布尼茨拿出了基本的计算器，同时也创立了“推理机器”的学说。
之后希尔伯特在《几何基础》里，提出几何问题可以用机械化的解体方法。
1945年波兰数学家，塔尔斯基定理：一切初等几何和代数命题，都可以用机械来证明。有限个整系数多项式或不等式都属于初等代数问题。
1975年，考林斯“柱面代数分解方法”比塔尔斯基的高明很多。但计算器上仍只能解决个别稍微难的几何问题。
1959年，格兰特发明了后推搜索法。
1975年，奈文斯发明了前推搜索法。
后来的吴文俊发明了“吴方法”，是一个发表的“初等几何判定问题和机械化证明”的论文，让机械证明的效率远远高于以前。
在计算机上仅用几面就可解出很难的几何证明。
“吴方法”分三步：
1，从几何公理系统出发，引进数学系统和坐标系统，使任意定理的证明问题化为纯代数问题。
2，将几何定理假设部分的代数关系式进行整理，然后依确定步骤验证定理终结部分代数关系式是否可以从假设部分已整理成序的关系式中推出。
3，依2中确定步骤成程序，并在计算机上实施以得证明与否结论。
这些结果在1984年吴文俊的《集合定理机械证明的基本原理》中对Pascal几何、垂直几何、度量几何、欧式几何去确立各类几何机械化证明。
陆鸣血脉重生 爹地，大佬妈咪掉马了 贴身侍卫 恐怖复苏：开局激活酆都大帝模板 楚扬苏芷洛小说 [主咒回]社恐的我无所不能 德赫瑞姆的领主 全能金手指 女领导的兵王司机 绝品保镖美总裁 豪门绝宠之峥少溺爱狂妻 商界大佬想追我 我的火影忍者果然有问题 暮色倾尽好晨光 女神临世素手倾天 我的重返2008 限时婚约：前夫请签字 一品夫人：农家医女 荒坟夜啼 凤神临世
极限梦想之王者归来
任天涯游戏职业大神，叶千，在梦想杯大赛的前一天遭遇车祸，成为植物人，六年之后苏醒，却失去了所有的记忆，失忆的叶千，路过了网吧，看到了屏幕中的任天涯游戏，激起了他心中的感觉。超越梦想，一路有你，一转千回，王者归来！天涯不落，我们不散小帅系列QQ群594874872...
极品仙医
人缘垃圾，情缘为零的紫府金仙被打下红尘。这一世，敌人要踩得爽，更要泡得美女们爽！治病救人，操蛋踩人，赚钱泡妞，聊天打屁看了极品仙医的读者，一定会更爽，更幸福！...
封魔师
以身饲兽，以血养魔。临兵斗者皆阵列在前！拥有不死之身的少年，肆无忌惮的冲击着封魔师的极限老者手握利刃，浑身颤抖，纵声狂笑真的真的那个传说，竟然是真的一刀，刨开少年的胸膛愈合！又一刀，割开少年的咽喉愈合！！再一刀，切了少年的JJ嗯…再生！！！！！...
神眼医婿
一场车祸，让一个普通医生拥有了透视的能力，第二天，自己竟然成了自己的仇家的女婿？...
此生不负卿心秦怡严易泽
主角秦怡严易泽新郎出轨闺蜜，秦怡一气之下嫁给了众所周知的严家傻子少爷严易泽，做好了守一辈子活寡的准备，谁知新婚夜，痴痴傻傻的严易泽竟露出了邪魅的笑容，秦怡这才意识到所有人都被他给骗了军婚小说网提供秦怡严易泽最新章节，秦怡严易泽全文免费阅读，秦怡严易泽无弹窗广告清爽在线阅读体验...
貌似高手在异界
楚南我是全游戏第一高手服务器靠！全服务器就你一个人楚南我有全游戏战士十大神兵，法师五大神器，十大顶级战技传承龙晶，魔核，无数！服务器靠，加一起打包五十块买的吧楚南我tm的穿越了创世神鸟，这穷鬼比我造的整个大陆加起来还有钱楚牛B哄哄的人生不！龙B哄哄的人生我来了！（本书是穿越异大陆的小说）当别人还在为自己能够得到一件地级装备而努力的时候，主角的手下已经全身上下装备满了天级装备。高楼新书寂灭天骄，热血，爽快，尽在寂灭天骄。...