全部标签

哥德尔

哥德尔传（讲述自亚里士多德之后最伟大的逻辑学家——哥德尔的一生）

AZW3 / 斯蒂芬·布迪安斯基 / 中信出版集团 / 2022-08 / 库尔特·哥德尔是20世纪最杰出的逻辑学家和数学家之一，被誉为自亚里士多德以来最伟大的逻辑学家。本书《哥德尔传》由斯蒂芬·布迪安斯基撰写，全面而生动地讲述了哥德尔的生平、思想及其对现代科学哲学的深远影响。
图书
- 1
- 0
数理逻辑发展史：从莱布尼茨到哥德尔

PDF扫描版 / 社会科学文献出版社 / 1993-08 / 《数理逻辑发展史：从莱布尼茨到哥德尔》是一本关于数理逻辑发展历程的著作。本书从莱布尼茨的逻辑思想出发，详细介绍了数理逻辑的发展历程，直至哥德尔的贡献。
图书
- 1
- 0
逻辑之旅从哥德尔到哲学

PDF扫描版 / forrestlin / 浙江大学出版社 / 2009-02 / 《逻辑之旅从哥德尔到哲学》是一本探讨逻辑学与哲学关系的书籍。作者forrestlin通过深入分析哥德尔的不完备性定理，揭示了逻辑学在哲学思考中的重要性。
图书
- 1
- 0
不完备性哥德尔的证明和悖论-丽贝卡·戈德斯坦

PDF扫描版 / 丽贝卡·戈德斯坦 / 湖南科学技术出版社 / 2008-04 / 《不完备性哥德尔的证明和悖论》是一本深入探讨哥德尔不完备性定理的书籍。哥德尔不完备性定理是数理逻辑中的一个重要定理，由库尔特·哥德尔在1931年提出。该定理表明，在任何包含基本算术的形式系统中，总存在一些命题既不能被证明，也不能被证伪。
图书
- 1
- 0
不完备性哥德尔的证明和悖论

PDF扫描版 / 湖南科学技术出版社 / 2008-04 / 《不完备性哥德尔的证明和悖论》是一本探讨哥德尔不完备性定理及其在数学和哲学中影响的书籍。哥德尔的不完备性定理是20世纪最重要的数学成果之一，它揭示了在任何足够复杂的数学系统中，总存在一些命题既不能被证明也不能被证伪。本书通过详细的证明和实例分析，帮助读者理解这一深奥的定理，并探讨其在逻辑、数学和哲学中的深远影响。
图书
- 1
- 0