Gol

Gol is Joyce's name for the one-argument Ackermann function, A(50), a contraction of the two-argument function, A(50, 50), which is in order a contraction of the three-argument function, g(51, 50, 50) = g(52, 2, 50).