圖書標籤: 邏輯  計算機科學  數學  科普  計算機  logic  mathematics  經典   

喜歡 Engines of Logic 的讀者還喜歡

• 
  The Emperor's New Mind pdf epub mobi txt 電子書 下載
• 
  A Mind at Play pdf epub mobi txt 電子書 下載
• 
  Operating Systems pdf epub mobi txt 電子書 下載
• 
  Logicomix pdf epub mobi txt 電子書 下載
• 
  Mathematics pdf epub mobi txt 電子書 下載
• 
  The Little Schemer - 4th Edition pdf epub mobi txt 電子書 下載
• 
  Structure and Interpretation of Computer Programs - 2nd Edition (MIT) pdf epub mobi txt 電子書 下載
• 
  Computer Systems pdf epub mobi txt 電子書 下載
• 
  Computability, Complexity, and Languages, Second Edition pdf epub mobi txt 電子書 下載
• 
  How to Design Programs pdf epub mobi txt 電子書 下載

萊布尼茨－布爾－弗雷格－康托爾－羅素－希爾伯特－哥德爾－圖靈－馮諾依曼。不過it's still not clear how Godel incompleteness theorem is related to Turing's universal machine.

everything we have today comes from the very first idea of a mathematician: why not abstract everything?

作者所講述的曆程大多耳熟能詳，唯一不太熟悉的是布爾代數。除瞭介紹曆史普及知識，作者還順便講瞭不少八卦，頗有趣味。文末說，除瞭圖靈之外其他人都未曾預見自己的工作會得到如此應用，無心插柳柳成行，科學的前進總是齣乎意料，故而切莫短視，對科學傢感到不耐煩，那一丁點牢騷，的確真實。

作者所講述的曆程大多耳熟能詳，唯一不太熟悉的是布爾代數。除瞭介紹曆史普及知識，作者還順便講瞭不少八卦，頗有趣味。文末說，除瞭圖靈之外其他人都未曾預見自己的工作會得到如此應用，無心插柳柳成行，科學的前進總是齣乎意料，故而切莫短視，對科學傢感到不耐煩，那一丁點牢騷，的確真實。

英文原書不好讀，充斥瞭大量的長難句和曆史背景。但書的內容沒得說，可以作為邏輯與計算的學習主綫

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

很美很感人的科普著作，对于计算机科学中基本概念发展史上重要数学家数理逻辑学家的温情脉脉的描述呈现出真正富有智慧的人面对无尽的自然界奥秘时的注定的悲哀。在某本书里看到的，“真正的智慧，从觉醒之日起，就包含着绝望的悲哀。” 本书对于希望从数理科学角度思考逻辑学本...  

前不久看了刘文哲先生所著《棋道凌空》一书。刘老先生坚持认为，卡斯帕罗夫被深蓝击败是个阴谋，其实他是收了IBM的钱故意放水的。 且不说卡斯帕罗夫会不会为了几个小钱败坏自己的名誉，也不说已经是业界巨头的IBM怎么还会需要靠炒作来提升名气，我只说刘老的观点：...