000    oam2
001 __ 012021000000
005 __ 20210526121212.0
010 __ ■a978-7-5184-3286-8■dCNY42.00
100 __ ■a20210526d2021    em y0chiy50      ea
101 1_ ■achi■ceng
102 __ ■aCN■b110000
105 __ ■aak  a   000yy
106 __ ■ar
200 1_ ■a哥德尔证明■9ge de er zheng ming■dGodel's proof■f(美)欧内斯特·内格尔(Ernest Nagel), 詹姆斯·R. 纽曼(James R. Newman)著■g(美)侯世达(Douglas R. Hofstadter)编■g刘新文译■zeng
210 __ ■a北京■c中国轻工业出版社■d2021
215 __ ■a13,142页■c图■d21cm
225 2_ ■a万千教育
314 __ ■a欧内斯特·内格尔(1901-1985), 美国科学哲学家, 逻辑实证主义运动领军人物。
314 __ ■a詹姆斯·R. 纽曼(1907-1966), 美国数学家, 数学史家, 律师。1948年成为《科学美国人》杂志编委会成员。
314 __ ■a侯世达(1945-), 美国认知科学家, 哲学家。2009年入选美国艺术与科学院、美国哲学学会, 2010年入选瑞典乌普萨拉皇家科学院。
314 __ ■a刘新文, 中国社会科学院研究生院哲学博士, 中国社会科学院哲学所研究员, 中国社会科学院大学教授。主要研究方向为哲学逻辑和逻辑哲学。
320 __ ■a有书目(第139-140页)
330 __ ■a1931年, 逻辑学家、数学家库尔特·哥德尔(Kurt Godel)发表的关于不完全性定理的论文, 挑战了数学和逻辑研究中的基本假设, 被认为是现代逻辑科学在哲学方面的三大成果之一。由于这一贡献, 他获得了被誉为“在美国同类奖项中最高奖”的第一届阿尔伯特·爱因斯坦奖。哥德尔的证明即使对于专业研究者来讲也会显得过于复杂。本书两位作者首次以相对简单的形式解释了哥德尔论文中涉及的逻辑与数学基本术语、使用到的证明方法以及证明的主要思路和核心论题, 为首次进入哥德尔证明思想的读者提供了一幅简明地图。本书也直接影响了侯世达开始从事数理逻辑研究并写出了《哥德尔、艾舍尔、巴赫》。在此版本中, 侯世达澄清了原文本中的一些歧义之处, 并添加了一个新的序言。他在序言中不仅展示了自己与本书的关系, 还解释了哥德尔证明的本质, 明确了哥德尔证明对于思考认知科学特别是人工智能发展的重要意义。
461 _0 ■12001 ■a万千教育
510 1_ ■aGodel's proof■zeng
600 _1 ■a哥德尔■9ge de er■c(Godel, Kurt)■x逻辑哲学■x研究
606 0_ ■a逻辑哲学■x研究■y德国■z现代
690 __ ■aB516.59■v5
690 __ ■aB81-05■v5
701 _0 ■c(美)■a内格尔■9nei ge er■c(Nagel, Ernest)■4著
701 _0 ■c(美)■a纽曼■9niu man■c(Newman, James R.)■4著
702 _0 ■c(美)■a侯世达■9hou shi da■c(Hofstadter, Douglas R.)■4编
702 _0 ■a刘新文■9liu xin wen■4译
801 _0 ■aCN■bWXLS■c20210526
905 __ ■aTSG■b0340226-7■dB516.59■e4042■f2