逻辑的引擎 在线电子书 图书标签: 计算机  逻辑学  科普  数学  逻辑  第一推动丛书  计算机科学  科学   

喜欢 逻辑的引擎 在线电子书 的读者还喜欢

• 
  皇帝新脑 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  时间、空间和万物 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  大宇之形 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  四维旅行 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  寻找希格斯粒子 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  复杂的引擎 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  计算进化史 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  人工智能的进化 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  深入理解程序设计 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  物理天文学前沿 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载

【第十二本】穿插在哲学书中看会另有一番思考的一本书，非常棒的一本书，不知道第一推动系列其他是否也这么合我胃口。从莱布尼茨到布尔到康托尔，从希尔伯特到哥德尔到图灵，把计算机从最初的哲学思考到最终实物成型的思想脉络理清楚是一件非常有趣的事情。最让我着迷的是从康托尔到哥德尔这一段，人们对于逻辑、数学、集合论、无限概念、群论等等的发展如此艰涩但仔细回味却如此美妙而伟大，仿佛在洞悉思考和人的本质，但又没有陷入完全形而上的讨论，这是最美妙的，因为往往完全陷入了形而上的讨论的时候，反而容易让我失去一条明确的思考线索。我真有一些后悔大学的时候没有好好学习抽象代数和近世代数，集合论，群，域，环这些抽象的概念没想到其实底层能与人类思想有这么多迷人的契合。哥德尔不完备定理如此强大，以至于我完全相信人类无法了解自身

讲弗雷格、希尔伯特与哥德尔三人的部分个人最感兴趣。早先阅读过弗雷格的某部著作，但当时吸收不深。按照哥德尔的思路，似乎可以将某个公理体系作为一个整体，对公理体系的“序列”也可以不断逼近极限。“无限”究竟是否能够达到一个“完成”的状态而能够拿来直接使用？事实上，分析领域的许多内容正是围绕“极限”作文章。逻辑、符号演算、语言哲学这些内容是个人之前（刻意）较少接触的，其实也很难在一部小书中充分领略。后半部分叙述图灵、冯诺依曼、通用计算机等内容，个人就没那么感兴趣，而关于计算机历史以及代表人物，有很多更好的科普书籍。谈到冯诺依曼“虚荣”的性格，似乎也并不那么令人惊讶。另外，我觉得此系列新版的包装并不如原来的好。

老爷子文笔一般般呀。计算机科学的发轫、从数学/逻辑母体的分娩、甚至包括McCulloch和Pitts等人的尝试、McCarthy和Minsky的CSAIL，等等，内容应该可以再丰富、再跌宕起伏一些吧？

看的脑阔疼……

了解真实的历史

这本书的主要内容就是介绍数学中的一些最基本的思想是如何一步步发展成为计算机的理论基础的。 作者本人是学数学出身的，后来从计算机诞生之时起就从事相关工作，作为一个专业人员来解释相关的内容，确实是游刃有余。 作者从数学专业本身出发解释一些用于计算机的数理逻辑的问...  

如今计算机已成为人类社会生活必不可少的一部分，潜入了人类社会生活的方方面面，计算机技术不仅促进了现代社会，而且也是现代社会的一个特征。在人们的观念中，计算机技术发展不过一个世纪，但其突飞猛进的发展速度已经超过了其他任何技术的发展；特别是近30年来，材料、工程...  

如今计算机已成为人类社会生活必不可少的一部分，潜入了人类社会生活的方方面面，计算机技术不仅促进了现代社会，而且也是现代社会的一个特征。在人们的观念中，计算机技术发展不过一个世纪，但其突飞猛进的发展速度已经超过了其他任何技术的发展；特别是近30年来，材料、工程...  

是本好书。对计算机的历史从数学的角度作了精辟的解说。但是我读的是中文版。不知道谁有英文版的电子书，希望能给我一本。不盛感谢。  

是本好书。对计算机的历史从数学的角度作了精辟的解说。但是我读的是中文版。不知道谁有英文版的电子书，希望能给我一本。不盛感谢。