邏輯的引擎 在線電子書 圖書標籤: 邏輯  科普  計算機  數學  計算機科學  計算機史  哲學  邏輯的引擎   

喜歡 邏輯的引擎 在線電子書 的讀者還喜歡

• 
  通靈芯片 在線電子書 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瞭。

感覺就是一本介紹各位先哲的八卦的書。

计算机作为人类历史上最伟大的发明之一，我们一直称之为科技的进步，但是这本书告诉我们，这不过是数学家们在追求终极真理的道路上顺便摘得的果实而已。 计算机不仅仅是一大堆二极管三极管，更重要的是二极管和三极管怎么能构成这么一个神奇的东西，谁说可以有这样一个神奇的东...  

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

每一章内各小节的组织比较乱，八卦夹杂在一起容易忘掉这人到底干了些什么。理了下我对他们贡献的理解。 1.莱布尼兹大神最早提出一个想法，我们的宇宙可以由一种符号推理演算来表示。 2.乔治·布尔把逻辑学纳入了数学的范畴，即布尔代数。 3.弗雷格发行了形式句法，使后人可...  

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