`
metaphy
  • 浏览: 344126 次
  • 性别: Icon_minigender_1
  • 来自: 大西洋底
社区版块
存档分类
最新评论

什么样的书是好书 —— 关于《逻辑的引擎》

阅读更多
这是一本适合数学系或计算机系本科生阅读的书,它会让你在乏味的学习之余体会到很多乐趣。对于我而言更是有“相逢恨晚”的感觉。它讲出了一些我所知道的东西,所以能看懂,也讲出了一些我不知道的东西,所以很有趣;但最重要的是,它引导我思考,让我明白了程序员“是谁,从哪里来”,但遗憾的是对“到哪里去”讲的不多,毕竟这是一本关于逻辑学(数学)发展的历史的小书。全书以传记章节的形式介绍了从莱布尼茨、布尔等一直到图灵这些伟大人物的思想,到最终的冯.诺依曼计算机结构的产生,这些数学家们已经为之准备了300多年。

莱布尼茨大家肯定不会陌生,尤其是我们现在依然在用他发明的微积分符号。他是个勤奋的人,对于逻辑学有一些不成系统的见解。真正令人印象深刻的是第二章的布尔,他把逻辑变成了代数。下面是他的很经典的变换:
引用
如果X,那么Y。就写成: X (1-Y) = 0

然后一大段推理就变成了方程式。不知道大家看了什么感觉,反正我看到这里是相当震撼,大学里的一些糊涂的科目变得“前所未有的清晰”。嘿嘿。

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

第四章讲康托尔,讲他的连续统问题,这就是个纯数学问题了。这个问题是说自然数集合的基数(可以理解成元素个数,如果你认为能够数地过来的话)和实数集合的基数这2个大小是不是连着的。两个大小都是无限大,但他们发明了一种方法来比较,发现实数基数比自然数基数(那个符号念阿列夫0,希伯来语)要大。

第五、六章就来到了20世纪了,讲希尔伯特,歌德尔,也讲了罗素、冯.诺依曼等一些人,讨论了关于数学的基本问题,一致性问题、完备性问题。第四、五两章是针对弗雷格体系那块不太稳定的基石的。第六章讲了一些争论,关于数学的争论,没怎么看明白。

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

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

第九章讲人工智能,以及计算机的未来。未来会如何,谁也不能妄下结论,尤其是计算机这种一日千里的发展对象。

(第一段写的像广告,nnd)
1
0
分享到:
评论

相关推荐

    MBA管理好书——管理模式(上).doc

    MBA管理好书——管理模式(上).doc

    好书榜——Linux专题.pdf

    《好书榜——Linux专题》是一本专注于Linux操作系统的书籍推荐,主要面向对Linux系统开发和深入理解感兴趣的读者。该书旨在帮助读者选择适合自己的Linux技术书籍,引导他们探索Linux的内在魅力和技术精髓。 Linux是...

    好书——非技术(提供下载或下载链接)

    《化性谈》是王凤仪先生关于性理学说的讲述,强调以忠孝为本,以化性立命为目标。王凤仪(1864-1937),原名王祥仪,字玉衡,法号凤仪。他是一位自学成才的民间教育家、思想家。在传统的儒家思想基础上,他结合自身...

    MBA管理好书——管理模式(下).doc

    以下是对《MBA管理好书——管理模式(下)》中关于员工行为规范的详细解读。\n\n一、员工形象要求\n\n1. 形象意识:员工必须意识到自己是企业的形象代表,他们的言行举止直接影响公众和客户对企业的看法。强烈的形象...

    读好书投稿——《成功应对难缠客户》.doc

    读好书投稿——《成功应对难缠客户》.doc

    这是一本值得推荐的好书——《利率史》.doc.pdf

    这本书不仅是一本关于利率的专业著作,更是观察国家兴衰与文明演变的一面镜子。书中丰富的数据和图表,为读者呈现了利率如何随着历史进程而波动,揭示了经济发展的脉络。 作者悉尼·霍默是债券市场分析的先驱,对...

    好书推荐——当天使飞过人间.ppt

    综上所述,《当天使飞过人间》不仅仅是一部漫画作品,更是一个关于爱、接纳与成长的寓言。它通过田中伸介精妙的画笔,讲述了一个温暖人心的故事,让读者在阅读中体验到超越现实的美好,激发对生活的热爱和对未来的...

    推荐好书——《儿童学习心理与小学数学教学》.doc

    书中强调了儿童学习数学过程中的一系列心理活动,指出小学生思维的具体性和直观性,他们的抽象思维能力相对较弱。因此,教学设计应充分考虑学生的学习心理,以促进有效学习。在"知识的形成与习得"部分,作者详细探讨...

    一套反映光纤通信技术发展的好书——介绍《光纤通信》.pdf

    该书分为《卷B系统篇》和《卷A器件篇》,总计34个章节,涵盖了光纤通信领域的各个方面,包括基本原理、最新技术趋势以及实际工程应用。 《光纤通信》第4版特别关注了因特网发展对电信传输的影响,深入探讨了业务...

    推荐一本关于css使用技巧的好书——《css揭秘》-附件资源

    推荐一本关于css使用技巧的好书——《css揭秘》-附件资源

    Linux学习宝典——一本好书

    以下将详细介绍书中涉及的一些关键知识点。 一、Linux操作系统基础 1. Linux历史:Linux是由Linus Torvalds在1991年开发的开源操作系统内核,它的出现推动了自由软件运动的发展。 2. 文件系统:Linux采用...

    搜索引擎——原理、技术与引擎

    搜索引擎是现代互联网不可或缺的一部分,它们通过索引互联网上的网页,使用户能够快速找到所需的信息。《搜索引擎——原理、技术与系统》这本书系统地介绍了搜索引擎的工作原理、实现技术和系统构建方案。作者通过...

    Linux好书Linux好书Linux好书1

    Linux好书Linux好书Linux好书Linux好书Linux好书

    Linux好书Linux好书Linux好书2

    Linux好书Linux好书Linux好书Linux好书Linux好书

    Linux好书Linux好书Linux好书3

    Linux好书Linux好书Linux好书Linux好书Linux好书

    Linux好书Linux好书Linux好书4

    Linux好书Linux好书Linux好书Linux好书Linux好书

    逻辑哲学论一本好书哦

    在《逻辑哲学论》中,维特gen斯坦深入探讨了语言、思想与现实之间的关系,提出了许多关于逻辑和哲学基础的深刻见解。 1. **逻辑原子主义**:维特根斯坦认为,世界的本质是由不可再分的基本事实或“逻辑原子”组成的...

    爱读书的好孩子——六一儿童节(两套)PPT模板.pptx

    这款PPT模板不仅适用于学校、教育机构在儿童节活动中的展示,也适合家长或教师用来制作关于儿童阅读推广的演示文稿。 【描述】中提到的“爱读书的好孩子”,意味着模板的核心内容可能包含鼓励阅读、分享好书推荐、...

    做软件的必看书——做单

    该书不仅适合从事软件销售的专业人士阅读,对于任何想要深入了解销售技巧的人来说也是一本不可多得的好书。《做单》深入浅出地讲述了如何在竞争激烈的软件市场中取得优势,尤其是在IBM这样的大型企业中如何成为一名...

Global site tag (gtag.js) - Google Analytics