欢迎访问名词吧!

当前位置

首页 > 科学 > 社会科学 > 逻辑学 > 《数理逻辑手册》(逻辑)名词解释

《数理逻辑手册》(逻辑)

《数理逻辑手册》名词解释:巴维斯(BarwiseJon,1942—)主编,34位数理逻辑专家撰写。1977年北荷兰出版公司出版。全书分模型论、集合论、递归论、证明论与构造数学四大部分,共31章。模型论部分研究数学语句与数学结构之间的基本关系,特别强调一阶语句的模型论。集合论部分介绍一些重要的独立性和协调性结果,以及得到这些结果所用的方法。递归论部分研究了自然数上的递归或能行可计算函数类及其在数学中的应用和任意数学结构上的递归过程。证明论部分论述了应用现代数学工具把证明本身作为数学对象来研究是起源于希尔伯特方案以及与这个方案密切相关的哥德尔的两个不完全性定理。手册全面介绍和探讨了数理逻辑在近期发展的几乎全部问题,是研究数理逻辑的非常有参考价值的著作。