دانلود کتاب 数学女孩3: 哥德尔不完备定理
by 结城浩
|
عنوان فارسی: دختر ریاضی 3: قضیه ناتمامی گودل |
دانلود کتاب
جزییات کتاب
《数学女孩3:哥德尔不完备定理》有许多巧思。每一章针对不同议题进行解说,再于最后一章切入正题——哥德尔不完备定理。作者巧妙地以每一章的概念作为拼图,拼出与塔斯基的形式语言的真理论、图灵机和判定问题一道被誉为“现代逻辑科学在哲学方面的三大成果”的哥德尔不完备定理的大概证明。整本书一气呵成,非常适合对数学感兴趣的初高中生以及成人阅读。