手机浏览器扫描二维码访问
数学大帝第391章 柯尔莫哥洛夫检验（第1页）
一秒记住【xiaoyanwenxue.com】精彩无弹窗免费！“数学大帝（.shg.tw）”！
把示性数这些拓扑学问题放下之后。
吴文俊开始着手研究机械推理问题。
吴文俊知道，想要用机械推理，肯定需要把布尔代数的知识全部运用在其中。
使用推理机器古来有之。
先是笛卡尔知道几何问题用坐标化成代数，之后有莱布尼茨拿出了基本的计算器，同时也创立了“推理机器”的学说。
之后希尔伯特在《几何基础》里，提出几何问题可以用机械化的解体方法。
1945年波兰数学家，塔尔斯基定理：一切初等几何和代数命题，都可以用机械来证明。有限个整系数多项式或不等式都属于初等代数问题。
1975年，考林斯“柱面代数分解方法”比塔尔斯基的高明很多。但计算器上仍只能解决个别稍微难的几何问题。
1959年，格兰特发明了后推搜索法。
1975年，奈文斯发明了前推搜索法。
后来的吴文俊发明了“吴方法”，是一个发表的“初等几何判定问题和机械化证明”的论文，让机械证明的效率远远高于以前。
在计算机上仅用几面就可解出很难的几何证明。
“吴方法”分三步：
1，从几何公理系统出发，引进数学系统和坐标系统，使任意定理的证明问题化为纯代数问题。
2，将几何定理假设部分的代数关系式进行整理，然后依确定步骤验证定理终结部分代数关系式是否可以从假设部分已整理成序的关系式中推出。
3，依2中确定步骤成程序，并在计算机上实施以得证明与否结论。
这些结果在1984年吴文俊的《集合定理机械证明的基本原理》中对Pascal几何、垂直几何、度量几何、欧式几何去确立各类几何机械化证明。
我的火影忍者果然有问题 陆鸣血脉重生 [主咒回]社恐的我无所不能 凤神临世 豪门绝宠之峥少溺爱狂妻 我的重返2008 恐怖复苏：开局激活酆都大帝模板 楚扬苏芷洛小说 限时婚约：前夫请签字 德赫瑞姆的领主 荒坟夜啼 女神临世素手倾天 全能金手指 爹地，大佬妈咪掉马了 绝品保镖美总裁 一品夫人：农家医女 暮色倾尽好晨光 女领导的兵王司机 商界大佬想追我 贴身侍卫
极品仙门狂婿
作者天府儒生的经典小说极品仙门狂婿最新章节全文阅读服务本站更新及时无弹窗广告小说极品仙门狂婿转世入赘玄门，众人视我为废物，岂不知老子炼丹炼器样样精通，什么狗屁镇山功法，在老子这里就是垃圾，什么绝世神丹，前世只配给我宠物吃。...
穿书后我每天都在等大佬黑化
书海阁小说网免费提供作者叁公子的经典小说穿书后我每天都在等大佬黑化最新章节全文阅读服务本站更新及时无弹窗广告欢迎光临wwwshgtw观看小说穿书后，叶浔一开始还挺可怜这位残疾夫君，直到有一天她发现她这个夫君扮猪吃老虎小朋友你是否有很多问号？叶浔同人文害人啊，我是作者，我都不知道他是假装的！！！...
财运无双
被前女友嫌弃是屌丝男，让屌丝男滚蛋，获得神豪系统，从此开始反转。...
造化星尊
小镇上的孤身少年，因一念之仁，结下善缘，从此踏上修真之路。行走于坎坷的道途，感受命运的浮沉，他究竟该何去何从？仰望夜空的星海，试图寻找答案，可这是他要寻觅的吗？御剑战四方，前路未卜，归途又在何方？世事多变，佳期如梦，其心何所依？不如携手漫步于星空，世间万象尽揽入怀，任它腾挪变化，初心不改！...
去吧呱呱佐助
穿越者无敌吊炸天常有，但是靠着小智般热血和直觉再加上一点点智慧的青年在一个大家都不是傻子的世界里慢慢走出一条自己的道路。...
许诺庄梦蝶程鹏
神龙附体许诺由黑空行云倾心创作的一本玄幻科幻类型的小说，故事中的主角是许诺庄梦蝶程鹏，文中的爱情故事凄美而纯洁，文笔极佳，实力推荐。小说精彩段落试读曾经，他是万人敬仰的超级学霸！如今，他是人人鄙夷的废柴学渣！原来，是一丝神龙残魂进入了许诺的体内，融合完成，成为神龙之体的许诺，开始了他的逆袭之路，重回巅峰！...