Content deleted Content added
mNo edit summary |
|||
Line 9:
== Definition ==
Take as axioms the axioms of the [[primitive recursive function]]s, but extend the definitions so as to allow for [[partial function]]s. Add one further operator, the ''
:If ''f''(''x'',''z''<sub>1</sub>,''z''<sub>2</sub>,...,''z''<sub>''n''</sub>) is a partial function on the [[natural numbers]] with ''n''+1 arguments ''x'', ''z''<sub>1</sub>,...,''z''<sub>''n''</sub>, then the function μ''x'' ''f'' is the partial function with arguments ''z''<sub>1</sub>,...,''z''<sub>''n''</sub> that returns the least ''x'' such that ''f''(0,''z''<sub>1</sub>,''z''<sub>2</sub>,...,''z''<sub>''n''</sub>), ''f''(1,''z''<sub>1</sub>,''z''<sub>2</sub>,...,''z''<sub>''n''</sub>), ..., ''f''(''x'',''z''<sub>1</sub>,''z''<sub>2</sub>,...,''z''<sub>''n''</sub>) are all defined and ''f''(''x'',''z''<sub>1</sub>,''z''<sub>2</sub>,...,''z''<sub>''n''</sub>) = 0, if such an ''x'' exists; if no such ''x'' exists, then μ''x'' ''f'' is not defined for the particular arguments ''z''<sub>1</sub>,...,''z''<sub>''n''</sub>.
| |||