《逻辑的引擎》读后感

  这本关于计算机起源的书生动讲述了人类探求逻辑和真理的故事。马丁·戴维斯用博学而充满人情味的语言,娓娓讲述了那些为计算机的出现奠定基础的非凡人物的故事。、这些人物以阿兰·图灵为顶峰,其通用机器现在已经主宰了世界经济。”安德鲁·霍奇斯这样评价这本书。在看了这本书后,我的感触有很多。不仅仅是陶醉于作者深入的见解和表达,更多的是他的言语,像我拉开了一个本不为我注意到的世界。

这本书作者马丁·戴维斯是纽约大学库朗数学科学研究所的名誉教授,目前在加州大学伯克利分校做访问学者。他是计算机科学发展史上的先驱人物,也是世界著名的数理逻辑学家。

这是一本适合数学系或计算机系本科生阅读的书,它会让你在乏味的学习之余体会到很多乐趣。它讲出了一些我所知道的东西,所以能看懂,也讲出了一些我不知道的东西,所以很有趣;但最重要的是,它引导我思考,让我明白了程序员“是谁,从哪里来”,但遗憾的是对“到哪里去”讲的不多,毕竟这是一本关于逻辑学(数学)发展的历史的小书。全书以传记章节的形式介绍了从莱布尼茨、布尔等一直到图灵这些伟大人物的思想,然后就是对计算机发展的解释。

莱布尼茨大家肯定不会陌生,我们现在学习的莱布尼茨公式正是出自他的贡献。

还有弗雷格,他找出了一种“不用逻辑来发展逻辑的方法”,简单说,就是定义语法规则和句法规则,第一次构造出精确的形式化语言。令人印象深刻的是反写A(All,所有)反写E(Exist,存在)这种符号,就是他的创造。

到了第四章,主要讲康托尔,讲他的连续统问题,这就是个纯数学问题了。能力问题,说实话我确实看不懂。

第五、六章就来到了20世纪了,讲希尔伯特,歌德尔,也讲了罗素、冯.诺依曼等一些人,讨论了关于数学的基本问题,一致性问题、完备性问题。第六章讲了一些争论,关于数学的争论,也看不明白。

第七章就讲图灵和他的图灵机。图灵的贡献是卓越的,图灵机为冯.诺依曼计算机结构打下了基础,而后者就是我们现在普遍应用的计算机模型。很悲惨,我上学的时候老师都是从冯.诺依曼开始讲,这种承继关系现在才搞懂。更悲惨的是图灵因为他的同性恋倾向,最终死于自杀,年仅42岁。人们真的应该仔细考虑对待同性恋的态度。

第八章讲通用计算机,计算机终于从逻辑学走向工程学,从天才的大脑中走进来千家万户。

第九章讲人工智能,以及计算机的未来。未来会如何,谁也不能妄下结论,尤其是计算机这种一日千里的发展对象。最吸引人的就算人工智能这部分了,人工智能不可预知的未来,更为其增添了一份神秘感。

,更重要的是,他引导我去思考,讲出了逻辑从哪里来,但遗憾的是对到哪里去讲的不够!,在我看来此书确实为一本好书,最少它把那些神秘难懂的数学逻辑讲的很有亲和力…对一系列数学逻辑概念能非常简洁有趣的串一遍。我想本书应该说非常好的方面是把他想做的事做好了…对一本书来说,这已经够了。这就是我的感想。

                                    理学院 工程力学1701

                                    蔡文博  17401010125

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

推荐阅读更多精彩内容

  • 莱布尼兹终生都在为他的梦想思考和写作,在他去世一个多世纪后,英国数学家乔治·布尔沿着莱布尼兹的方向提出了一...
    幻梦星辰_af34阅读 421评论 0 0
  • 这本书介绍了现代计算机背后的基本概念和发展这些概念的人,主要介绍的人物都有莱布尼兹、布尔、费雷格、康托尔、希尔...
    度半_9b44阅读 821评论 0 0
  • 《逻辑的引擎》讲述的是我们的现代计算机所基于的那些基本概念和发展出这些概念的人。计算机从二十世纪五十年代的塞满整个...
    何谓箴言阅读 1,114评论 0 0
  • 书作者马丁·戴维斯――计算机科学发展史上的先驱人物――以莱布尼兹之梦为线,以生花之妙笔,为我们奉献上从逻辑...
    乔佳豪阅读 440评论 0 0
  • 我这周上了高级电工实训这门课程,很有趣,老师在下课后让我们读《逻辑的引擎》这本书。可惜图书馆没有,只能在网上...
    qazuhb阅读 565评论 0 0