书目详细信息
： 数学女孩.3,哥德尔不完备定理
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-115-46991-5:CNY52.00 |
|---|---|
| 作品语种： | chi jpn |
| 出版国别： | CN 110000 |
| 题名责任者项： | 数学女孩/.(日)结城浩著/.丁灵译 |
| 出版发行项： | 北京:,人民邮电出版社:,2017 |
| 载体形态项： | 10,406页:;+21cm |
| 一般附注： | 图灵新知 |
| 提要文摘： | 本书以小说的形式展开，重点描述一群年轻人探寻数学中的美。该书每一章针对不同议题进行解说，再于最后一章切入正题——哥德尔不完备定理。作者巧妙地以每一章的概念作为拼图，拼出与塔斯基的形式语言的真理论、图灵机和判定问题一道被誉为“现代逻辑科学在哲学方面的三大成果”的哥德尔不完备定理的大概证明。 |
| 题名主题： | 数学 普及读物 |
| 题名主题： | 哥德尔定理 普及读物 |
| 中图分类： | O1-49 |
| 中图分类： | O141-49 |
| 个人名称等同： | 结城浩 (日) 著 |
| 个人名称次要： | 丁灵 译 |
| 记录来源： | CN 北京新华书店首都发行所有限公司 20171214 |