0
$\begingroup$

If we have a total function, is it by default terminating function? How can we prove the termination for this total function?

  • 0
    Not by default, but by definition.2012-08-22
  • 0
    What is the definition of a terminating function?2012-08-22
  • 0
    Can you provide the definitions of "total function" and "terminating function" you are using here?2012-08-22
  • 0
    There 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

2 Answers 2