图书标签: 逻辑  科普  计算机  数学  计算机科学  计算机史  哲学  逻辑的引擎   

喜欢 逻辑的引擎 的读者还喜欢

• 
  通灵芯片 pdf epub mobi txt 电子书 下载
• 
  哥德尔、艾舍尔、巴赫 pdf epub mobi txt 电子书 下载
• 
  数学：确定性的丧失 pdf epub mobi txt 电子书 下载
• 
  证明与反驳 pdf epub mobi txt 电子书 下载
• 
  希尔伯特 pdf epub mobi txt 电子书 下载
• 
  哥德尔证明 pdf epub mobi txt 电子书 下载
• 
  编码的奥秘 pdf epub mobi txt 电子书 下载
• 
  数理逻辑 pdf epub mobi txt 电子书 下载
• 
  哥德尔 pdf epub mobi txt 电子书 下载
• 
  研究之美 pdf epub mobi txt 电子书 下载

从数学与逻辑的角度讲述计算机的发展史。 我们只知道电子管、晶体管、集成电路，却不知道计算机背后的思想。莱布尼茨、布尔、希尔伯特、哥德尔、图灵、冯诺依曼。。。那些伟大的名字不应该被忘记。

怀着很大的期望看的这本书，然而没有提供更多的东西，比我所知道的。除了更多的大牛们的奇闻轶事，如果真想学习相关内容，推荐看《计算理论导引》

没人觉得这本书的翻译甚至这个出版社的这个系列的翻译很糟糕？比如从句，似乎只会翻译成“这样一种.....即......”的形式，让人的阅读充满疲劳感。

尼玛原来哥德尔有个机油也叫Karl Menger....

关于数理逻辑的知识我看起来还是有很大的困难，不过不可否认，这是一本难得的讲述计算本质的好书。看来，是时候深究一下GEB了。

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

// 计算机科学是伪科学吗？ 这个问题曾经一度让我焦虑过好多天，作为一个理想成为科学家的人，这个问题的答案对我来说意义重大。在我越来越多地了解计算机科学（computer science）后，内心却对CS属于Science产生了越来越多的怀疑。在一篇和这个问题相关的有些消极和偏激 但其...  

很美很感人的科普著作，对于计算机科学中基本概念发展史上重要数学家数理逻辑学家的温情脉脉的描述呈现出真正富有智慧的人面对无尽的自然界奥秘时的注定的悲哀。在某本书里看到的，“真正的智慧，从觉醒之日起，就包含着绝望的悲哀。” 本书对于希望从数理科学角度思考逻辑学本...  

1. 感觉这才是真正的计算机导论。同时发现19世纪到20世纪初的大牛几乎都是早慧的天才，最重要的贡献在30出头那会几乎都已完成。估计跟那个时候没有很强的专业壁垒，而且都是通识教育，可以更早的不受限的进行自由的探索有关。 2. 像某人说的，现在我们看似直接的定义和理论，...  

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