图书标签: 逻辑 科普 计算机 数学 计算机科学 计算机史 哲学 逻辑的引擎
发表于2025-02-02
逻辑的引擎 pdf epub mobi txt 电子书 下载 2025
本书介绍了现代计算机背后的那些基本概念和发展这些概念的人,描写了莱布尼茨、布尔、费雷格、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作,讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。博达著作权代理有限公司授权出版据美国W.W.Norton公司2000年版本译出。2007年第二版亦使用同一ISBN。
马丁·戴维斯是计算机科学发展史上的先驱人物,其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一。他是纽约大学库朗数学科学研究所的荣誉退休教授,目前在加州大学伯克利分校做访问学者。
学校买了本旧书
评分令人目眩的激情、幽默。有梦的人有福了。
评分从数学与逻辑的角度讲述计算机的发展史。 我们只知道电子管、晶体管、集成电路,却不知道计算机背后的思想。莱布尼茨、布尔、希尔伯特、哥德尔、图灵、冯诺依曼。。。那些伟大的名字不应该被忘记。
评分了解一下每天都在使用的计算机的历史。大多数计算机的历史都是关于软硬件,最多讲到差分机的构思,这本书却讲述了计算机的思想起源,数学家们在抽象世界中的探索最终如何汇聚成现实世界中的实物。自然科学探索研究现实世界,从这个角度来说似乎数学并不能被算作科学,这也是许多人的看法,但是作为对抽象世界各种可能性的探索,计算机的例子可以说明抽象世界的可能性映射到物理世界的意义所在。在现实世界里,聚焦于长期目标的基础理论自由探索,因为无法预期收益,总是容易被忽视,但是对全人类来说却可能是下一个计算机这样伟大发明的奠基性工作,如果说我为什么热爱我们的文明,可能就是因为我们的文明之光在黑暗的世界里熠熠生辉吧。
评分怀着很大的期望看的这本书,然而没有提供更多的东西,比我所知道的。除了更多的大牛们的奇闻轶事,如果真想学习相关内容,推荐看《计算理论导引》
前不久看了刘文哲先生所著《棋道凌空》一书。刘老先生坚持认为,卡斯帕罗夫被深蓝击败是个阴谋,其实他是收了IBM的钱故意放水的。 且不说卡斯帕罗夫会不会为了几个小钱败坏自己的名誉,也不说已经是业界巨头的IBM怎么还会需要靠炒作来提升名气,我只说刘老的观点:...
评分前不久看了刘文哲先生所著《棋道凌空》一书。刘老先生坚持认为,卡斯帕罗夫被深蓝击败是个阴谋,其实他是收了IBM的钱故意放水的。 且不说卡斯帕罗夫会不会为了几个小钱败坏自己的名誉,也不说已经是业界巨头的IBM怎么还会需要靠炒作来提升名气,我只说刘老的观点:...
评分俺最喜欢结尾的这句话: The Dukes of Hanover thought they knew what Leibniz should be doing with his time: working on their family history. Too often today, those who provide scientists with the resources for their lives and work try to steer them in direc...
评分 评分逻辑的引擎 pdf epub mobi txt 电子书 下载 2025