Content deleted Content added
→Definition: clarification that fixes the preceding edit |
Fix typo |
||
Line 33:
== Total recursive function ==
A general recursive function is called '''total recursive function''' if it is defined for every input, or,
Given a general recursive function, it is generally impossible to decide whether it is a total one, see ''[[Halting problem]]''.
|