题名:
|
哥德尔证明 [ 专著] 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页 22cm |
出版发行:
|
出版地: 北京 出版社: 中国轻工业出版社 出版日期: 2021.03 |
内容提要:
|
本书内容包括:导论;一致性问题;一致性的绝对证明;形式逻辑的系统化;一致性的绝对证明:成功之例;映射观念及其在数学中的使用;总结性思考等共八章。 |
中图分类法:
|
B7 版次: 5 |
中图分类法:
|
B81-05 版次: 5 |
主要责任者:
|
内格尔 nei ge er 著 |
主要责任者:
|
纽曼 niu man 著 |
次要责任者:
|
侯世达 hou shi da 编 |
次要责任者:
|
刘新文 liu xin wen 译 |