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