注重体验与质量的电子书资源下载网站
分类于: 人工智能 计算机基础
简介
不完备性: 哥德尔的证明和悖论 豆 8.5分
资源最后更新于 2020-08-18 15:47:18
作者:戈德斯坦
译者:唐璐
出版社:湖南科学技术出版社
出版日期:2008-01
ISBN:9787535752451
文件格式: pdf
标签: 数学 哥德尔 逻辑 科普 不完备性 传记 哲学 科学
简介· · · · · ·
《不完备性:哥德尔的证明和悖论》是对哥德尔的生活、工作及其世界的重要新礼赞。20世纪早期见证了经典物理和数学的基础假设遭受的几次打击。相对论颠覆了约定俗成的时空观念,量子世界的研究挑战因果效应的基本观念。最为惊人的是,对于一切科学的基础——数学,不完备性定理揭示了将数学理性系统化的一切尝试中都藏有不可弥合的裂痕,这个结果简直是悖论式的。藏在这个发现背后的天才就是哥德尔,他自身就是一个悖论式的人物。他是自亚里士多德以来最伟大的逻辑学家,同时还是爱因斯坦晚年最亲密的思想伙伴。但他行事又极为古怪,惯于偏执狂推理,并最终因此悲剧性地死去。他深受失去理性的困扰,仍然对理性深具信心。通过天才的证明。他得以揭示在任何足够复杂的系统中——简单地说,任何数学家想要使用的系统——都存在不能被证明的真命题。一些思想家对此感、到绝望。另一些,如令人敬畏的维特根斯坦,一直不能...
目录
引子
第1章 实证主义者中间的柏拉图主义者
第2章 希尔伯特和形式主义者
第3章 不完备性证明
第4章 哥德尔的不完备性
注释
阅读建议
致谢
附录1 人名译名对照表
附录2 专用名词译名对照表
第1章 实证主义者中间的柏拉图主义者
第2章 希尔伯特和形式主义者
第3章 不完备性证明
第4章 哥德尔的不完备性
注释
阅读建议
致谢
附录1 人名译名对照表
附录2 专用名词译名对照表