Govi is Joyce's name for the one-argument Ackermann function, A(6), a contraction of the two-argument function, A(6, 6), a contraction of the three-argument function, g(7, 6, 6) = g(8, 2, 6), six-octated-to-the-second.
| Graph IRI | Count |
|---|---|
| http://dbkwik.webdatacommons.org | 6 |