具体描述
本书讲述了计算机思想层面的历史，通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前就已经提出了其背后的思想。
作者简介
马丁•戴维斯（Martin Davis），计算机科学发展史上的先驱人物，其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一，他是纽约大学库朗数学科学研究所的荣誉教授，之后在加州大学伯克利分校做访问学者。
目录信息
第一章 莱布尼茨之梦
第二章 布尔把逻辑变成代数
第三章 弗雷格：从突破到绝望
第四章 康托尔：在无限中摸索
第五章 希尔伯特的营救
第六章 哥德尔使计划落空
第七章 图灵构想通用计算机
第八章 研制第一批通用计算机
第九章 超越莱布尼茨之梦
尾声
注释
参考书目
索引
译后记
· · · · · · (收起)
读后感
如今计算机已成为人类社会生活必不可少的一部分，潜入了人类社会生活的方方面面，计算机技术不仅促进了现代社会，而且也是现代社会的一个特征。在人们的观念中，计算机技术发展不过一个世纪，但其突飞猛进的发展速度已经超过了其他任何技术的发展；特别是近30年来，材料、工程...
评分 评分 评分用图灵在一次演讲的话可以贯穿本书的核心内容： ”我希望数字计算机能够最终激起人们对符号逻辑的极大兴趣······人与这些机器进行交流的语言······构成了一种符号逻辑。“ 图灵通过细致的观察基本的数学运算，并将数学运算符号化为五元运...
评分很美很感人的科普著作，对于计算机科学中基本概念发展史上重要数学家数理逻辑学家的温情脉脉的描述呈现出真正富有智慧的人面对无尽的自然界奥秘时的注定的悲哀。在某本书里看到的，“真正的智慧，从觉醒之日起，就包含着绝望的悲哀。” 本书对于希望从数理科学角度思考逻辑学本...
用户评价
数理逻辑推荐的科普读物，作为数理逻辑科普的话只看图灵之前就可以了，但如果这样，这本书写的过于“普”了；我更推荐《哥德尔证明》。/ 图灵之后对于计算机的介绍更适合我们这些哲学系学生，但是过于技术的内容不太感兴趣所以只是草草翻过。/ 另外作者把人物轶事和理论混在一起的写法实在不好，而且人物轶事过丰富了… / 但还是补了很多课，最重要的是布尔和康托尔，这两个人并没有在《哥德尔证明》那本书中单独出现。
评分电子计算机的本质就是根据预先设定的逻辑演算规则，对输入的数学命题进行自动演算，最终输出结果。而为了实现这一程序化计算的小目标，莱布尼兹，布尔，弗雷格，罗素，康托尔，希尔伯特，哥德尔，图灵，冯诺依曼等，历史上的这些数学家们在突破到绝望的来回拉锯战中，终于搭建出一套虽不完美，但总算可以落到实地的基础理论，基础科学的进步难度由此可见一斑
评分一般
评分看的脑阔疼……
评分讲弗雷格、希尔伯特与哥德尔三人的部分个人最感兴趣。早先阅读过弗雷格的某部著作，但当时吸收不深。按照哥德尔的思路，似乎可以将某个公理体系作为一个整体，对公理体系的“序列”也可以不断逼近极限。“无限”究竟是否能够达到一个“完成”的状态而能够拿来直接使用？事实上，分析领域的许多内容正是围绕“极限”作文章。逻辑、符号演算、语言哲学这些内容是个人之前（刻意）较少接触的，其实也很难在一部小书中充分领略。后半部分叙述图灵、冯诺依曼、通用计算机等内容，个人就没那么感兴趣，而关于计算机历史以及代表人物，有很多更好的科普书籍。谈到冯诺依曼“虚荣”的性格，似乎也并不那么令人惊讶。另外，我觉得此系列新版的包装并不如原来的好。
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有