具体描述
本书讲述了计算机思想层面的历史，通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前就已经提出了其背后的思想。
作者简介
马丁•戴维斯（Martin Davis），计算机科学发展史上的先驱人物，其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一，他是纽约大学库朗数学科学研究所的荣誉教授，之后在加州大学伯克利分校做访问学者。
目录信息
第一章 莱布尼茨之梦
第二章 布尔把逻辑变成代数
第三章 弗雷格：从突破到绝望
第四章 康托尔：在无限中摸索
第五章 希尔伯特的营救
第六章 哥德尔使计划落空
第七章 图灵构想通用计算机
第八章 研制第一批通用计算机
第九章 超越莱布尼茨之梦
尾声
注释
参考书目
索引
译后记
· · · · · · (收起)
读后感
推荐程度：最好的科普之一，考虑到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...
评分很美很感人的科普著作，对于计算机科学中基本概念发展史上重要数学家数理逻辑学家的温情脉脉的描述呈现出真正富有智慧的人面对无尽的自然界奥秘时的注定的悲哀。在某本书里看到的，“真正的智慧，从觉醒之日起，就包含着绝望的悲哀。” 本书对于希望从数理科学角度思考逻辑学本...
用户评价
看了一半，未看完！
评分一般
评分翻译有些拗口的地方 读的好痛苦…
评分数理逻辑推荐的科普读物，作为数理逻辑科普的话只看图灵之前就可以了，但如果这样，这本书写的过于“普”了；我更推荐《哥德尔证明》。/ 图灵之后对于计算机的介绍更适合我们这些哲学系学生，但是过于技术的内容不太感兴趣所以只是草草翻过。/ 另外作者把人物轶事和理论混在一起的写法实在不好，而且人物轶事过丰富了… / 但还是补了很多课，最重要的是布尔和康托尔，这两个人并没有在《哥德尔证明》那本书中单独出现。
评分电子计算机的本质就是根据预先设定的逻辑演算规则，对输入的数学命题进行自动演算，最终输出结果。而为了实现这一程序化计算的小目标，莱布尼兹，布尔，弗雷格，罗素，康托尔，希尔伯特，哥德尔，图灵，冯诺依曼等，历史上的这些数学家们在突破到绝望的来回拉锯战中，终于搭建出一套虽不完美，但总算可以落到实地的基础理论，基础科学的进步难度由此可见一斑
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有