| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
标签:
用空格间隔多个标签,如:小说 文学 余秋雨
保存至书单:
数学女孩．3，哥德尔不完备定理, (日)结城浩著 |
|
|
ISBN:
|
978-7-115-46991-5 价格： CNY52.00 |
|
语种:
|
chi |
|
题名:
|
数学女孩 shu xue nu^ hai / (日)结城浩著 , 丁灵译 |
|
出版发行:
|
出版地： 北京 出版社： 人民邮电出版社 出版日期： 2017 |
|
载体形态:
|
10,406页 图 21cm |
|
附注内容:
|
图灵新知 |
|
摘要:
|
本书作者巧妙地以每一章的概念作为拼图，拼出与塔斯基的形式语言的真理论、图灵机和判定问题一道被誉为“现代逻辑科学在哲学方面的三大成果”的哥德尔不完备定理的大概证明。全书内容包括：镜子的独白、皮亚诺算术、伽利略的犹豫、无限接近的目的地、莱布尼茨之梦、对角论证法等。 |
|
主题:
|
数学 |
|
中图分类:
|
O1-49 版次： 5 |
|
主要著者:
|
结城浩 jie cheng hao 著 |
|
次要著者:
|
丁灵 ding ling 译 |
|
索书号
|
O1-49/73:3 |
|
标签:
|
相关主题:
|
|
相关资源:
|
|
|
分享资源:
|
|
限定所在馆:
限定所在馆藏地点:
限定馆藏状态:
HEA| |01339nam0 2200277 450 001| |012017001696 005| |20180402172107.3 010| |□a978-7-115-46991-5□dCNY52.00 100| |□a20180402d2017 em y0chiy0110 ea 101|1 |□achi□cjpn 102| |□aCN□b110000 105| |□aa z 000yy 106| |□ar 200|1 |□a数学女孩□h3□i哥德尔不完备定理□f(日)结城浩著□g- | |丁灵译□9shu xue nu^ hai 210| |□a北京□c人民邮电出版社□d2017 215| |□a10,406页□c图□d21cm 300| |□a图灵新知 304| |□a英文分辑题名：Godel\'s incompleteness theorems 305| |□a由SB Creative Corp.授权出版 330| |□a本书作者巧妙地以每一章的概念作为拼图，拼出与塔斯基的形式- | |语言的真理论、图灵机和判定问题一道被誉为“现代逻辑科学在哲学- | |方面的三大成果”的哥德尔不完备定理的大概证明。全书内容包括：- | |镜子的独白、皮亚诺算术、伽利略的犹豫、无限接近的目的地、莱布- | |尼茨之梦、对角论证法等。 606|0 |□a数学□j普及读物 690| |□aO1-49□v5 701| 0|□c(日)□a结城浩□f(1963-)□4著□9jie cheng hao 702| 0|□a丁灵□4译□9ding ling 801| 2|□aCN□bA441900DGL□c20180131 905| |□a永安市图书馆□fO1-49/73:3□s3□kZ□b01- | |75314□t237114□kZ□b0175312□t237- | |112□kZ□b0175313□t237113