General recursive function: Difference between revisions

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, rquivalentlyequivalently, if it can be computed by a [[total Turing machine]].{{cn|date=April 2021}}
Given a general recursive function, it is generally impossible to decide whether it is a total one, see ''[[Halting problem]]''.