Hyperoperation sequence & tetration — The Number Path
Node
Hyperoperation sequence & tetration (Theorem) in The Number Path. Era: 1947. Formula: H₄(a,b)=a↑↑b. Origin axiom of path: Peano's axioms. Modern reach: Incompleteness theorems · Computer science.