逻辑的引擎 在线电子书 图书标签: 逻辑 科普 计算机 数学 计算机科学 计算机史 哲学 逻辑的引擎
发表于2025-02-23
逻辑的引擎 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2025
读过后第一次把多年攒下的碎片连缀在一起,此刻回头去看,才明白当初以为正确的方向即使不算是偏离,也是在绕远。许多线索明明已在手边,却由于缺乏更宏观的视野,越不过那最后一层薄薄的阻碍,曾经最看重的观念带来激励的同时,也造成了最大的局限。其实关于身心问题的答案并不在哲学之中,更不在心理学之中,维也纳小组之后如果能明白哥德尔的真正意义,也许也就能明白逻辑学如何与工程结合,不至在概念的海洋里迷失。现在再读到,是否算是一切平息后对孤独的报偿?可是还是晚了。
评分我经常被数学家和物理学家把我的脑子搞得天翻地覆,震得我目瞪口呆。多年以后,重拾数学。补课咯……
评分感觉就是一本介绍各位先哲的八卦的书。
评分虽然本书讲的是逻辑数学的发展 但我觉得作者有些许语无伦次的倾向 你得费劲力气才能在各个数学家的个人简史中过滤出跟逻辑数学有关的部分然而随后发现你根本无法在作者的引导下理清各个数学家的成就之间的循序渐进的逻辑关系 今晚硬着头皮看完了前三章 明天直接跳过四五六 从七八章开始看算了
评分我经常被数学家和物理学家把我的脑子搞得天翻地覆,震得我目瞪口呆。多年以后,重拾数学。补课咯……
马丁·戴维斯是计算机科学发展史上的先驱人物,其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一。他是纽约大学库朗数学科学研究所的荣誉退休教授,目前在加州大学伯克利分校做访问学者。
本书介绍了现代计算机背后的那些基本概念和发展这些概念的人,描写了莱布尼茨、布尔、费雷格、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作,讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。博达著作权代理有限公司授权出版据美国W.W.Norton公司2000年版本译出。2007年第二版亦使用同一ISBN。
计算机作为人类历史上最伟大的发明之一,我们一直称之为科技的进步,但是这本书告诉我们,这不过是数学家们在追求终极真理的道路上顺便摘得的果实而已。 计算机不仅仅是一大堆二极管三极管,更重要的是二极管和三极管怎么能构成这么一个神奇的东西,谁说可以有这样一个神奇的东...
评分很美很感人的科普著作,对于计算机科学中基本概念发展史上重要数学家数理逻辑学家的温情脉脉的描述呈现出真正富有智慧的人面对无尽的自然界奥秘时的注定的悲哀。在某本书里看到的,“真正的智慧,从觉醒之日起,就包含着绝望的悲哀。” 本书对于希望从数理科学角度思考逻辑学本...
评分“我们常常从工程的角度去理解计算机,却没有机会去了解工程背后的逻辑学家和他们的理论。” 看了这本书之后真的还是受益非浅。从莱布尼兹到冯诺依曼,几代人对计算、对逻辑苦苦的追寻和贡献。 这本书有几个没想到: 1. 生动,平实。很多数学原理讲解地非常浅显易懂。 2. 不...
评分 评分去图书馆翻了一本中意的书出来,叫逻辑的引擎。还没有细细地看,只是粗翻了一下,大概就是一个对计算机逻辑模型有巨大贡献的科学家的一个小小的传记。当然,它更像是一部计算机发展(逻辑上,而非工程上)简史。 说它是传记,甚至说是历史,但是它不是那么地容易读的,读者需要...
逻辑的引擎 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2025