图书标签: 逻辑 科普 计算机 数学 计算机科学 计算机史 哲学 逻辑的引擎
发表于2024-11-22
逻辑的引擎 pdf epub mobi txt 电子书 下载 2024
本书介绍了现代计算机背后的那些基本概念和发展这些概念的人,描写了莱布尼茨、布尔、费雷格、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作,讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。博达著作权代理有限公司授权出版据美国W.W.Norton公司2000年版本译出。2007年第二版亦使用同一ISBN。
马丁·戴维斯是计算机科学发展史上的先驱人物,其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一。他是纽约大学库朗数学科学研究所的荣誉退休教授,目前在加州大学伯克利分校做访问学者。
发现每本数理逻辑的科普几乎都在说相同的东西
评分读过后第一次把多年攒下的碎片连缀在一起,此刻回头去看,才明白当初以为正确的方向即使不算是偏离,也是在绕远。许多线索明明已在手边,却由于缺乏更宏观的视野,越不过那最后一层薄薄的阻碍,曾经最看重的观念带来激励的同时,也造成了最大的局限。其实关于身心问题的答案并不在哲学之中,更不在心理学之中,维也纳小组之后如果能明白哥德尔的真正意义,也许也就能明白逻辑学如何与工程结合,不至在概念的海洋里迷失。现在再读到,是否算是一切平息后对孤独的报偿?可是还是晚了。
评分感觉就是一本介绍各位先哲的八卦的书。
评分这其实是一本八卦书吧。
评分几乎是我读过最好的计算机原理书,逻辑,数理,自动计算发展沿革,计算机背后的数学问题…完全不同于普通套路,比0和1更深入,但因为把握在一个可以把科学当故事讲的作家的手中,加上一个专业的翻译,少有的精准而通顺,道理却能讲到位。力荐。
推荐程度:最好的科普之一,考虑到CS的学生对计算理论的数学根基掌握不是很好,本书很有帮助。 主题:这本书介绍的是自动计算思想发展的历史。 内容:不仅仅是科学家佚事的八卦,还把基本(数学)问题的思想史讲得很清楚。 原作者:大牛境界,从本质层次深入浅出的讲到了计...
评分“我们常常从工程的角度去理解计算机,却没有机会去了解工程背后的逻辑学家和他们的理论。” 看了这本书之后真的还是受益非浅。从莱布尼兹到冯诺依曼,几代人对计算、对逻辑苦苦的追寻和贡献。 这本书有几个没想到: 1. 生动,平实。很多数学原理讲解地非常浅显易懂。 2. 不...
评分推荐程度:最好的科普之一,考虑到CS的学生对计算理论的数学根基掌握不是很好,本书很有帮助。 主题:这本书介绍的是自动计算思想发展的历史。 内容:不仅仅是科学家佚事的八卦,还把基本(数学)问题的思想史讲得很清楚。 原作者:大牛境界,从本质层次深入浅出的讲到了计...
评分俺最喜欢结尾的这句话: 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 电子书 下载 2024