书目信息 |
| 题名： |
数学女孩
|
|
| 作者： | 结城浩 著 ；丁灵 译 | |
| 分册： | 3 哥德尔不完备定理 | |
| 出版信息： | 北京 人民邮电出版社 2017 |
|
| 页数： | 10,406页 | |
| 开本： | 21cm | |
| 丛书名： | 图灵新知 | |
| 单 册： | ||
| 中图分类： | O1-49 | |
| 科图分类： | ||
| 主题词： | 数学--普及读物 | |
| 电子资源： | ||
| ISBN： | 978-7-115-46991-5 | |
| 000 | 01187nam0 2200301 450 | |
| 001 | 1855047588 | |
| 005 | 20181203100323.85 | |
| 010 | @a978-7-115-46991-5@dCNY52.00 | |
| 049 | @aA441900DGL@bUCS01008850641@c3387267 | |
| 100 | @a20171207d2017 em y0chiy0110 ea | |
| 101 | 1 | @achi@cjpn |
| 102 | @aCN@b110000 | |
| 105 | @aa z 000yy | |
| 200 | 1 | @a数学女孩@9shu xue nv hai@h3@i哥德尔不完备定理@b专著@f(日)结城浩著@g丁灵译 |
| 210 | @a北京@c人民邮电出版社@d2017 | |
| 215 | @a10,406页@c图@d21cm | |
| 225 | 2 | @a图灵新知 |
| 304 | @a英文分辑题名：Godel's incompleteness theorems | |
| 305 | @a由SB Creative Corp.授权出版 | |
| 330 | @a本书作者巧妙地以每一章的概念作为拼图，拼出与塔斯基的形式语言的真理论、图灵机和判定问题一道被誉为“现代逻辑科学在哲学方面的三大成果”的哥德尔不完备定理的大概证明。全书内容包括：镜子的独白、皮亚诺算术、伽利略的犹豫、无限接近的目的地、莱布尼茨之梦、对角论证法等。 | |
| 410 | 0 | @12001 @a图灵新知 |
| 606 | 0 | @a数学@j普及读物 |
| 690 | @aO1-49@v5 | |
| 701 | 0 | @c(日)@a结城浩@9jie cheng hao@f(1963-)@4著 |
| 702 | 0 | @a丁灵@9ding ling@c(女)@4译 |
| 801 | 2 | @aCN@bOLCC @c20180306 |
| 801 | 2 | @aCN@bA441900DGL@c20180131 |
| 905 | @a241250@dO1-49@e131:3 | |
| 数学女孩.3.哥德尔不完备定理/(日)结城浩著/丁灵译.-北京：人民邮电出版社，2017 |
| 10,406页：图；21cm.-(图灵新知) |
| ISBN 978-7-115-46991-5：CNY52.00 |
| 本书作者巧妙地以每一章的概念作为拼图，拼出与塔斯基的形式语言的真理论、图灵机和判定问题一道被誉为“现代逻辑科学在哲学方面的三大成果”的哥德尔不完备定理的大概证明。全书内容包括：镜子的独白、皮亚诺算术、伽利略的犹豫、无限接近的目的地、莱布尼茨之梦、对角论证法等。 |
| ● |
| 相关链接 |
正题名：数学女孩
索取号：O1-49/131:3
预约/预借
| 序号 | 登录号 | 条形码 | 馆藏地/架位号 | 状态 | 备注 |
| 1 | 0806979 | 208069793 | 样本书库/ [索取号:O1-49/131:3] | 在馆 | |
| 2 | 0806980 | 208069800 | 理科库/3110480503/ [索取号:O1-49/131:3] | 在馆 | |
| 3 | 0806981 | 208069819 | 理科库/3110480503/ [索取号:O1-49/131:3] | 在馆 |