题名:
|
算术、真与悖论 Suan Shu 、Zhen Yu Zuo Lun / 熊明 , |
ISBN:
|
978-7-03-051962-7 价格: CNY98.00 |
语种:
|
chi |
载体形态:
|
12,260页 24cm |
出版发行:
|
出版地: 北京 出版社: 科学出版社 出版日期: 2017 |
内容提要:
|
本书分三编,主要内容包括:集与序;形式算术;原始递归函数与递归函数;哥德尔编码及相关函数;层次理论;克林强三值赋值与克里普克不动点定理;超赋值与最小不动点;T-模式与说谎者;悖论的悖论度等。 |
主题词:
|
真理 研究 |
中图分类法:
|
B023.3 版次: 5 |
主要责任者:
|
熊明 Xiong Ming |
索书号:
|
2 |