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.