结城浩(作者)
生于1963年。日本知名技术作家和程序员。在编程语言、设计模式、数学、加密技术等领域,编写了很多深受欢迎的入门书。代表作有《数学女孩》系列、《程序员的数学》、《图解密码技术》等。
作者主页:http://www.hyuki.com
发表于2025-04-10
数学女孩3 2025 pdf epub mobi 电子书
虽然是科普书,但没有纯谈数理逻辑的演化史,从概念出发,到推理结束,一环裹一环,像不断裹挟上升的浪花,看得非常过瘾。里面主体讲的是数理逻辑,还讲了一小些极限、连续、正余弦函数(并不知道为什么插入这些内容)。 可以瞥见,数理逻辑是计算机软件的雏形和基础,尤其是从...
评分虽然是科普书,但没有纯谈数理逻辑的演化史,从概念出发,到推理结束,一环裹一环,像不断裹挟上升的浪花,看得非常过瘾。里面主体讲的是数理逻辑,还讲了一小些极限、连续、正余弦函数(并不知道为什么插入这些内容)。 可以瞥见,数理逻辑是计算机软件的雏形和基础,尤其是从...
评分虽然是科普书,但没有纯谈数理逻辑的演化史,从概念出发,到推理结束,一环裹一环,像不断裹挟上升的浪花,看得非常过瘾。里面主体讲的是数理逻辑,还讲了一小些极限、连续、正余弦函数(并不知道为什么插入这些内容)。 可以瞥见,数理逻辑是计算机软件的雏形和基础,尤其是从...
评分虽然是科普书,但没有纯谈数理逻辑的演化史,从概念出发,到推理结束,一环裹一环,像不断裹挟上升的浪花,看得非常过瘾。里面主体讲的是数理逻辑,还讲了一小些极限、连续、正余弦函数(并不知道为什么插入这些内容)。 可以瞥见,数理逻辑是计算机软件的雏形和基础,尤其是从...
评分虽然是科普书,但没有纯谈数理逻辑的演化史,从概念出发,到推理结束,一环裹一环,像不断裹挟上升的浪花,看得非常过瘾。里面主体讲的是数理逻辑,还讲了一小些极限、连续、正余弦函数(并不知道为什么插入这些内容)。 可以瞥见,数理逻辑是计算机软件的雏形和基础,尤其是从...
图书标签: 数学 科普 日本 小说 结城浩 图灵新知 逻辑学 文学
《数学女孩》系列以小说的形式展开,重点描述一群年轻人探寻数学中的美。内容由浅入深,数学讲解部分十分精妙,被称为“绝赞的数学科普书”。
《数学女孩3:哥德尔不完备定理》有许多巧思。每一章针对不同议题进行解说,再于最后一章切入正题——哥德尔不完备定理。作者巧妙地以每一章的概念作为拼图,拼出与塔斯基的形式语言的真理论、图灵机和判定问题一道被誉为“现代逻辑科学在哲学方面的三大成果”的哥德尔不完备定理的大概证明。整本书一气呵成,非常适合对数学感兴趣的初高中生以及成人阅读。
虽然最后在罗列一堆哥德尔定理,直接跳过了,但还是学到一些的
评分最后一章实在扛不住,看来还得找本专门的数理逻辑细究一番。
评分前面九章还算是在平地上悠闲散步,但第十章哥德尔不完备定理简直就是在坐着过山车狂奔。从这本书中又领悟到了不少数学证明中的奇思妙想。数学这门学科就是由天才书写的历史,如我等一样的凡人只能努力去体会天才留下的作品。
评分断断续续大半年, 终于看完了.「选聪明的还是选可爱」这个世纪难题还是没揭开, 不会又是喜闻乐见的套路吧. 不过在我舒一口气的同时: 中文版只出到了 3, 日文原版出到了 6, 而且还没完结!
评分【已存柜】 p359定义37“…IsBoundAt(w,n,t)”根据哥德尔原论文的英译版(Godel,Collected Works,V1,Oxford,1986,p169)(w Geb n,y)或应改为“…IsBoundAt(w,n,y)” p360定义40“…IsVarType(u,n+1)∧IsVarType(u,n)…”根据前文内涵公理的形式及下文或应改为“…IsVarType(u,n+1)∧IsVarType(v,n)…”
数学女孩3 2025 pdf epub mobi 电子书