Engines of Logic 在線電子書 圖書標籤: 邏輯  計算機科學  數學  科普  計算機  logic  mathematics  經典   

喜歡 Engines of Logic 在線電子書 的讀者還喜歡

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

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

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

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

宋老師推薦的科普書，寫的非常漂亮，不過還是有不少地方沒看懂

who knows all the great mathmaticians all struggled with god's existence ...

如今计算机已成为人类社会生活必不可少的一部分，潜入了人类社会生活的方方面面，计算机技术不仅促进了现代社会，而且也是现代社会的一个特征。在人们的观念中，计算机技术发展不过一个世纪，但其突飞猛进的发展速度已经超过了其他任何技术的发展；特别是近30年来，材料、工程...  

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

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

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