【原始递归算术】沈百英华东化工学院.pdf
原始递归算术 沈百英
原始遵归算术是一种无逻辉的方程演算,更是一种严格的有穷主义理论,它所研究的对象和所 原始递归算术也是初等数论中可构造的部分,由于它的概念简单,论证严密,且推理的根据都 本书系统地介绍了递归算术的基本概念。内容包括原始递归算术的各种公理系统、初等算术算 子、原始递归式的加强、配对函数的一般润成、数论函数的逆函数、各种高等规则、可构造发展的 本书总结并发展了国内外学者的,特别是作者近几年来的研究成果,其中很多重要结果系第一 本书可作为高等院校计算机科学系与数学系高年级学生及研究生的教材或教学参考书.内 详细列出,因此它的研究使初等数论的研究出现了一个可构造性的新面貌。
14目录 S0递归算术的本质 50形式系统的刻划 第1章有关概念的非形式描述 1自然数,数变元,数论函数 函数的定义 递归算术作为方程演算的语法刻划 51证明的推理根据的书写方式 S1公理与规则的分类 S1规则的强弱解释 S2基础系统的描述.S2基础系统中的推理 S2基础系统的化归 第一类纯递归式递归算术F1(系统AV)递归算术F1的构成.关于二元常函数N的性质 关于和的性质 关于一元函数D的性质.