手机浏览器扫描二维码访问
数学大帝第391章 柯尔莫哥洛夫检验（第1页）
一秒记住【xiaoyanwenxue.com】精彩无弹窗免费！“数学大帝（.shg.tw）”！
把示性数这些拓扑学问题放下之后。
吴文俊开始着手研究机械推理问题。
吴文俊知道，想要用机械推理，肯定需要把布尔代数的知识全部运用在其中。
使用推理机器古来有之。
先是笛卡尔知道几何问题用坐标化成代数，之后有莱布尼茨拿出了基本的计算器，同时也创立了“推理机器”的学说。
之后希尔伯特在《几何基础》里，提出几何问题可以用机械化的解体方法。
1945年波兰数学家，塔尔斯基定理：一切初等几何和代数命题，都可以用机械来证明。有限个整系数多项式或不等式都属于初等代数问题。
1975年，考林斯“柱面代数分解方法”比塔尔斯基的高明很多。但计算器上仍只能解决个别稍微难的几何问题。
1959年，格兰特发明了后推搜索法。
1975年，奈文斯发明了前推搜索法。
后来的吴文俊发明了“吴方法”，是一个发表的“初等几何判定问题和机械化证明”的论文，让机械证明的效率远远高于以前。
在计算机上仅用几面就可解出很难的几何证明。
“吴方法”分三步：
1，从几何公理系统出发，引进数学系统和坐标系统，使任意定理的证明问题化为纯代数问题。
2，将几何定理假设部分的代数关系式进行整理，然后依确定步骤验证定理终结部分代数关系式是否可以从假设部分已整理成序的关系式中推出。
3，依2中确定步骤成程序，并在计算机上实施以得证明与否结论。
这些结果在1984年吴文俊的《集合定理机械证明的基本原理》中对Pascal几何、垂直几何、度量几何、欧式几何去确立各类几何机械化证明。
我的火影忍者果然有问题 [主咒回]社恐的我无所不能 一品夫人：农家医女 绝品保镖美总裁 恐怖复苏：开局激活酆都大帝模板 凤神临世 贴身侍卫 爹地，大佬妈咪掉马了 楚扬苏芷洛小说 全能金手指 德赫瑞姆的领主 我的重返2008 豪门绝宠之峥少溺爱狂妻 女神临世素手倾天 陆鸣血脉重生 暮色倾尽好晨光 荒坟夜啼 商界大佬想追我 限时婚约：前夫请签字 女领导的兵王司机
疯狂校园
前传美国最大的华人组织的少帮主林天，由于日本三合会的纠缠，只身一人来到慕尼黑，偶然中住在漂亮的单身母亲馨雨的家里，而且遇到来此留学的漂亮女孩秦琴，并接下照顾秦琴的任务同时...
历少的限时婚宠
历少的限时婚宠字数1289864男朋友敢找别人，她就奉陪到底。她倒是要看看，最后谁先玩死谁。只是，三无老公摇身一变竟然成为了a国人人趋之若鹜的新贵，苏简溪接受无能。她的丈夫确实没车没房，但人家有别墅有游轮还有私人飞机啊。都说苏简溪是不是好人，傍上金主不说，还让人家当了接盘侠。事后还是厉霆骁亲自辟谣是他追的苏简溪，孩子是亲生的！...
为许一世沧情
我和陆承乾的婚姻像泡沫，开始很顺利，结果却很惨淡，我以为，即便如此，我的爱情也是圆满的。然而，一场算计让一切面目全非，我痛的撕心裂肺。我问陆承乾，十七年，你把我当什么了？我再也不相信爱情，蔺寒深却出现。他像救世主出现在我的生命里，一点点占据我的心。我以为老天爷是厚待我的，一个美丽女人从天而降，她说宁然，你知道我为什么现在才出现吗？她凑近我，温言细语，我就想看看你能蠢到什么地步。...
神秘宝箱
神秘宝箱由作者长公主创作全本作品该小说情节跌宕起伏扣人心弦是一本难得的情节与文笔俱佳的好书919言情小说免费提供神秘宝箱全文无弹窗的纯文字在线阅读。...
往后余生，只要你
往后余生，只要你从流产室出来，梁晓橙看到自己老公陪着小三走下电梯。战宸，如果我一直不能怀孕怎么办？没关系，可以找人代孕。如果爱上陆战宸是一种毒，梁晓橙觉得自己已经被噬髓入骨。如果一切可以重来，往后余生，她宁愿断了恨，绝了爱，至死不相见。...
深情厚爱：男神太冷血
她紧咬牙关，死死的抵抗，拒绝他没有一丝温度的拥抱，然后狠狠的将他推开，於皓南，像你这么冷血的人，注定一辈子孤独，注定一辈子都得不到真爱！可是你，还是爱上了我，不是麽？他嘴角的弧度邪美至极，淡然的面孔天使般的美好，但是只有她知道，他是魔鬼，是地狱的使者，他的到来就是要将她送入地狱。...