|
题名:
|
数学女孩 [ 专著] shu xue nv hai / (日)结城浩著 , 丁灵译 |
|
ISBN:
|
978-7-115-46991-5 价格： CNY59.80 |
|
语种:
|
chi |
|
载体形态:
|
10,406页 图 21cm |
|
出版发行:
|
出版地： 北京 出版社： 人民邮电出版社 出版日期： 2017 |
|
内容提要:
|
本书作者巧妙地以每一章的概念作为拼图，拼出与塔斯基的形式语言的真理论、图灵机和判定问题一道被誉为“现代逻辑科学在哲学方面的三大成果”的哥德尔不完备定理的大概证明。全书内容包括：镜子的独白、皮亚诺算术、伽利略的犹豫、无限接近的目的地、莱布尼茨之梦、对角论证法等。 |
|
主题词:
|
数学 |
|
中图分类法:
|
O1-49 版次： 5 |
|
主要责任者:
|
结城浩 jie cheng hao 著 |
|
次要责任者:
|
丁灵 ding ling 译 |
|
附注:
|
图灵新知 |