Giv is Joyce's name for the one-argument Ackermann function, A(4), a contraction of the two-argument function, A(4, 4), a contraction of the three-argument function, g(5, 4, 4) = g(6, 2, 4), four-hexated-to-the-second.
| Graph IRI | Count |
|---|---|
| http://dbkwik.webdatacommons.org | 6 |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
