If we have a total function, is it by default terminating function? How can we prove the termination for this total function?
Total function and termination
0
$\begingroup$
terminology
computability
-
0Not by default, but by definition. – 2012-08-22
-
0What is the definition of a terminating function? – 2012-08-22
-
0Can you provide the definitions of "total function" and "terminating function" you are using here? – 2012-08-22
-
0There are total functions that are not computable, but in this case one only has (at best) a non-effective description of the function, and saying it is terminating does not really make sense. – 2012-08-28