AI-created image
Statements (25)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:category |
computability theory
number theory |
| gptkbp:definitionType |
recursive
|
| gptkbp:example |
A(1,2)=4
A(2,2)=7 A(3,2)=29 |
| gptkbp:field |
gptkb:theoretical_computer_science
gptkb:mathematics |
| gptkbp:firstDefined |
1928
|
| gptkbp:growthForm |
extremely fast-growing
|
| gptkbp:input |
non-negative integers
|
| gptkbp:namedAfter |
gptkb:Wilhelm_Ackermann
|
| gptkbp:notation |
A(m, n)
|
| gptkbp:output |
non-negative integer
|
| gptkbp:property |
computable function
not primitive recursive |
| gptkbp:relatedTo |
recursion theory
hyperoperation primitive recursive functions |
| gptkbp:usedIn |
gptkb:theoretical_computer_science
analysis of algorithms |
| gptkbp:bfsParent |
gptkb:Wilhelm_Ackermann
|
| gptkbp:bfsLayer |
4
|
| https://www.w3.org/2000/01/rdf-schema#label |
Ackermann function
|