机读格式显示(MARC)
- 000 00966nam0 2200253 450
- 010 __ |a 978-7-115-46991-5 |d CNY52.00
- 100 __ |a 20180217d2017 em y0chiy50 ea
- 200 1_ |a 数学女孩 |A shu xue nv hai |h 3 |i 哥德尔不完备定理 |f (日)结城浩著 |g 丁灵译
- 210 __ |a 北京 |c 人民邮电出版社 |d 2017
- 215 __ |a 10,406页 |c 图 |d 21cm
- 330 __ |a 本书作者巧妙地以每一章的概念作为拼图,拼出与塔斯基的形式语言的真理论、图灵机和判定问题一道被誉为“现代逻辑科学在哲学方面的三大成果”的哥德尔不完备定理的大概证明。全书内容包括:镜子的独白、皮亚诺算术、伽利略的犹豫、无限接近的目的地、莱布尼茨之梦、对角论证法等。
- 606 0_ |a 数学 |A Shu Xue |j 普及读物
- 701 _0 |c (日) |a 结城浩 |A jie cheng hao |f (1963-) |4 著
- 702 _0 |a 丁灵 |A ding ling |4 译
- 801 _0 |a CN |b 91MARC |c 20180217
- 905 __ |a ZPHC |d O1-49/161