|
题名:
|
元数学基础 / 冯琦著 , |
|
ISBN:
|
978-7-03-083698-4 价格： CNY198.00 |
|
语种:
|
chi |
|
载体形态:
|
x, 643页 24cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 2025 |
|
内容提要:
|
本书分为三卷。第二卷为实在无穷形式理论，也分为四章。第五章在无穷公理之下解决自然数表示问题以及论证基本递归定义定理；第六章引进映像存在原理，论证第二递归定义定理；第七章论证彻底有限集合的存在性以及自然数算术函数的集合表示；第八章解决秩序表示问题。在第二卷中读者会看到这种“自然数”表示问题恰好由“无穷公理”给出恰如其分的美妙的解答。换句话说，无穷公理所解决的是“自然数”的典型表示问题，而不是算术问题。 |
|
主题词:
|
证明论 |
|
中图分类法:
|
O141.2 版次： 5 |
|
其它题名:
|
基本实在无穷 |
|
主要责任者:
|
冯琦 著 |
|
附注:
|
国家出版基金项目 “十四五”时期国家重点出版物出版专项规划项目 |