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

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

• 
  皇帝新脑 在线电子书 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 下载

「除了圖靈，他們之中沒有一個人意識到自己的工作可以被如此應用。」

电子计算机的本质就是根据预先设定的逻辑演算规则，对输入的数学命题进行自动演算，最终输出结果。而为了实现这一程序化计算的小目标，莱布尼兹，布尔，弗雷格，罗素，康托尔，希尔伯特，哥德尔，图灵，冯诺依曼等，历史上的这些数学家们在突破到绝望的来回拉锯战中，终于搭建出一套虽不完美，但总算可以落到实地的基础理论，基础科学的进步难度由此可见一斑

关于希尔伯特和哥德尔的部分没太读懂，但是对于图灵机的引入和介绍都十分优秀。

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

电子计算机的本质就是根据预先设定的逻辑演算规则，对输入的数学命题进行自动演算，最终输出结果。而为了实现这一程序化计算的小目标，莱布尼兹，布尔，弗雷格，罗素，康托尔，希尔伯特，哥德尔，图灵，冯诺依曼等，历史上的这些数学家们在突破到绝望的来回拉锯战中，终于搭建出一套虽不完美，但总算可以落到实地的基础理论，基础科学的进步难度由此可见一斑

* 计算通过在一条被划分成方格的纸带上写下符号来进行。 * 执行计算的人在每一步都只注意其中一个方格中的符号。 * 她的下一步将仅仅取决于这个符号和她当前的心灵状态。 * 她的下一步是这样的：她在当前注意的方格里写下一个符号，然后把注意力转向它左边或右边的相邻方格。 ...  

用图灵在一次演讲的话可以贯穿本书的核心内容： ”我希望数字计算机能够最终激起人们对符号逻辑的极大兴趣······人与这些机器进行交流的语言······构成了一种符号逻辑。“ 图灵通过细致的观察基本的数学运算，并将数学运算符号化为五元运...  

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