The Tak function , named after Ikuo Takeuchi (竹 内 郁 雄), is a recursive function that is defined as follows:
Expressed differently:
It is often used as a benchmark for programming languages that are optimized for recursion .