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 下载

作者所讲述的历程大多耳熟能详，唯一不太熟悉的是布尔代数。除了介绍历史普及知识，作者还顺便讲了不少八卦，颇有趣味。文末说，除了图灵之外其他人都未曾预见自己的工作会得到如此应用，无心插柳柳成行，科学的前进总是出乎意料，故而切莫短视，对科学家感到不耐烦，那一丁点牢骚，的确真实。

终于乘下雪的夜晚读完了计算机史，简直就是一部曲折蔓延伟大的数学史啊！从莱布尼茨开创微积分，乔治布尔用0/1将逻辑化为代数（哲学）到 弗雷格发明逻辑学的基本形式符号，康托尔的离散数学（实数和自然数的连续性以及对角线证明）。希尔伯特那段元数学把我吓得不轻，差点忽略了重要的希尔伯特23问和判定性问题。哥德堡近乎是全书里立大功的人，除开哥德堡不完备定律（第三次数学危机啊），他所建立在逻辑公式下的符号语言太惊艳了，就是最最最基础的Coding编程，程序语言啊。图灵果然也是真爱，图灵机判断奇偶和无法解决的判断问题那两段证明太帅了，到这时才算真正的Compuation概念应用。至于诺依曼以计算机之父出场制造EDVAC时，上追罗素、泛及康德和维特根斯坦的（数学、哲学、逻辑、语言学）计算机史将更加辉煌 M.

宋老师推荐的科普书，写的非常漂亮，不过还是有不少地方没看懂

感觉就是介绍每个人物的生平然后再简略介绍下工作。。。

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

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

是本好书。对计算机的历史从数学的角度作了精辟的解说。但是我读的是中文版。不知道谁有英文版的电子书，希望能给我一本。不盛感谢。  

“我们常常从工程的角度去理解计算机，却没有机会去了解工程背后的逻辑学家和他们的理论。” 看了这本书之后真的还是受益非浅。从莱布尼兹到冯诺依曼，几代人对计算、对逻辑苦苦的追寻和贡献。 这本书有几个没想到: 1. 生动，平实。很多数学原理讲解地非常浅显易懂。 2. 不...