手机浏览器扫描二维码访问
第497章 吴文俊的自动推理机器（第1页）
一秒记住【xiaoyanwenxue.com】精彩无弹窗免费！“数学大帝（.shg.tw）”！
把示性数这些拓扑学问题放下之后。
吴文俊开始着手研究机械推理问题。
吴文俊知道，想要用机械推理，肯定需要把布尔代数的知识全部运用在其中。
使用推理机器古来有之。
先是笛卡尔知道几何问题用坐标化成代数，之后有莱布尼茨拿出了基本的计算器，同时也创立了“推理机器”的学说。
之后希尔伯特在《几何基础》里，提出几何问题可以用机械化的解体方法。
1945年波兰数学家，塔尔斯基定理：一切初等几何和代数命题，都可以用机械来证明。有限个整系数多项式或不等式都属于初等代数问题。
1975年，考林斯“柱面代数分解方法”比塔尔斯基的高明很多。但计算器上仍只能解决个别稍微难的几何问题。
1959年，格兰特发明了后推搜索法。
1975年，奈文斯发明了前推搜索法。
后来的吴文俊发明了“吴方法”，是一个发表的“初等几何判定问题和机械化证明”的论文，让机械证明的效率远远高于以前。
在计算机上仅用几面就可解出很难的几何证明。
“吴方法”分三步：
1，从几何公理系统出发，引进数学系统和坐标系统，使任意定理的证明问题化为纯代数问题。
2，将几何定理假设部分的代数关系式进行整理，然后依确定步骤验证定理终结部分代数关系式是否可以从假设部分已整理成序的关系式中推出。
3，依2中确定步骤成程序，并在计算机上实施以得证明与否结论。
这些结果在1984年吴文俊的《集合定理机械证明的基本原理》中对Pascal几何、垂直几何、度量几何、欧式几何去确立各类几何机械化证明。
爹地，大佬妈咪掉马了 恐怖复苏：开局激活酆都大帝模板 德赫瑞姆的领主 贴身侍卫 凤神临世 陆鸣血脉重生 荒坟夜啼 一品夫人：农家医女 商界大佬想追我 绝品保镖美总裁 我的重返2008 暮色倾尽好晨光 女领导的兵王司机 女神临世素手倾天 限时婚约：前夫请签字 我的火影忍者果然有问题 楚扬苏芷洛小说 豪门绝宠之峥少溺爱狂妻 全能金手指 [主咒回]社恐的我无所不能
机破苍穹
原力战星宇，机甲破苍穹。宅男穿越时空，成了一个小小的武甲师，看他如何玩遍人类的疆域，不求争霸，只为美人。他想低调，但是麻烦总找他，他不想当英雄，但是事事却逼他去做英雄。好吧！！英雄是做了，可是美女爱英雄，好歹给来几个美女啊！咱不搞基…新书上传，欢迎围观！已有完本作品，放心收藏，人品保证…PS书友群152839311（生化以前的群，没满，欢迎大家前来吐槽）...
娇妻有点甜
本书背景为虚拟时代，文明程度与现代同步。这是一部特种兵男神宠妻如命的血泪史，更是一个叛逆美少女征服冷面军王呼风唤雨的荣耀史！一场意外，她成了他此生唯一的女人初吻，初恋，她所有的第一次都被他一夜之间...
异世帝医
笑看红尘事，浅酌杯中酒，以江山为盏，江河为酒，看一代神医搅得天下风起云涌，而过后又该何去何从？...
穿成总裁夫人后我被团宠了
穿书成了傲娇女，坐拥亿万家产，出手扩卓随手百万从不眨眼。帅哥，主播，学霸，豪门总裁，分分钟搞定。男人很多，我要多选几个。这个主播帅呆了，打赏一百万。学霸没地方住，赏他一块地。...
总裁在上杀手在下
吴情是一名杀手，一直认为只有强者才能拥有交配权，有天在酒吧遇到了个被下药的总裁，于是他便将其...
轮回之三少的追妻攻略
本书又名一慕倾城。顾倾宸，顾氏集团的三小姐，可这一身份却鲜为人知。她的短篇小说轮回名声大噪之后，她便总是做着奇奇怪怪的梦。一次车祸，她看到自己的上一辈子，更加不可思议的是上一辈子的点点滴滴与书里的情节所差无几。再次醒来，她带着前世的记忆，只是没有想到，前世的他也跟着出现了。慕衍，人称慕三公子，矜贵冷漠，惊才风逸。慕衍你为什么唤我三哥哥，为什么说我以前唤你宸儿？顾倾宸呵呵，酒后的胡言乱语，还请慕三公子不要放在心上。男人步步紧逼俗话说酒后吐真言，以前我们是不是认识？顾倾宸当腹黑冷漠对上古灵精怪，会上演一出什么样的好戏呢？简介无能，欢迎大家一起跳坑，看三三夫妇如何携手一起虐渣，一起打脸。1V1强势宠。...