本书讲述了计算机思想层面的历史,通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作,讲述了数学家们如何在成果付诸应用之前就已经提出了其背后的思想。
马丁•戴维斯(Martin Davis),计算机科学发展史上的先驱人物,其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一,他是纽约大学库朗数学科学研究所的荣誉教授,之后在加州大学伯克利分校做访问学者。
// 计算机科学是伪科学吗? 这个问题曾经一度让我焦虑过好多天,作为一个理想成为科学家的人,这个问题的答案对我来说意义重大。在我越来越多地了解计算机科学(computer science)后,内心却对CS属于Science产生了越来越多的怀疑。在一篇和这个问题相关的有些消极和偏激 但其...
评分很美很感人的科普著作,对于计算机科学中基本概念发展史上重要数学家数理逻辑学家的温情脉脉的描述呈现出真正富有智慧的人面对无尽的自然界奥秘时的注定的悲哀。在某本书里看到的,“真正的智慧,从觉醒之日起,就包含着绝望的悲哀。” 本书对于希望从数理科学角度思考逻辑学本...
评分 评分计算机作为人类历史上最伟大的发明之一,我们一直称之为科技的进步,但是这本书告诉我们,这不过是数学家们在追求终极真理的道路上顺便摘得的果实而已。 计算机不仅仅是一大堆二极管三极管,更重要的是二极管和三极管怎么能构成这么一个神奇的东西,谁说可以有这样一个神奇的东...
评分// 计算机科学是伪科学吗? 这个问题曾经一度让我焦虑过好多天,作为一个理想成为科学家的人,这个问题的答案对我来说意义重大。在我越来越多地了解计算机科学(computer science)后,内心却对CS属于Science产生了越来越多的怀疑。在一篇和这个问题相关的有些消极和偏激 但其...
靠近神的领域。
评分电子计算机的本质就是根据预先设定的逻辑演算规则,对输入的数学命题进行自动演算,最终输出结果。而为了实现这一程序化计算的小目标,莱布尼兹,布尔,弗雷格,罗素,康托尔,希尔伯特,哥德尔,图灵,冯诺依曼等,历史上的这些数学家们在突破到绝望的来回拉锯战中,终于搭建出一套虽不完美,但总算可以落到实地的基础理论,基础科学的进步难度由此可见一斑
评分电子计算机的本质就是根据预先设定的逻辑演算规则,对输入的数学命题进行自动演算,最终输出结果。而为了实现这一程序化计算的小目标,莱布尼兹,布尔,弗雷格,罗素,康托尔,希尔伯特,哥德尔,图灵,冯诺依曼等,历史上的这些数学家们在突破到绝望的来回拉锯战中,终于搭建出一套虽不完美,但总算可以落到实地的基础理论,基础科学的进步难度由此可见一斑
评分了解真实的历史
评分看了一半,未看完!
本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有