Content deleted Content added
→Total recursive function: start section, to have a link target for the recurect total recursive function, see talk |
→Total recursive function: flesh out a little bit |
||
Line 33:
== Total recursive function ==
A general recursive function is called '''total recursive function''' if it is defined for every input, or, rquivalently, if it can be computed by a [[total Turing machine]].{{cn}}
Given a general recursive function, it is generally impossible to decide whether it is a total one, see ''[[Halting problem]]''.
== Equivalence with other models of computability ==
| |||