En 1928, Wilhelm Ackermann consideró una función doblemente recursiva "A"("m", "n", "p") de tres variables: "m" → "n" → "p" en la notación de Conway.