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

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

• 
  皇帝新腦 在線電子書 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.弗雷格发行了形式句法，使后人可...  

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