逻辑学史
数学:确定性的丧失
Mathematics: the Loss of Certainty Douban Goodreads
★ 8.3 23 ratings
[美] M·克莱因 translator: 李宏魁 publishing house: 湖南科学技术出版社 1997 - 6
绝大多数有知识的人今天仍然认为数学是关于物质世界的不可动摇的知识体系,数学推理是准确无误的。这本专著驳斥了这种神话。作者M·克莱因指出,今天,普遍接受的数学概念已不复存在,事实上,有许多相互矛盾的数学概念;但是,在描述和研究自然与社会现象时,数学的有效性却在持续扩大。这是为什么? 全书在非专业层次上探讨数学尊严的兴衰,详细介绍了数学真理的起源、数学真理的繁荣、科学的数学化、数学向何处去等内容。
Read
Oct. 23, 2020
以为是从数学基础视角切入的数学史,实际上是应用数学的辩护书。第一推动丛书收录的两本数学基础史(此书与《逻辑的引擎》),作者Kline与Davis本身都是杰出的学者,却没能把历史的激动人心之处落于笔下。
数学史 逻辑学史 数学 逻辑学
逻辑的引擎
Engines of logic Douban Goodreads
★ 8.4 20 ratings
[美] 马丁·戴维斯 translator: 张卜天 publishing house: 湖南科学技术出版社 2005 - 5
本书介绍了现代计算机背后的那些基本概念和发展这些概念的人,描写了莱布尼茨、布尔、费雷格、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作,讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。博达著作权代理有限公司授权出版据美国W.W.Norton公司2000年版本译出。2007年第二版亦使用同一ISBN。