机读格式显示(MARC)
- 000 01478nam0 2200337 450
- 010 __ |a 978-7-5184-3286-8 |d CNY42.00
- 100 __ |a 20210303d2021 em y0chiy50 ea
- 200 1_ |a 哥德尔证明 |A ge de er zheng ming |f (美) 欧内斯特·内格尔, 詹姆斯·R. 纽曼著 |g (美) 侯世达编 |d = Godel's proof |f Ernest Nagel, James R. Newman |g Douglas R. Hofstadter |g 刘新文译 |z eng
- 210 __ |a 北京 |c 中国轻工业出版社 |d 2021.03
- 215 __ |a XIII, 142页 |d 22cm
- 314 __ |a 欧内斯特·内格尔, 美国科学哲学家、逻辑实证主义运动领军人物。詹姆斯·R. 纽曼, 美国数学家、数学史家、律师。刘新文, 中国社会科学院研究生院哲学博士。
- 320 __ |a 有书目 (第139-140页)
- 330 __ |a 本书内容包括: 导论 ; 一致性问题 ; 一致性的绝对证明 ; 形式逻辑的系统化 ; 一致性的绝对证明: 成功之例 ; 映射观念及其在数学中的使用 ; 总结性思考等共八章。
- 500 10 |a Godel's proof |m Chinese
- 600 _1 |a 哥德尔 |A ge de er |g (Godel, Kurt), |f 1906-1978 |x 逻辑哲学 |x 研究
- 606 0_ |a 逻辑哲学 |A luo ji zhe xue |x 研究 |y 美国 |z 现代
- 701 _1 |a 内格尔 |A nei ge er |g (Nagel, Ernest), |f 1901-1985 |4 著
- 701 _1 |a 纽曼 |A niu man |g (Newman, James R.), |f 1907-1966 |4 著
- 702 _1 |a 侯世达 |A hou shi da |g (Hofstadter, Douglas R.), |f 1945- |4 编
- 702 _0 |a 刘新文 |A liu xin wen |4 译
- 801 _0 |a CN |b 安徽时代 |c 20210303