数学机械化思想的历史发展.pdfVIP

数学机械化思想的历史发展 摘 要 在已有工作的基础上 本文从总体的和全面的角度着眼 从数学 机械化思想发展的关键人物和关键事件入手 结合对重点案例的分 析 综合考察了数学机械化思想发展的历史过程 特别是揭示数学机 械化思想的产生和发展 已有研究工作对数学机械化的思想发展虽有认识 但系统 全面 地揭示其发展脉络仍是数学史研究地重要课题 本文从笛卡尔 莱布 尼茨关于机械代替人脑处理数学设想出发 进一步揭示了希尔伯特的 数学机械化方法 塔斯基 王浩的创造性工作 以及吴文俊的卓越贡 献 为更深刻地理解数学机械化思想提供了有力的支撑 国内的数学机械化研究一直关注吴文俊院士的已有成果 对西方 学者的研究方法和思路介绍不多 本文在研读西方文献的基础上 比 较详细地介绍了数学机械化研究在西方的发展 特别突出了西方学者 对于数学机械化的不同理解和研究取向 本文的重点在于介绍塔斯基和王浩在数学机械化研究中的贡献 塔斯基首先在理论上证明 初等几何和代数范围的命题都可以通过机 械方法判定 塔斯基得出的结论给定理判定问题的研究带来了曙光 虽然哥德尔不完备定理否定了希尔伯特的思路 但是在其它方向寻找 判定方法是可行的