逻辑的引擎 文教科普读物 作者
推动·综合系列 逻辑的引擎（一本适合数学系或计算机系读者的书，让你在乏味的学之余体会到思想乐趣。）烧脑程度：4颗星。《推动丛书》25年经典作品。随书价值39.6元由汪洁、吴京联袂主讲的《经典科普解读课》6折券
￥ 23.75 4.8折 ￥ 49 全新
库存2件
作者作者
出版社湖南科学技术出版社
ISBN9787535794420
出版时间2018-01
版次1
装帧平装
开本32
页数291页
字数206千字
定价49元
货号300_9787535794420
上书时间2024-11-27
- 在售商品 暂无
- 平均发货时间 27小时
- 好评率 暂无
- 最新上架
商品详情
- 品相描述：全新
- 正版特价新书
- 商品描述
-
目录：
章 莱布尼茨之梦
第2章 布尔把逻辑变成代数
第3章 弗雷格：从突破到绝望
第4章 康托尔：在无限中摸索
第5章 希尔伯特的营救
第6章 哥德尔使计划落空
第7章 图灵构想通用计算机
第8章 研制批通用计算机
第9章 莱布尼茨之梦
尾声
注释
参书目
索引
译后记
内容简介：
逻辑的引擎（马丁戴维斯著）这本关于计算机起源的书剖析了计算机思想层面的历史，通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述数学家们如何在成果付诸应用之前已经提出了其背后的思想。
作者简介：
马丁戴维斯，是计算机科学发展的先驱人物，其可计算与不可解一书被誉为计算机科学领域极少数真正的经典著作之一他是纽约大学库朗数学科学研究所的荣誉退休教授，目前在加州大学伯克利分校做访问学者。
张卜天，1979年9月生，师从吴国盛。热爱哲学和科学史方面的翻译，研究方向为西方中世纪和近代早期科学思想史，研究领域主要集中在近代科学的起源和科学。
精彩内容：
本书讲述的是我们的现代计算机背后的那些基本概念和发展出这些概念的人。1951年春，当我在阿兰图灵（alan turing）本人曾于10年前工作过的普林斯顿大学获得了数理逻辑博士之后不久，我便在伊利诺伊大学讲授一门以他的思想为基础的课程。有一位一直在听我的讲座的年轻的数学家使我注意到教室的街对面正在建造的两台机器，他认为它们是图灵观念的物理体现。不久，我在为这些早期的计算机编写软件了。我持续了半个多世纪的职业生涯便是围绕着现代计算机背后的抽象逻辑概念与它们的物理实现之间的关系而展开的。计算机从20世纪50年代的塞满整个房间的庞然大物，逐渐演变成轻巧而强大的能够完成各种任务的机器，在这整个过程中，其背后的逻辑始终保持如一。这些逻辑概念是几个世纪以来数位天才思想家一步步发展出来的。在本书中，我将讲述这些人的生活故事，并解释他们的部分思想。这些故事本身是引人入胜的，我希望读者们不仅能够喜欢它们，而且在读完之后能够更加了解计算机的秘密，同时对抽象思想的价值多一份敬意。在本书写作过程中，我曾得益于各种各样的帮助。约翰西蒙古根海姆纪念会在研究的早期阶段提供了热情的经济资助，正是当时所做的那些研究才使本书得以问世。 patricia bl anchette michael friedman andrew hodge lothar kreier和benon mate慷慨地与我分享他们那些专业知识。tony ale友好地充当了我游览布莱奇利庄园的导游，图灵曾于二战期间在那里对破译德军的秘密通讯起了关键的作用。eloie egal是一位忠实而热心的读者，他帮助我避了解释方面的缺陷，可惜，他在这本书写成之前离开了这个世界。我的妻子弗吉尼亚竭力使我避行文含糊不清。her man te in极为认真地读了原稿，提出了许多改进意见，而且纠正了我的几处错误。我还得益于eg on bor ger william craig michael richter ale manater ramer wilfried ieg和fra nco i treve等人的翻译。提出有益建议的其他读者还有：harold davi nathan davi jack feldman meyer garber dick and peggy k uhn和alberto policriti。我在ww诺顿公司的编辑ed barber用他那关于英语散文的学识慷慨地对本书加以润，多处改进都直接得益于此。h arol d r abin owi tz向我引见了我的代理商alex hoyt，后者自始至终都在帮助我。当然，这一长串名字只是要表达我的感激之情，而不是要使我摆脱本书不足之处的责任。有关或修正，读者可发邮件至davi@eipye.，我将心怀感激。马丁戴维斯伯克利，2000年1月2
— 没有更多了 —
以下为对购买帮助不大的评价