图书标签: 逻辑  计算机科学  数学  科普  计算机  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 电子书 下载

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

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

莱布尼茨－布尔－弗雷格－康托尔－罗素－希尔伯特－哥德尔－图灵－冯诺依曼。不过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.莱布尼兹大神最早提出一个想法，我们的宇宙可以由一种符号推理演算来表示。 2.乔治·布尔把逻辑学纳入了数学的范畴，即布尔代数。 3.弗雷格发行了形式句法，使后人可...