Knuth’s up-arrow notation
E94986
Knuth’s up-arrow notation is a mathematical notation introduced by Donald Knuth to concisely represent very large integers using iterated exponentiation and its higher-order generalizations.
All labels observed (2)
| Label | Occurrences |
|---|---|
| Knuth up-arrow notation | 2 |
| Knuth’s up-arrow notation canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T799186 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Knuth’s up-arrow notation Context triple: [Donald E. Knuth, knownFor, Knuth’s up-arrow notation]
-
A.
Surreal numbers
Surreal numbers are a class of numbers introduced by John H. Conway that form an extensive ordered field encompassing the real numbers, infinite quantities, and infinitesimals within a unified framework.
-
B.
Peano notation
Peano notation is a formal symbolic system for representing natural numbers and arithmetic operations using axioms and successor functions, developed by Giuseppe Peano.
-
C.
On Numbers and Games
On Numbers and Games is a mathematical book by John H. Conway that introduces surreal numbers and explores combinatorial game theory in a rigorous yet playful style.
-
D.
Dyson’s transform in number theory
Dyson’s transform in number theory is a combinatorial technique introduced by Freeman Dyson to manipulate and relate integer partitions, particularly in the study of partition identities and congruences.
-
E.
Look-and-say sequence
The look-and-say sequence is a famous integer sequence where each term is generated by verbally describing the digits of the previous term, studied for its surprising combinatorial and growth properties.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Knuth’s up-arrow notation Target entity description: Knuth’s up-arrow notation is a mathematical notation introduced by Donald Knuth to concisely represent very large integers using iterated exponentiation and its higher-order generalizations.
-
A.
Surreal numbers
Surreal numbers are a class of numbers introduced by John H. Conway that form an extensive ordered field encompassing the real numbers, infinite quantities, and infinitesimals within a unified framework.
-
B.
Peano notation
Peano notation is a formal symbolic system for representing natural numbers and arithmetic operations using axioms and successor functions, developed by Giuseppe Peano.
-
C.
On Numbers and Games
On Numbers and Games is a mathematical book by John H. Conway that introduces surreal numbers and explores combinatorial game theory in a rigorous yet playful style.
-
D.
Dyson’s transform in number theory
Dyson’s transform in number theory is a combinatorial technique introduced by Freeman Dyson to manipulate and relate integer partitions, particularly in the study of partition identities and congruences.
-
E.
Look-and-say sequence
The look-and-say sequence is a famous integer sequence where each term is generated by verbally describing the digits of the previous term, studied for its surprising combinatorial and growth properties.
- F. None of above. chosen
Statements (50)
| Predicate | Object |
|---|---|
| instanceOf |
hyperoperation notation
ⓘ
mathematical notation ⓘ |
| alternativeTo |
Conway chained arrow notation for some ranges
ⓘ
power tower notation ⓘ |
| basedOn | iterated exponentiation ⓘ |
| clarifies | hierarchy of operations beyond exponentiation ⓘ |
| convention | operations are right-associative in b ⓘ |
| creator |
Donald E. Knuth
ⓘ
surface form:
Donald Knuth
|
| defines |
a ↑ b = a^b (ordinary exponentiation)
ⓘ
a ↑^n b recursively for n ≥ 1 ⓘ a ↑↑ b = a tetrated to height b ⓘ a ↑↑↑ b = a pentated to height b ⓘ |
| domain |
a is a positive integer
ⓘ
b is a nonnegative integer ⓘ |
| example |
2 ↑↑ 5 = 2^(2^(2^(2^2)))
ⓘ
2 ↑↑↑ 3 = 2 ↑↑ (2 ↑↑ 2) ⓘ 3 ↑ 3 = 27 ⓘ 3 ↑↑ 3 = 3^(3^3) = 3^27 ⓘ |
| field |
computational complexity theory
ⓘ
mathematics ⓘ number theory ⓘ |
| generalizes |
exponentiation
ⓘ
tetration ⓘ |
| growthRate | grows faster than any fixed-height tower of exponentials ⓘ |
| hasParameter |
arrow level n (number of up-arrows)
ⓘ
base a ⓘ height or iteration count b ⓘ |
| influenced | Conway chained arrow notation ⓘ |
| introducedBy |
Donald E. Knuth
ⓘ
surface form:
Donald Knuth
|
| introducedIn | 20th century ⓘ |
| introducedInContextOf | analysis of algorithms ⓘ |
| language | symbolic mathematics ⓘ |
| notationSymbol |
↑
ⓘ
↑^n (n up-arrows) ⓘ ↑↑ ⓘ ↑↑↑ ⓘ |
| notationType | prefix binary operation on integers ⓘ |
| partOf | hyperoperation sequence ⓘ |
| purpose | to represent very large integers concisely ⓘ |
| recurrenceRule |
a ↑^n (b+1) = a ↑^{n-1} (a ↑^n b) for n ≥ 2, b ≥ 1
ⓘ
a ↑^n 1 = a for n ≥ 1 ⓘ |
| relatedTo |
Ackermann function
ⓘ
Conway chained arrow notation ⓘ fast-growing hierarchy ⓘ hyperoperations ⓘ tetration ⓘ |
| usedFor |
defining extremely fast-growing functions
ⓘ
describing growth rates beyond primitive recursive functions ⓘ expressing large bounds in proof theory ⓘ expressing large numbers in combinatorics ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Knuth’s up-arrow notation Description of subject: Knuth’s up-arrow notation is a mathematical notation introduced by Donald Knuth to concisely represent very large integers using iterated exponentiation and its higher-order generalizations.
Referenced by (3)
Full triples — surface form annotated when it differs from this entity's canonical label.
this entity surface form:
Knuth up-arrow notation
this entity surface form:
Knuth up-arrow notation