Gov

Gov is Joyce's name for the one-argument Ackermann function, A(5), a contraction of the two-argument function, A(5, 5), a contraction of the three-argument function, g(6, 5, 5) = g(7, 2, 5)