手机浏览器扫描二维码访问
第497章 吴文俊的自动推理机器（第1页）
一秒记住【xiaoyanwenxue.com】精彩无弹窗免费！“数学大帝（.shg.tw）”！
把示性数这些拓扑学问题放下之后。
吴文俊开始着手研究机械推理问题。
吴文俊知道，想要用机械推理，肯定需要把布尔代数的知识全部运用在其中。
使用推理机器古来有之。
先是笛卡尔知道几何问题用坐标化成代数，之后有莱布尼茨拿出了基本的计算器，同时也创立了“推理机器”的学说。
之后希尔伯特在《几何基础》里，提出几何问题可以用机械化的解体方法。
1945年波兰数学家，塔尔斯基定理：一切初等几何和代数命题，都可以用机械来证明。有限个整系数多项式或不等式都属于初等代数问题。
1975年，考林斯“柱面代数分解方法”比塔尔斯基的高明很多。但计算器上仍只能解决个别稍微难的几何问题。
1959年，格兰特发明了后推搜索法。
1975年，奈文斯发明了前推搜索法。
后来的吴文俊发明了“吴方法”，是一个发表的“初等几何判定问题和机械化证明”的论文，让机械证明的效率远远高于以前。
在计算机上仅用几面就可解出很难的几何证明。
“吴方法”分三步：
1，从几何公理系统出发，引进数学系统和坐标系统，使任意定理的证明问题化为纯代数问题。
2，将几何定理假设部分的代数关系式进行整理，然后依确定步骤验证定理终结部分代数关系式是否可以从假设部分已整理成序的关系式中推出。
3，依2中确定步骤成程序，并在计算机上实施以得证明与否结论。
这些结果在1984年吴文俊的《集合定理机械证明的基本原理》中对Pascal几何、垂直几何、度量几何、欧式几何去确立各类几何机械化证明。
恐怖复苏：开局激活酆都大帝模板 凤神临世 商界大佬想追我 全能金手指 限时婚约：前夫请签字 贴身侍卫 暮色倾尽好晨光 一品夫人：农家医女 女领导的兵王司机 荒坟夜啼 女神临世素手倾天 [主咒回]社恐的我无所不能 陆鸣血脉重生 我的火影忍者果然有问题 绝品保镖美总裁 爹地，大佬妈咪掉马了 德赫瑞姆的领主 楚扬苏芷洛小说 我的重返2008 豪门绝宠之峥少溺爱狂妻
神血至尊
...
绝品邪医
绝品邪医绝世兵王，在一次意外事故中穿到一个杏林世家。带着前世的执念，他违背了家里的安排，成为了军中一员。历经磨难，他成为了兵王之王，见惯了生死的他，最终选择了退役，成了一家医院的小医生。他本想就这样安安静静的当个医生，不想，却不小心招惹了众多美女...
神魂至尊
一块浩瀚无垠的广阔大陆一个波澜壮阔的璀璨时代一道阴差阳错的重生灵魂一名备受歧视的懦弱少年！一场巧合的意外，当那道灵魂重生在那名懦弱少年体内时，开启了一段震古烁今的强者传说！从二十一世纪穿越而来的卓文，能否在这奇诡波澜的大时代一步步走向巅峰...
绝世兵王王旭东
他曾是令人闻风丧胆的兵王，只因为兄弟报仇千里杀敌被开除回归都市。偶遇极品美女总裁苏婉琪，发生一段精彩绮丽的生死之恋。邂逅美女警花张晓芸，产生一段畸形的感情纠葛...
绝代战魂
为了更强，唐锋吞食丹药，却不想药力爆棚，差点自爆而亡。父亲遗物自发救主，恍惚间，唐锋经历了三世轮回，看到了三世大帝的一生种种。唐锋醒来，为梦想而努力，为爱而奋斗。面对人生，唐锋豪言与我点滴之恩，我必涌泉相报，与我为恶之仇，我必雷霆相还！且看少年唐锋得到三世大帝记忆之后，从一个小城少年，一步步成为傲啸九天的无上至尊。...
无限制穿越季
在现实中变成了微型人，却意外得到了自由穿越幻想世界的机会，为寻找现实变大的方式，无限制地穿越想要去的世界，科技，魔法，法术，什么方式才能完美实现愿望。...