|
题名:
|
哥德尔证明 ge de er zheng ming / (美)欧内斯特·内格尔(Ernest Nagel)，(美)詹姆斯·R. 纽曼(James R. Newman)著 , (美)侯世达(Douglas R. Hofstadter)编 |
|
ISBN:
|
978-7-5184-3286-8 价格： CNY42.00 |
|
语种:
|
chi |
|
载体形态:
|
13,142页 图 21cm |
|
出版发行:
|
出版地： 北京 出版社： 中国轻工业出版社 出版日期： 2021 |
|
内容提要:
|
本书两位作者首次以相对简单的形式解释了哥德尔论文中涉及的逻辑与数学基本术语、使用到的证明方法以及证明的主要思路和核心论题，为首次进入哥德尔证明思想的读者提供了一幅简明地图。 |
|
中图分类法:
|
B712.59 版次： 5 |
|
中图分类法:
|
B81-05 版次： 5 |
|
主要责任者:
|
内格尔 nei ge er 著 |
|
主要责任者:
|
纽曼 niu man 著 |
|
次要责任者:
|
侯世达 hou shi da 编 |
|
次要责任者:
|
刘新文 liu xin wen 译 |
|
索书号:
|
B712.59/4297 |