- 装帧:平装
- 作者:(日)结城浩
- ISBN:9787115469915
- 出版日期:2024-7-25
- 书名:数+学=(女X孩)3 哥德尔不完备定理
- 出版社:人民邮电出版社
- 开本:21 × 15
《数学女孩》系列以小说的形式展开,重点描述一群年轻人探寻数学中的美。内容由浅入深,数学讲解部分十分精妙,被称为“绝赞的数学科普书”。《数学女孩3:哥德尔不完备定理》每一章针对不同议题进行解说,再于最后一章切入正题——哥德尔不完备定理。作者巧妙地以每一章的概念作为拼图,拼出与塔斯基的形式语言的真理论、图灵机和判定问题一道被誉为“现代逻辑科学在哲学方面的三大成果”的哥德尔不完备定理的大概证明。