|
The Takeuchi function is a triply recursive 3-parameter function originally defined by Ichiro Takeuchi in 1978 as
 if  and
 otherwise. Later John McCarthy simplified the definition of the function as
 if  ,
 if  and
 in all other cases.
For example,
 since 194 is not less than 13, and 13 is not less than 5. The return value of the function “is on no practical significance,” but the function itself “is useful for benchmark testing of programming languages.” (Finch, 2003) The function
 is the number of times  calls itself to obtain the return value. A properly optimized implementation of the function in a given programming language should not require more recursion than  indicates.
- 1
- Steven R. Finch Mathematical Constants New York: Cambridge University Press (2003): 321
| 
