手机浏览器扫描二维码访问
数学大帝第391章 柯尔莫哥洛夫检验（第1页）
一秒记住【xiaoyanwenxue.com】精彩无弹窗免费！“数学大帝（.shg.tw）”！
把示性数这些拓扑学问题放下之后。
吴文俊开始着手研究机械推理问题。
吴文俊知道，想要用机械推理，肯定需要把布尔代数的知识全部运用在其中。
使用推理机器古来有之。
先是笛卡尔知道几何问题用坐标化成代数，之后有莱布尼茨拿出了基本的计算器，同时也创立了“推理机器”的学说。
之后希尔伯特在《几何基础》里，提出几何问题可以用机械化的解体方法。
1945年波兰数学家，塔尔斯基定理：一切初等几何和代数命题，都可以用机械来证明。有限个整系数多项式或不等式都属于初等代数问题。
1975年，考林斯“柱面代数分解方法”比塔尔斯基的高明很多。但计算器上仍只能解决个别稍微难的几何问题。
1959年，格兰特发明了后推搜索法。
1975年，奈文斯发明了前推搜索法。
后来的吴文俊发明了“吴方法”，是一个发表的“初等几何判定问题和机械化证明”的论文，让机械证明的效率远远高于以前。
在计算机上仅用几面就可解出很难的几何证明。
“吴方法”分三步：
1，从几何公理系统出发，引进数学系统和坐标系统，使任意定理的证明问题化为纯代数问题。
2，将几何定理假设部分的代数关系式进行整理，然后依确定步骤验证定理终结部分代数关系式是否可以从假设部分已整理成序的关系式中推出。
3，依2中确定步骤成程序，并在计算机上实施以得证明与否结论。
这些结果在1984年吴文俊的《集合定理机械证明的基本原理》中对Pascal几何、垂直几何、度量几何、欧式几何去确立各类几何机械化证明。
[主咒回]社恐的我无所不能 凤神临世 我的火影忍者果然有问题 全能金手指 荒坟夜啼 商界大佬想追我 德赫瑞姆的领主 限时婚约：前夫请签字 豪门绝宠之峥少溺爱狂妻 我的重返2008 爹地，大佬妈咪掉马了 暮色倾尽好晨光 一品夫人：农家医女 绝品保镖美总裁 贴身侍卫 女领导的兵王司机 恐怖复苏：开局激活酆都大帝模板 楚扬苏芷洛小说 陆鸣血脉重生 女神临世素手倾天
无敌长生女婿
自从吞服了女蜗炼制的仙丹后，丁毅便成了一个怪物，五千多年来，丁毅换了上百种身份，神医华佗的授业恩师，教项羽剑法的神秘剑客，统御六合八荒的帝王这次，他竟然是一个上门女婿...
全能下人
自冥道中来，到阳世之去，一代冥帝明罗飞，融阴阳，贯五行，自成一道，以其阴阳之道，纵横诸天。欢迎加入阿创的QQ群489691732...
超级成长
小说作者天生小人物要我学礼仪美容服装？好吧，为了成为白马王子，忍了 要学太极截拳道空手道跆拳道？好吧，为了英雄救美，忍了 要我学管理经商炒股？好吧，为了缔造一个伟大的金融帝国，忍了 要我学编程黑客技术？好吧，为了黑掉美国白宫的网站，忍了 要我学机甲战斗和操控宇宙战舰？！一百三十七种宇宙语言！天哪，这个时代需要用到机甲者战舰驾驶一百二十七种宇宙语言吗！现在是二十一世纪啊！...
我的爱情在奔跑
一场失恋，成就了一个女诗人，一场网恋，成就了一个女作家，青春就是一个恋爱的季节，恋爱就是作家的摇篮，恋爱的季节，就是创作丰收的季节，一场突如其来的变故，一场美轮美奂的网恋，t令人陶醉，令人神往，充满了梦幻展开收起...
沧澜战神秦沧澜林婉若
他是万里海疆上的战神，回归都市，只为给她们一个家！...
永恒国度
凌晨，天灾降临。天道生变，万灵欲念执念充斥天地，天道不能承受，恶念横行，众生意念演变幻想世界，恶念，善念，执念，欲望纠缠不休，天道无法承受，已到极限，极则变，幻想降临，万界相融，万物霜天竞自由。此为新纪元开启，是毁灭，亦为新生。这一纪元为永恒纪元。...