数学|什么是数学证明？四色猜想的证明为何震动了整个数学界？机器

文章图片

文章图片

文章图片

关于是否会存在定理证明机，在理论上人们是有过不同的看法的。有些人认为不可能，如著名数学家庞加莱；而有些人却觉得是可能的，并从理论上进行了论证，如著名的数理逻辑学家塔尔斯基。同时他还指出初等代数和初等几何范围的定理证明是可以实现机械化的。而在希尔伯特的《几何基础》中，也已经蕴涵了“万理一证”的定理证明机械化思想，只是由于物质条件的不成熟而计人把他的这个重要思想给忽视了。然而，本世纪初数理逻辑的创立，以及40年代电子计算机的出现却复兴了这一想法，并且使之成为现实。
本世纪 50 年代，在这方面做出先驱性工作的是数理逻辑学家王浩教授，他仅用几分钟的时间就在计算机上证明了罗素和怀特海合著的《数学原理》中的300多条定理。这件事情为从事人工智能研究的人们着实兴奋了一阵，但是这一切技术性的工作并没有太多地引起数学界人士关于计算机对数学影响的重视，因为计算机所做的也就是人工所做的翻版。
然而70年代以后，计算机在数学中的应用却给数学界带来了未曾料想的影响，它使得人们开始重新思考数学的本质问题。因为曾经困扰人们百年多的四色猜想在计算机上得到了证明，而且它的证明过程是人工无法检验的；而以大自然中具有自相似形状的物体为研究对象的分形几何，更是计算机下的产物。事实上，越来越多的数学问题的解决需要计算机的帮助，甚至是必须的。所有这些事实与人们从 19 世纪所接取过来的丰硕成果是这样不同，于是自然地就引起了人们对数学哲学问题的思考和讨论。
理论上的争论?????纵观历史的发展，人们想把推理机械化的思想很早以前就有，如柏拉图、莱布尼茨、霍布斯、笛卡尔等等。而在近代，著名的德国数学大师希尔伯特在1899年出版的经典名著《几何基础》中，就已经指出了几何定理可以不是逐一证明，而是一类定理可以用统一的方法一起证明。其大致的方向是从公理化出发，通过代数化而达到机械化。只是由于当时数学研究仍处于手工作坊时代，这个重要的机械化方向和意义没有被数学家们及时地认识到。其实连希尔伯特自己也没有明确地意识到。

希尔伯特

到了本世纪初，数理逻辑的发展为推理过程的机械化提供了基础。无论命题演算还是谓词演算都建立了公理系统，这就使得推理过程形式化。于是从一些很简单明白的公理出发，使用一些很简单的机械推理规则，便可一步一步地把人们日常使用的、乃至数学中所使用的极复杂的推理规则推导出来。换句话说，人们日常使用的极复杂的推理规则，可以化归为一些简单的、机械的推理动作。最终的这些推理动作是这样的简单，以至于机械也可以实现，数理逻辑的成果让人们认识到，可利用机器来部分地代替人类头脑进行思维，正如可以利用机器来代替人类的体力劳动一样。

数学|什么是数学证明？四色猜想的证明为何震动了整个数学界？

推荐阅读

银行周末能办卡吗(图文银行周末能办卡吗)

锌对人体有什么作用锌对人体有什么作用与功效

加你qq空间单独设置密码操作 qq空间独立密码怎么设置

闲置土地处置方法闲置土地怎么处置

干鹿茸需要冷藏还是冷冻鹿茸湿的好还是干的好

高考零分的蒋多多最近状况

破水多久后会生下来

葛根粉和茯苓粉一起吃的功效葛根粉和茯苓粉

想买台打印机，主要打印作业用，你觉得激光的好，还是喷墨的好，你有哪些推荐？

华为荣耀8还值得买么

猕猴桃秋天可以移栽吗猕猴桃秋天可以移栽吗图片

弹的多音字组词弹的多音字组词语

关于浙江财经大学法学院简述浙江财经大学法学院

这辈子没什么野心只求合家平安的星座？

黄酒煮鸡蛋的功效黄酒煮鸡蛋有什么功效

班主任工作申请书

斑马会员怎么注销

笔记本电脑键盘进水了怎么办？抢救进水键盘攻略，拯救者笔记本电脑键盘进水了怎么办？

牛年王姓宝宝起名大全姓王的牛宝宝名字大合集

moto8 cn|中国最大的摩托车论坛