逻辑的引擎PDF电子书下载

图书介绍：本书作者美国著名数理逻辑学家，是计算机科学发展史上的先驱人物，曾对希尔伯特第十问题有过深入的研究。读者将对西方文化的核心之一——逻辑或数学有更深的理解，并且造就一种敏锐的眼光和问题意识，认识到再复杂的东西其实也是由简单的东西根据一定的规则组合而成的。在普遍崇拜技术外表而忽视其深层本质的今天，这样的书显得尤为难得和重要。