Partial Recursive Functions

Given , a partial function, define:

the minimisation of .

Partial recursive functions are the closure of
Gödel’s primitive recursive functions
under the operation of minimisation.