本原函数

英文

fundamental functions

简介

一类基本的数论函数.它包括后继函数S、零函数0及投影函数Imn(亦称广义幺函数).由于这些函数是最基本、最简单而又可以直接定义的函数,因此,在递归论中所讨论的每一个非平凡的函数类都包含这些函数,并常以它们作为开始函数(参见“递归生成函数类”).虽然只有三种本原函数,但却有无穷多个函数,这是因为投影函数有无穷多个.