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

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

• 
  通灵芯片 在线电子书 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 下载

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

发现每本数理逻辑的科普几乎都在说相同的东西

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

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

发现每本数理逻辑的科普几乎都在说相同的东西

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

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

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

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