| 字段 | 字段内容 |
|---|---|
| 001 | 01h1227787 |
| 005 | 20210722103845.0 |
| 010 | $a: 978-7-5184-3286-8$d: CNY42.00 |
| 100 | $a: 20210324d2021 em y0chiy50 ea |
| 101 | $a: chi$c: eng |
| 102 | $a: CN$b: 110000 |
| 105 | $a: ak a 000yy |
| 106 | $a: r |
| 200 | $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 |
| 215 | $a: xiii, 142页$c: 图$d: 21cm |
| 225 | $a: 万千教育$A: wan qian jiao yu |
| 314 | $a: 欧内斯特·内格尔 (Ernest Nagel, 1901-1985), 美国科学哲学家, 逻辑实证主义运动领军人物。詹姆斯·R. 纽曼 (James R. Newman, 1907-1966), 美国数学家, 数学史家, 律师。1948年成为《科学美国人》杂志编委会成员。侯世达 (Douglas R. Hofstadter, 1945-), 美国认知科学家, 哲学家。2009年入选美国艺术与科学院、美国哲学学会, 2010年入选瑞典乌普萨拉皇家科学院。刘新文, 中国社会科学院研究生院哲学博士, 中国社会科学院哲学所研究员, 中国社会科学院大学教授。主要研究方向为哲学逻辑和逻辑哲学。 |
| 320 | $a: 有书目 (第139-140页) |
| 330 | $a: 1931年, 逻辑学家、数学家库尔特·哥德尔 (Kurt Godel) 发表的关于不完全性定理的论文, 挑战了数学和逻辑研究中的基本假设, 被认为是现代逻辑科学在哲学方面的三大成果之一。由于这一贡献, 他获得了被誉为“在美国同类奖项中最高奖”的第一届阿尔伯特·爱因斯坦奖。哥德尔的证明即使对于专业研究者来讲也会显得过于复杂。本书两位作者首次以相对简单的形式解释了哥德尔论文中涉及的逻辑与数学基本术语、使用到的证明方法以及证明的主要思路和核心论题, 为首次进入哥德尔证明思想的读者提供了一幅简明地图。本书也直接影响了侯世达开始从事数理逻辑研究并写出了《哥德尔、艾舍尔、巴赫》。在此版本中, 侯世达澄清了原文本中的一些歧义之处, 并添加了一个新的序言。他在序言中不仅展示了自己与本书的关系, 还解释了哥德尔证明的本质, 明确了哥德尔证明对于思考认知科学特别是人工智能发展的重要意义。 |
| 410 | $1: 2001 $a: 万千教育 |
| 500 | $1: 0$a: Godel's proof$m: Chinese |
| 600 | $a: 哥德尔$A: ge de er$g: (Godel, Kurt),$f: 1906-1978$x: 逻辑哲学$x: 研究 |
| 606 | $a: 逻辑哲学$A: luo ji zhe xue$x: 研究$y: 德国$z: 现代 |
| 690 | $a: B81-05$v: 5 |
| 701 | $a: 纽曼$A: niu man$g: (Newman, James R.),$f: 1907-1966$4: 著 |
| 702 | $a: 刘新文$A: liu xin wen$4: 译 |
| 801 | $a: CN$b: BUCTL$c: 20210722 |
| 905 | $d: B516.59$r: CNY42.00$e: 46$a: BUCTLIB |
北京创讯未来软件技术有限公司 版权所有 ALL RIGHTS RESERVED 京ICP备 09032139
欢迎第108709751位用户访问本系统