Knuth's Up Arrow Notation
   HOME





Knuth's Up Arrow Notation
In mathematics, Knuth's up-arrow notation is a method of notation for very large integers, introduced by Donald Knuth in 1976. In his 1947 paper, R. L. Goodstein introduced the specific sequence of operations that are now called ''hyperoperations''. Goodstein also suggested the Greek names tetration, pentation, etc., for the extended operations beyond exponentiation. The sequence starts with a unary operation (the successor function with ''n'' = 0), and continues with the binary operations of addition (''n'' = 1), multiplication (''n'' = 2), exponentiation (''n'' = 3), tetration (''n'' = 4), pentation (''n'' = 5), etc. Various notations have been used to represent hyperoperations. One such notation is H_n(a,b). Knuth's up-arrow notation \uparrow is another. For example: * the single arrow \uparrow represents exponentiation (iterated multiplication) 2 \uparrow 4 = H_3(2,4) = 2\times(2\times(2\times 2)) = 2^4 = 16 * the double arrow \uparrow\uparrow represents tetration (iterated ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Multiplication
Multiplication is one of the four elementary mathematical operations of arithmetic, with the other ones being addition, subtraction, and division (mathematics), division. The result of a multiplication operation is called a ''Product (mathematics), product''. Multiplication is often denoted by the cross symbol, , by the mid-line dot operator, , by juxtaposition, or, in programming languages, by an asterisk, . The multiplication of whole numbers may be thought of as repeated addition; that is, the multiplication of two numbers is equivalent to adding as many copies of one of them, the ''multiplicand'', as the quantity of the other one, the ''multiplier''; both numbers can be referred to as ''factors''. This is to be distinguished from term (arithmetic), ''terms'', which are added. :a\times b = \underbrace_ . Whether the first factor is the multiplier or the multiplicand may be ambiguous or depend upon context. For example, the expression 3 \times 4 , can be phrased as "3 ti ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Ordinal Number
In set theory, an ordinal number, or ordinal, is a generalization of ordinal numerals (first, second, th, etc.) aimed to extend enumeration to infinite sets. A finite set can be enumerated by successively labeling each element with the least natural number that has not been previously used. To extend this process to various infinite sets, ordinal numbers are defined more generally using linearly ordered greek letter variables that include the natural numbers and have the property that every set of ordinals has a least or "smallest" element (this is needed for giving a meaning to "the least unused element"). This more general definition allows us to define an ordinal number \omega (omega) to be the least element that is greater than every natural number, along with ordinal numbers , , etc., which are even greater than . A linear order such that every non-empty subset has a least element is called a well-order. The axiom of choice implies that every set can be well-orde ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Conway Chained Arrow Notation
Conway chained arrow notation, created by mathematician John Horton Conway, is a means of expressing certain extremely large numbers. It is simply a finite sequence of positive integers separated by rightward arrows, e.g. 2\to3\to4\to5\to6. As with most combinatorial notations, the definition is recursive. In this case the notation eventually resolves to being the leftmost number raised to some (usually enormous) integer power. Definition and overview A "Conway chain" is defined as follows: * Any positive integer is a chain of length 1. * A chain of length ''n'', followed by a right-arrow → and a positive integer, together form a chain of length n+1. Any chain represents an integer, according to the six rules below. Two chains are said to be equivalent if they represent the same integer. Let a, b, c denote positive integers and let \# denote the unchanged remainder of the chain. Then: #An empty chain (or a chain of length 0) is equal to 1. #The chain a represents the number a. ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Hyper Operator
In mathematics, the hyperoperation sequence is an infinite sequence of arithmetic operations (called ''hyperoperations'' in this context) that starts with a unary operation (the successor function with ''n'' = 0). The sequence continues with the binary operations of addition (''n'' = 1), multiplication (''n'' = 2), and exponentiation (''n'' = 3). After that, the sequence proceeds with further binary operations extending beyond exponentiation, using Operator associativity, right-associativity. For the operations beyond exponentiation, the ''n''th member of this sequence is named by Reuben Goodstein after the Numerical prefix, Greek prefix of ''n'' suffixed with ''-ation'' (such as tetration (''n'' = 4), pentation (''n'' = 5), hexation (''n'' = 6), etc.) and can be written as using ''n'' − 2 arrows in Knuth's up-arrow notation. Each hyperoperation may be understood Recursion (computer science), recursively in terms of the previous one by: :a[n]b = \underbrace_,\quad n \ge 2 It ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  



MORE