最小数算子是一种特殊算子,.指基于自然数的最小数原理引进的,由数论谓词定义数论函数的一种运算子.最小数算子(the least number operator)一种特殊算子.指基于自然数的最小数原理引进的.由数论谓词定义数论函数的一种运算子.设P为n -I-1元数论谓词,对任何x其中x=Cx‑xz..}x‑)),使P (x, y)成立之最小的y(如存在的话)记为min P(x,y),其值当然依赖于x,因此可以看成x的一个函数 无定义.此时,部分函数g称为由谓词P经最小数算子作用而得的函数.最小数算子称为min算子.最小数算子还有一种受限形式,即受限最小数算子min,其定义如下: 参考资料 1. 数学辞海(第四卷)