结城浩(作者)
生于1963年。日本知名技术作家和程序员。在编程语言、设计模式、数学、加密技术等领域,编写了很多深受欢迎的入门书。代表作有《数学女孩》系列、《程序员的数学》、《图解密码技术》等。
作者主页:http://www.hyuki.com
《数学女孩》系列以小说的形式展开,重点描述一群年轻人探寻数学中的美。内容由浅入深,数学讲解部分十分精妙,被称为“绝赞的数学科普书”。
《数学女孩3:哥德尔不完备定理》有许多巧思。每一章针对不同议题进行解说,再于最后一章切入正题——哥德尔不完备定理。作者巧妙地以每一章的概念作为拼图,拼出与塔斯基的形式语言的真理论、图灵机和判定问题一道被誉为“现代逻辑科学在哲学方面的三大成果”的哥德尔不完备定理的大概证明。整本书一气呵成,非常适合对数学感兴趣的初高中生以及成人阅读。
##因为前九章对形式系统语义、语法和元定理部分引入的不足,且第十章又试图以较为还原的方式重述哥德尔在论文中对不完备定理的证明路径,就导致了第十章突然引入了大量前九章未曾涉及的定义和规则。这使得第十章和前九章的难度差距并不在一个适度的递增范围内。且公理模式的选取也是较为少见的或非模式。 如果希望更轻松地了解哥德尔定理,也许ernest nagel那本哥德尔证明是更好的选择。
评分 评分##最关键的一章知识密度太大。定义和命题多到让人想跳过不看。内容太过硬核以至于包了糖衣也咽不下去。本书关于数学中的不完备定理,说不定也指人生的不完备。比如年少时的挚友总要分崩离析、曲终人散。而自己和一些朋友谈不到一处去,免不了分道扬镳。
评分##章节引言中提到不少颇合胃口的书籍;依旧是数学部分较日常有趣,对“猫语”稍无奈。整体难度跨度偏大,从不用动脑的小题到读起来着实耗神的最后一章……
评分##良心大作,头一次在科普读物里看到了哥德尔不完备定理的完整证明
评分 评分 评分##日本人的数学科普可以学学 虽然是科普书,但没有纯谈数理逻辑的演化史,从概念出发,到推理结束,一环裹一环,像不断裹挟上升的浪花,看得非常过瘾。里面主体讲的是数理逻辑,还讲了一小些极限、连续、正余弦函数(并不知道为什么插入这些内容)。 可以瞥见,数理逻辑是计算机软件的雏形和基础,尤其是从...
评分本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等
© 2025 book.idnshop.cc All Rights Reserved. 静思书屋 版权所有