手机浏览器扫描二维码访问
第497章 吴文俊的自动推理机器（第1页）
一秒记住【xiaoyanwenxue.com】精彩无弹窗免费！“数学大帝（.shg.tw）”！
把示性数这些拓扑学问题放下之后。
吴文俊开始着手研究机械推理问题。
吴文俊知道，想要用机械推理，肯定需要把布尔代数的知识全部运用在其中。
使用推理机器古来有之。
先是笛卡尔知道几何问题用坐标化成代数，之后有莱布尼茨拿出了基本的计算器，同时也创立了“推理机器”的学说。
之后希尔伯特在《几何基础》里，提出几何问题可以用机械化的解体方法。
1945年波兰数学家，塔尔斯基定理：一切初等几何和代数命题，都可以用机械来证明。有限个整系数多项式或不等式都属于初等代数问题。
1975年，考林斯“柱面代数分解方法”比塔尔斯基的高明很多。但计算器上仍只能解决个别稍微难的几何问题。
1959年，格兰特发明了后推搜索法。
1975年，奈文斯发明了前推搜索法。
后来的吴文俊发明了“吴方法”，是一个发表的“初等几何判定问题和机械化证明”的论文，让机械证明的效率远远高于以前。
在计算机上仅用几面就可解出很难的几何证明。
“吴方法”分三步：
1，从几何公理系统出发，引进数学系统和坐标系统，使任意定理的证明问题化为纯代数问题。
2，将几何定理假设部分的代数关系式进行整理，然后依确定步骤验证定理终结部分代数关系式是否可以从假设部分已整理成序的关系式中推出。
3，依2中确定步骤成程序，并在计算机上实施以得证明与否结论。
这些结果在1984年吴文俊的《集合定理机械证明的基本原理》中对Pascal几何、垂直几何、度量几何、欧式几何去确立各类几何机械化证明。
一品夫人：农家医女 我的火影忍者果然有问题 楚扬苏芷洛小说 豪门绝宠之峥少溺爱狂妻 [主咒回]社恐的我无所不能 绝品保镖美总裁 女领导的兵王司机 荒坟夜啼 恐怖复苏：开局激活酆都大帝模板 全能金手指 贴身侍卫 德赫瑞姆的领主 商界大佬想追我 爹地，大佬妈咪掉马了 我的重返2008 女神临世素手倾天 限时婚约：前夫请签字 凤神临世 陆鸣血脉重生 暮色倾尽好晨光
修真建筑师
师父是修真界的包工头。项小牡是被师父用花言巧语收为弟子的，一入师门深似海，从此搬砖到天明。于是他成了这个世间，修真界唯一建筑大师的唯一传人。...
网红妈咪，总裁爹地宠上天
...
穿越蛮荒：找个族长来种田
作为二十一世纪的新时代女性，陶然表示她一点也不喜欢穿越，无他，只因古时候的生活太苦了，没有电脑空调手机不说，就连生火做饭都是难事儿。只是她没想到她最不愿意的事情还是发生了，而且还让她穿越到了最原始的老祖宗的年代，蛮荒世纪。一想到那些邋遢甚至不穿兽衣的原始人，陶然就一阵头痛，还有那一脸冷酷的族长是怎么回事？竟然露出一副如沐春风的笑容。靠很惊悚的好不好。某族长眼里暗藏着得意，女人既然你是我交换回来的，那就是我的人，这辈子休想躲开我！...
乔菀墨沉
两年前，墨沉与乔菀分手了，从那以后，他便患上了厌女症，一靠近女人就会反胃呕吐。所以，这两年时间里，墨沉的身边没有女人，感情生活一直是空白。如今，消失两年的乔菀突然回归，还高调的求复合，身为一个高冷霸总，墨沉觉得自己不能轻易妥协，于是，他开始欲擒故纵，假意躲着她，实则制造各种偶遇。一对有情人，最终能否终成眷属？...
青春血泪史
不就是被某女神调戏搭了两句话！被群殴？天道何在啊？欺负哥，看不起哥是吗！老虎不发威全当劳资是猫咪吗？忍无可忍，再不畏惧，看劳资逆袭干光你们！，你问我感觉如何？爽？歉？悔…谁教哥是个专情的主，but，专情的男人也是男人！守护所爱之人，扛男人之责，结兄弟之义！豪情万丈定不离不弃，有福同享定生死与共，谁没有段至死不忘的血泪史，只道，青春当歌！...
黑水尸棺
师父曾说过，我是阳灵子转世，命理不合四柱，命格不入五行，能活到现在，全靠本命中的一股精纯阳气。回想一下我早年的经历，也的确是凶险与艰辛并存。六岁被怨灵缠身，七岁被飞僵索命聊完了左有道和寄魂庄，咱们再来聊聊渤海老世家的那些事吧。老书完结，新书幽冥通宝开张，咱们还是老规矩，找个僻静的小地方，喝着茶，吃着瓜子点心，听我慢慢聊。...