豆瓣
扫码直接下载
「除了圖靈,他們之中沒有一個人意識到自己的工作可以被如此應用。」
作者对推动计算机发展的逻辑发展史给出了一个十分全面的描绘,书中各种观念和概念的解释也跟到位,信息量很大,但也有很多地方解释的不够透彻,可以以这本书为框架再分别对里面的概念进行研究。 此外,该书的排版实在有点随便了。 ps:话说推理和演算的关系到底该如何理解?
讲弗雷格、希尔伯特与哥德尔三人的部分个人最感兴趣。早先阅读过弗雷格的某部著作,但当时吸收不深。按照哥德尔的思路,似乎可以将某个公理体系作为一个整体,对公理体系的“序列”也可以不断逼近极限。“无限”究竟是否能够达到一个“完成”的状态而能够拿来直接使用?事实上,分析领域的许多内容正是围绕“极限”作文章。逻辑、符号演算、语言哲学这些内容是个人之前(刻意)较少接触的,其实也很难在一部小书中充分领略。后半部分叙述图灵、冯诺依曼、通用计算机等内容,个人就没那么感兴趣,而关于计算机历史以及代表人物,有很多更好的科普书籍。谈到冯诺依曼“虚荣”的性格,似乎也并不那么令人惊讶。另外,我觉得此系列新版的包装并不如原来的好。
看的脑阔疼……
丝丝入扣地把计算机的数学逻辑一一捋出来、讲清楚,佩服这种认真的态度。
马马虎虎,也就那么回事。讲不清楚可以认为是作者或者译者的问题
今天的情况更是如此,那些为科学家们提供生活和工作所必需的资源的人竭力要把他们引向那些被认为能够尽快出结果的方向,这不仅在短期内可能是徒劳的,而且更重要的是,如果只重眼前利益,而轻视那些不会带来直接回报的研究,那么最终遭殃的还是我们的未来。
好垃圾,难道逻辑就是这么无聊吗?作者一直自嗨,真无趣。书印的也垃圾,引用的页数都要比原文厚了
《逻辑的引擎》这本小书正文才200来页,讲了莱布尼茨,布尔,弗雷格,康托尔,希尔伯特,哥德尔,图灵,冯诺依曼,仙农,巴贝奇,ADA……较真起来,牵涉的知识点怕是20000页都装不下。所以这本书只能算小品,串一下知识点,用来补课。港真,做为一个没学过数论的理科学渣,读到第七章的图灵才觉得开始有点面熟……[恐惧] 总而言之,计算机乃至一切的源头都是数学和逻辑,甚至是哲学,亚里士多德和笛卡尔什么的还是祖宗…… 讽刺的是,这么多逻辑巨神百千年肝出来的成果,现在被一堆完全不懂逻辑的键盘侠,用来瞎逼逼[旺柴]
严格来说,这是一部科技史科普读物,或更确切说,数理逻辑史读物。所以任何想要在这本书中看到对数理逻辑详细介绍或哥德尔不完备定理严格证明的人都会有所失望,且收获甚微。
3年前读了《逻辑学导论》,一直对亚里士多德的古典逻辑念念不忘,但对书中后半部分布尔的符号逻辑一知半解,当时不明白为什么用语言表达的逻辑形式要高度抽象变成简单的符号。读了这本《逻辑的引擎》终于了解一些了,这是因为集合论的发展已无法用语言充分表达,且哥德尔不完备性定理的研究也是基于集合论,这有涉及无限的问题,因此只有可能用抽象的符号表达以上概念,这本书在符号论证的部分我没有完全看懂,所以我以上的总结也欢迎批判。2年前看过一本《编码》大概讲的就是计算机发展的技术历程,对我这种门外汉无外乎看天书,但这本在逻辑思维角度讲述计算机发展历程的书就非常友好了,这本书我读的并不是很仔细,但是对于计算机的逻辑语言系统有了比较清晰的认识,另外关于人工智能的论证我是很认同的,即不太可能有这种程序。
计算机思想史
第一遍
计算机理论的完整脉络,人类罗辑思维的机器提现,就是不知道啥时候完成智慧的机器。
一些地方串起来有点牵强。现代计算机的逻辑构型。
说实话里面的翻译传记部分还行,逻辑和计算机部分就不太好懂了。感觉翻译者本人对逻辑部分的内容都没搞清楚,好多词汇都是直接翻译堆在一起,译注也没有。让人捉急。
计算机已经融入到现代社会的每一个角落,人们习惯于享受到计算机提供的各种服务,而忘了计算机的历史其实并不悠久,它是在一系列思想家和工程师的杰出贡献下逐步发展创造出来的。 首先出场的是思想家。这一切始于莱布尼兹的梦想:创造一种包含了人类全部思想的符号系统。然后是乔治·布尔,把逻辑变成代数,这成为计算机运算的基础法则。再然后是图灵,构想出通用机模型。 接着出场的是工程师,通过精湛的工程技术让思想家的构想得以落地。冯·诺依曼提出了计算机的“冯·诺依曼结构”,直到今天绝大多数计算机仍然是按这种结构设计的。埃克特制作的有着18000根真空管的ENIAC,简直就是个工程奇迹。 世间最重大的技术发现和发明创造,往往要积累几代人的聪明才智,很多成果可能在当时无法充分认知到其价值,却是日后破茧成蝶的重要一环。
算是以逻辑学家为主线梳理了一条纠缠着逻辑、数学、早期计算机的脉络,但后期每条线连缀得不太清晰,故事并没有很有意思,真正的知识介绍又(对我而言)太少了(但也可能再多就看不懂了),其实可以作为读《GEB》的前置准备。翻译有很多肉眼可见的前后矛盾,甚至经常在一段内就有矛盾,少打一星
完全的抽象研究 依赖对系统的构想 每一个更强系统的分层体系都可以解决较弱的系统所遗留的问题 每一步都是质变
本书介绍了几位19、20世纪的数学家的生平故事以及他们的学术成就,尤其在逻辑学、集合论、希尔伯特第十问题方面的探索和突破,他们不会知道自己当时的工作为计算机的诞生做了重要的铺垫,更不会预计到计算机对人类社会的巨大影响。全书脉络关联清晰,其中对数学问题的解析有一定深度,人物的逸事又生动有趣。
> 逻辑的引擎
8 有用 gogu 2019-04-13 18:10:39
「除了圖靈,他們之中沒有一個人意識到自己的工作可以被如此應用。」
5 有用 madeonearth 2018-12-27 14:39:58
作者对推动计算机发展的逻辑发展史给出了一个十分全面的描绘,书中各种观念和概念的解释也跟到位,信息量很大,但也有很多地方解释的不够透彻,可以以这本书为框架再分别对里面的概念进行研究。 此外,该书的排版实在有点随便了。 ps:话说推理和演算的关系到底该如何理解?
3 有用 天池一苇 2020-02-26 17:15:15
讲弗雷格、希尔伯特与哥德尔三人的部分个人最感兴趣。早先阅读过弗雷格的某部著作,但当时吸收不深。按照哥德尔的思路,似乎可以将某个公理体系作为一个整体,对公理体系的“序列”也可以不断逼近极限。“无限”究竟是否能够达到一个“完成”的状态而能够拿来直接使用?事实上,分析领域的许多内容正是围绕“极限”作文章。逻辑、符号演算、语言哲学这些内容是个人之前(刻意)较少接触的,其实也很难在一部小书中充分领略。后半部分叙述图灵、冯诺依曼、通用计算机等内容,个人就没那么感兴趣,而关于计算机历史以及代表人物,有很多更好的科普书籍。谈到冯诺依曼“虚荣”的性格,似乎也并不那么令人惊讶。另外,我觉得此系列新版的包装并不如原来的好。
2 有用 杨世子 2018-10-07 20:59:03
看的脑阔疼……
2 有用 飞翔的鸽群 2020-12-15 09:28:15
丝丝入扣地把计算机的数学逻辑一一捋出来、讲清楚,佩服这种认真的态度。
1 有用 愿逐月华流照君 2020-09-27 09:58:37
马马虎虎,也就那么回事。讲不清楚可以认为是作者或者译者的问题
2 有用 byWhale 2021-04-08 20:23:16
今天的情况更是如此,那些为科学家们提供生活和工作所必需的资源的人竭力要把他们引向那些被认为能够尽快出结果的方向,这不仅在短期内可能是徒劳的,而且更重要的是,如果只重眼前利益,而轻视那些不会带来直接回报的研究,那么最终遭殃的还是我们的未来。
1 有用 Pi 2021-04-08 22:14:46
好垃圾,难道逻辑就是这么无聊吗?作者一直自嗨,真无趣。书印的也垃圾,引用的页数都要比原文厚了
2 有用 vcbear 2022-02-20 14:10:37
《逻辑的引擎》这本小书正文才200来页,讲了莱布尼茨,布尔,弗雷格,康托尔,希尔伯特,哥德尔,图灵,冯诺依曼,仙农,巴贝奇,ADA……较真起来,牵涉的知识点怕是20000页都装不下。所以这本书只能算小品,串一下知识点,用来补课。港真,做为一个没学过数论的理科学渣,读到第七章的图灵才觉得开始有点面熟……[恐惧] 总而言之,计算机乃至一切的源头都是数学和逻辑,甚至是哲学,亚里士多德和笛卡尔什么的还是祖宗…… 讽刺的是,这么多逻辑巨神百千年肝出来的成果,现在被一堆完全不懂逻辑的键盘侠,用来瞎逼逼[旺柴]
2 有用 沂雩 2022-02-10 01:56:50
严格来说,这是一部科技史科普读物,或更确切说,数理逻辑史读物。所以任何想要在这本书中看到对数理逻辑详细介绍或哥德尔不完备定理严格证明的人都会有所失望,且收获甚微。
3 有用 秀逗君 2021-12-27 22:28:05
3年前读了《逻辑学导论》,一直对亚里士多德的古典逻辑念念不忘,但对书中后半部分布尔的符号逻辑一知半解,当时不明白为什么用语言表达的逻辑形式要高度抽象变成简单的符号。读了这本《逻辑的引擎》终于了解一些了,这是因为集合论的发展已无法用语言充分表达,且哥德尔不完备性定理的研究也是基于集合论,这有涉及无限的问题,因此只有可能用抽象的符号表达以上概念,这本书在符号论证的部分我没有完全看懂,所以我以上的总结也欢迎批判。2年前看过一本《编码》大概讲的就是计算机发展的技术历程,对我这种门外汉无外乎看天书,但这本在逻辑思维角度讲述计算机发展历程的书就非常友好了,这本书我读的并不是很仔细,但是对于计算机的逻辑语言系统有了比较清晰的认识,另外关于人工智能的论证我是很认同的,即不太可能有这种程序。
1 有用 蓝道_RANDALL 2022-01-19 22:48:30
计算机思想史
0 有用 芥末沙洲冷 2022-04-09 20:03:39
第一遍
1 有用 本宅累了,退朝 2022-12-03 10:57:36 甘肃
计算机理论的完整脉络,人类罗辑思维的机器提现,就是不知道啥时候完成智慧的机器。
1 有用 絔捺 2022-07-09 19:45:55
一些地方串起来有点牵强。现代计算机的逻辑构型。
1 有用 旅梦人 2022-06-29 12:17:56
说实话里面的翻译传记部分还行,逻辑和计算机部分就不太好懂了。感觉翻译者本人对逻辑部分的内容都没搞清楚,好多词汇都是直接翻译堆在一起,译注也没有。让人捉急。
1 有用 famo 2022-12-25 19:55:57 广东
计算机已经融入到现代社会的每一个角落,人们习惯于享受到计算机提供的各种服务,而忘了计算机的历史其实并不悠久,它是在一系列思想家和工程师的杰出贡献下逐步发展创造出来的。 首先出场的是思想家。这一切始于莱布尼兹的梦想:创造一种包含了人类全部思想的符号系统。然后是乔治·布尔,把逻辑变成代数,这成为计算机运算的基础法则。再然后是图灵,构想出通用机模型。 接着出场的是工程师,通过精湛的工程技术让思想家的构想得以落地。冯·诺依曼提出了计算机的“冯·诺依曼结构”,直到今天绝大多数计算机仍然是按这种结构设计的。埃克特制作的有着18000根真空管的ENIAC,简直就是个工程奇迹。 世间最重大的技术发现和发明创造,往往要积累几代人的聪明才智,很多成果可能在当时无法充分认知到其价值,却是日后破茧成蝶的重要一环。
1 有用 iscream208 2023-10-17 13:12:39 广东
算是以逻辑学家为主线梳理了一条纠缠着逻辑、数学、早期计算机的脉络,但后期每条线连缀得不太清晰,故事并没有很有意思,真正的知识介绍又(对我而言)太少了(但也可能再多就看不懂了),其实可以作为读《GEB》的前置准备。翻译有很多肉眼可见的前后矛盾,甚至经常在一段内就有矛盾,少打一星
0 有用 akanesmile 2023-12-03 01:10:35 北京
完全的抽象研究 依赖对系统的构想 每一个更强系统的分层体系都可以解决较弱的系统所遗留的问题 每一步都是质变
1 有用 KelvinKuo 2023-01-16 00:01:11 北京
本书介绍了几位19、20世纪的数学家的生平故事以及他们的学术成就,尤其在逻辑学、集合论、希尔伯特第十问题方面的探索和突破,他们不会知道自己当时的工作为计算机的诞生做了重要的铺垫,更不会预计到计算机对人类社会的巨大影响。全书脉络关联清晰,其中对数学问题的解析有一定深度,人物的逸事又生动有趣。