【數學機械化】吳文俊著科學.pdf
数学机械化丛书 数学机械化 吴文俊著 北京
《数学机械化丛书》前言①十六七世纪以来,人类历史上经历了一场史无前例的技术革命,出现了各 种类型的机器,取代各种形式的体力劳动,使人类进入一个新时代.几百年后 的今天,电子计算机已可以有条件地代替一部分特定的脑力劳动,因而人类面 临另一场更宏伟的技术革命,处在又一个新时代的前夕.数学是一种典型的脑 力劳动,它在这一场新的技术革命中,无疑地将扮演一个重要的角色,为了了 解数学在当前这场革命中所扮演的角色,应对机器的作用,以及作为数学的脑 力劳动的方式,进行一定的分析 1.
《数学机械化丛书》前言 i 是塔斯基的结果近于例外,在初等几何及初等代数以外的大量结果都是反面 的,即机械化是不可能的．1956年以来美国开始了利用电子计算机做证明定 理的尝试年王浩先生设计了一个机械化方法,用计算机证明了罗素等著的《数学原理》这一经典著作中的几百条定理,只用了9分钟,在数学与数 理逻辑学界引起了轰动.一时间,机器证明的前景似乎非常乐观.例如1958 年时就有人曾经预测:在10年之内计算机将发现并证明一个重要的数学新定 理．还有人认为,如果这样,则不仅许多著名哲学家与数学家,如皮亚诺、怀 特海、罗素、希尔伯特以及图灵等人的梦想得以实现,而且计算将成为科学的 皇后,人