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

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

• 
  皇帝新脑 在线电子书 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，等等，内容应该可以再丰富、再跌宕起伏一些吧？

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

看的脑阔疼……

讲解了计算机前身与其理论来源，可以理解为一部历史书。感觉看完吸收的很少。

康托尔连续统假设、哥德尔不完备性定理、逻辑与机器的关系没有明白

（一） 有一阵，我突然非常爱看教育频道。那里正在热播迪斯尼的金牌节目：《艺术创想》。 这个节目里有很多出乎你意料的东西：废旧的报纸经过主持人的手能变成精美的画框，普通的布条亦能魔幻般变成绿荫场上一个个神采奕奕的足球名将。 有一回，主持人跑到某个学校的厨房...  

去图书馆翻了一本中意的书出来，叫逻辑的引擎。还没有细细地看，只是粗翻了一下，大概就是一个对计算机逻辑模型有巨大贡献的科学家的一个小小的传记。当然，它更像是一部计算机发展（逻辑上，而非工程上）简史。 说它是传记，甚至说是历史，但是它不是那么地容易读的，读者需要...  

前不久看了刘文哲先生所著《棋道凌空》一书。刘老先生坚持认为，卡斯帕罗夫被深蓝击败是个阴谋，其实他是收了IBM的钱故意放水的。 且不说卡斯帕罗夫会不会为了几个小钱败坏自己的名誉，也不说已经是业界巨头的IBM怎么还会需要靠炒作来提升名气，我只说刘老的观点：...