Statements (31)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb: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 |
| 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 |
gptkb:combinatorics
ordinal analysis |
| gptkbp:usedIn |
transfinite numbers
computational complexity large number notation |
| gptkbp:bfsParent |
gptkb:Conway's_chained_arrow_notation
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
tetration
|