手机浏览器扫描二维码访问
数学大帝第391章 柯尔莫哥洛夫检验（第1页）
一秒记住【xiaoyanwenxue.com】精彩无弹窗免费！“数学大帝（.shg.tw）”！
把示性数这些拓扑学问题放下之后。
吴文俊开始着手研究机械推理问题。
吴文俊知道，想要用机械推理，肯定需要把布尔代数的知识全部运用在其中。
使用推理机器古来有之。
先是笛卡尔知道几何问题用坐标化成代数，之后有莱布尼茨拿出了基本的计算器，同时也创立了“推理机器”的学说。
之后希尔伯特在《几何基础》里，提出几何问题可以用机械化的解体方法。
1945年波兰数学家，塔尔斯基定理：一切初等几何和代数命题，都可以用机械来证明。有限个整系数多项式或不等式都属于初等代数问题。
1975年，考林斯“柱面代数分解方法”比塔尔斯基的高明很多。但计算器上仍只能解决个别稍微难的几何问题。
1959年，格兰特发明了后推搜索法。
1975年，奈文斯发明了前推搜索法。
后来的吴文俊发明了“吴方法”，是一个发表的“初等几何判定问题和机械化证明”的论文，让机械证明的效率远远高于以前。
在计算机上仅用几面就可解出很难的几何证明。
“吴方法”分三步：
1，从几何公理系统出发，引进数学系统和坐标系统，使任意定理的证明问题化为纯代数问题。
2，将几何定理假设部分的代数关系式进行整理，然后依确定步骤验证定理终结部分代数关系式是否可以从假设部分已整理成序的关系式中推出。
3，依2中确定步骤成程序，并在计算机上实施以得证明与否结论。
这些结果在1984年吴文俊的《集合定理机械证明的基本原理》中对Pascal几何、垂直几何、度量几何、欧式几何去确立各类几何机械化证明。
我的火影忍者果然有问题 限时婚约：前夫请签字 楚扬苏芷洛小说 荒坟夜啼 全能金手指 绝品保镖美总裁 商界大佬想追我 我的重返2008 爹地，大佬妈咪掉马了 女领导的兵王司机 恐怖复苏：开局激活酆都大帝模板 陆鸣血脉重生 凤神临世 暮色倾尽好晨光 一品夫人：农家医女 德赫瑞姆的领主 女神临世素手倾天 豪门绝宠之峥少溺爱狂妻 [主咒回]社恐的我无所不能 贴身侍卫
锦绣农门：冷王独家小厨娘
人家穿越最不济也是个豪门庶女，可她倒好，穿越过来就喜当娘。她倒是不怕，她厨艺高超，可以致富发家。可是那位主动上门的大帅哥，你怎么回事？...
我是特种兵叶青
新书超强兵王在都市已发布，跪求各位朋友的支持。古语有云一命二运三风水。天生盘龙命格，承载卧虎风水的最强特种兵叶青，为了救回被拐走的唯一弟弟，毅然退伍南下。可是，在这灯红酒绿的都市，隐忍只是无用，拳头才是真理。英雄气短，儿女情长，终究敌不过那残酷的生存法则。而他，誓要成为那生存法则的制定者！...
隐婚蜜爱：墨少，宠上瘾！
人生中第一次喝的烂醉如泥，醒来成了有夫之妇。人生中第二次喝的烂醉如泥，醒来失了身。楚微俏人生中最后悔的事，就是被喝酒误事。墨庭深将她抵在床头，唇角邪魅勾起，宝贝，你说过不后悔嫁给我。楚微俏瑟瑟发抖，嗯，她是不敢后悔啊！...
我用房东身份混都市
唐云身为当今地下世界当之无愧的强者，因执行任务，被人陷害卷入一场国际斗争，被楚国最大的邪恶首领血皇后悬赏通缉，无奈之下只能退役回到老家中海躲避，与此同时暗中调查陷害自己的幕后主使。唐云在中海曾经暗中买下的别墅中休养，偶遇从前的女神被房东驱逐，又遭到追求者纠缠，唐云挺身而出装逼打脸，将别墅房间租给女神，孤男寡女共处一室自然发生暧昧。...
甜蜜婚宠：总裁老公心机深
嫁给我，从此以后夫以妻纲，房子车子存折我都是你的，疼你爱你宠你不负你。前脚被渣男绿，夏浅溪立马闪婚淮城钻石王老五，珠宝钻石豪车豪宅收到手软。都说薄夜白残酷冷血，接近他的女人都消失了。夏浅溪揉着腰表示不服，我家老公超级温柔会宠人。众人瑟瑟发抖我们见到的怕不是同一个薄大少。嫁给宠妻狂魔薄夜白，她每天吃饭睡觉虐虐渣，日子过得简直不要太舒坦。被狼保护过的女人，永远不会爱上野狗。...
诱夫：囧妃桃花多
一朝穿越，变成了南宫世家的大小姐，什么，成亲？她才18岁，是不是太早了点？新婚前晚，第一次中媚药！小弟弟，给姐解个火吧！第二次中标，大哥哥，泄泄火吧！三次火焰果，大叔，来啊！N多次，天哪，姐这是肿么了？难不成，姐跳进桃花池！情节虚构，请勿模仿！...