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

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

• 
  通灵芯片 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....

读过后第一次把多年攒下的碎片连缀在一起，此刻回头去看，才明白当初以为正确的方向即使不算是偏离，也是在绕远。许多线索明明已在手边，却由于缺乏更宏观的视野，越不过那最后一层薄薄的阻碍，曾经最看重的观念带来激励的同时，也造成了最大的局限。其实关于身心问题的答案并不在哲学之中，更不在心理学之中，维也纳小组之后如果能明白哥德尔的真正意义，也许也就能明白逻辑学如何与工程结合，不至在概念的海洋里迷失。现在再读到，是否算是一切平息后对孤独的报偿？可是还是晚了。

这其实是一本八卦书吧。

莱布尼兹、布尔、弗雷格、康托尔、希伯特、哥德尔、图灵。逻辑数学，形式逻辑，并通过工程学转换为当代机器和人工智能

我经常被数学家和物理学家把我的脑子搞得天翻地覆，震得我目瞪口呆。多年以后，重拾数学。补课咯……

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

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

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