邏輯的引擎 在線電子書 圖書標籤: 計算機  邏輯學  科普  數學  邏輯  第一推動叢書  計算機科學  科學   

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

• 
  皇帝新腦 在線電子書 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 下載

康托爾連續統假設、哥德爾不完備性定理、邏輯與機器的關係沒有明白

從某種程度上而言，計算機是數學思維的産物

一般

關於希爾伯特和哥德爾的部分沒太讀懂，但是對於圖靈機的引入和介紹都十分優秀。

講弗雷格、希爾伯特與哥德爾三人的部分個人最感興趣。早先閱讀過弗雷格的某部著作，但當時吸收不深。按照哥德爾的思路，似乎可以將某個公理體係作為一個整體，對公理體係的“序列”也可以不斷逼近極限。“無限”究竟是否能夠達到一個“完成”的狀態而能夠拿來直接使用？事實上，分析領域的許多內容正是圍繞“極限”作文章。邏輯、符號演算、語言哲學這些內容是個人之前（刻意）較少接觸的，其實也很難在一部小書中充分領略。後半部分敘述圖靈、馮諾依曼、通用計算機等內容，個人就沒那麼感興趣，而關於計算機曆史以及代錶人物，有很多更好的科普書籍。談到馮諾依曼“虛榮”的性格，似乎也並不那麼令人驚訝。另外，我覺得此係列新版的包裝並不如原來的好。

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

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

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

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

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