Statements (31)
Predicate | Object |
---|---|
gptkbp:instanceOf |
mathematical operation
|
gptkbp:definedIn |
iterated exponentiation
|
gptkbp:example |
^4 2 = 2^(2^(2^2)) = 65536
|
gptkbp:field |
gptkb:mathematics
number theory arithmetic |
gptkbp:followedBy |
exponentiation
|
gptkbp:generalizes |
exponentiation
hyperoperations |
https://www.w3.org/2000/01/rdf-schema#label |
tetration
|
gptkbp:hyperoperationRank |
4
|
gptkbp:introduced |
gptkb:Reuben_Louis_Goodstein
|
gptkbp:introducedIn |
1947
|
gptkbp:inverseOperation |
super-logarithm
super-root |
gptkbp:notation |
^n a
a[4]n a^^n |
gptkbp:precededBy |
pentation
|
gptkbp:property |
non-associative
non-commutative |
gptkbp:relatedTo |
addition
multiplication exponentiation |
gptkbp:studiedIn |
combinatorics
ordinal analysis |
gptkbp:usedIn |
transfinite numbers
computational complexity large number notation |
gptkbp:bfsParent |
gptkb:Conway's_chained_arrow_notation
|
gptkbp:bfsLayer |
6
|