
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:mathematics
theoretical computer science |
gptkbp:firstDefined |
1928
|
gptkbp:growthForm |
extremely fast-growing
|
https://www.w3.org/2000/01/rdf-schema#label |
Ackermann function
|
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 |
analysis of algorithms
theoretical computer science |
gptkbp:bfsParent |
gptkb:Wilhelm_Ackermann
|
gptkbp:bfsLayer |
4
|