Ну почему же. Функция Аккерамана это пример функции, которую нельзя вычислить "просто в цикле". Да, можно заменить рекурсию на цикл со стеком. Но это уже не цикл vs рекурсия. (а в формализме частичных рекурсивных функций, откуда тут ноги растут, вообще-то нет структур данных, поэтому там просто не может быть никакого стека)