|
Hyperoperation
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 right-associativity. For the operations beyond exponentiation, the ''n''th member of this sequence is named by Reuben Goodstein after the 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 recursively in terms of the previous one by: :a = \underbrace_,\quad n \ge 2 It may also be defined according to the recursion rule part of the defi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pentation
In mathematics, pentation (or hyper-5) is the fifth hyperoperation. Pentation is defined to be repeated tetration, similarly to how tetration is repeated exponentiation, exponentiation is repeated multiplication, and multiplication is repeated addition. The concept of "pentation" was named by English mathematician Reuben Goodstein in 1947, when he came up with the naming scheme for hyperoperations. The number ''a'' pentated to the number ''b'' is defined as ''a'' tetrated to itself ''b - 1'' times. This may variously be denoted as a[5]b, a\uparrow\uparrow\uparrow b, a\uparrow^3 b, a\to b\to 3, or , depending on one's choice of notation. For example, 2 pentated to 2 is 2 tetrated to 2, or 2 raised to the power of 2, which is 2^2 = 4. As another example, 2 pentated to 3 is 2 tetrated to the result of 2 tetrated to 2. Since 2 tetrated to 2 is 4, 2 pentated to 3 is 2 tetrated to 4, which is 2^ = 65536. Based on this definition, pentation is only defined when ''a'' and ''b'' are both ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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] |
Tetration
In mathematics, tetration (or hyper-4) is an operation (mathematics), operation based on iterated, or repeated, exponentiation. There is no standard mathematical notation, notation for tetration, though Knuth's up arrow notation \uparrow \uparrow and the left-exponent ^b are common. Under the definition as repeated exponentiation, means , where ' copies of ' are iterated via exponentiation, right-to-left, i.e. the application of exponentiation n-1 times. ' is called the "height" of the function, while ' is called the "base," analogous to exponentiation. It would be read as "the th tetration of ". For example, 2 tetrated to 4 (or the fourth tetration of 2) is =2^=2^=2^=65536. It is the next hyperoperation after exponentiation, but before pentation. The word was coined by Reuben Louis Goodstein from tetra- (four) and iterated function, iteration. Tetration is also defined recursively as : := \begin 1 &\textn=0, \\ a^ &\textn>0, \end allowing for the holomorphic function, hol ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ackermann Function
In computability theory, the Ackermann function, named after Wilhelm Ackermann, is one of the simplest and earliest-discovered examples of a total function, total computable function that is not Primitive recursive function, primitive recursive. All primitive recursive functions are total and computable, but the Ackermann function illustrates that not all total computable functions are primitive recursive. After Ackermann's publication of his function (which had three non-negative integer arguments), many authors modified it to suit various purposes, so that today "the Ackermann function" may refer to any of numerous variants of the original function. One common version is the two-argument Ackermann–Péter function developed by Rózsa Péter and Raphael Robinson. This function is defined from the recurrence relation \operatorname(m+1, n+1) = \operatorname(m, \operatorname(m+1, n)) with appropriate Base case (recursion), base cases. Its value grows very rapidly; for example, \o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Successor Function
In mathematics, the successor function or successor operation sends a natural number to the next one. The successor function is denoted by ''S'', so ''S''(''n'') = ''n'' +1. For example, ''S''(1) = 2 and ''S''(2) = 3. The successor function is one of the basic components used to build a primitive recursive function. Successor operations are also known as zeration in the context of a zeroth hyperoperation: H0(''a'', ''b'') = 1 + ''b''. In this context, the extension of zeration is addition, which is defined as repeated succession. Overview The successor function is part of the formal language used to state the Peano axioms, which formalise the structure of the natural numbers. In this formalisation, the successor function is a primitive operation on the natural numbers, in terms of which the standard natural numbers and addition are defined. For example, 1 is defined to be ''S''(0), and addition on natural numbers is defined recursively by: : This can be ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Reuben Goodstein
Reuben Louis Goodstein (15 December 1912 – 8 March 1985) was an English mathematician with an interest in the philosophy and teaching of mathematics. Education Goodstein was educated at St Paul's School in London. He received his Master's degree from Magdalene College, Cambridge. After this, he worked at the University of Reading but ultimately spent most of his academic career at the University of Leicester. He earned his PhD from the University of London in 1946 while still working in Reading. Goodstein also studied under Ludwig Wittgenstein. Research He published many works on finitism and the reconstruction of analysis from a finitistic viewpoint, for example "Constructive Formalism. Essays on the foundations of mathematics." Goodstein's theorem was among the earliest examples of theorems found to be unprovable in Peano arithmetic but provable in stronger logical systems (such as second-order arithmetic). He also introduced a variant of the Ackermann function that i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Exponentiation
In mathematics, exponentiation, denoted , is an operation (mathematics), operation involving two numbers: the ''base'', , and the ''exponent'' or ''power'', . When is a positive integer, exponentiation corresponds to repeated multiplication of the base: that is, is the product (mathematics), product of multiplying bases: b^n = \underbrace_.In particular, b^1=b. The exponent is usually shown as a superscript to the right of the base as or in computer code as b^n. This binary operation is often read as " to the power "; it may also be referred to as " raised to the th power", "the th power of ", or, most briefly, " to the ". The above definition of b^n immediately implies several properties, in particular the multiplication rule:There are three common notations for multiplication: x\times y is most commonly used for explicit numbers and at a very elementary level; xy is most common when variable (mathematics), variables are used; x\cdot y is used for emphasizing that one ta ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Graham's Number
Graham's number is an Large numbers, immense number that arose as an upper bound on the answer of a problem in the mathematical field of Ramsey theory. It is much larger than many other large numbers such as Skewes's number and Moser's number, both of which are in turn much larger than a googolplex. As with these, it is so large that the observable universe is far too small to contain an ordinary Numerical digit, digital representation of Graham's number, assuming that each digit occupies one Planck volume, possibly the smallest measurable space. But even the number of digits in this digital representation of Graham's number would itself be a number so large that its digital representation cannot be represented in the observable universe. Nor even can the number of digits of ''that'' number—and so forth, for a number of times far exceeding the total number of Planck volumes in the observable universe. Thus, Graham's number cannot be expressed even by physical universe-scale Tetrat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Exponentiation
In mathematics, exponentiation, denoted , is an operation (mathematics), operation involving two numbers: the ''base'', , and the ''exponent'' or ''power'', . When is a positive integer, exponentiation corresponds to repeated multiplication of the base: that is, is the product (mathematics), product of multiplying bases: b^n = \underbrace_.In particular, b^1=b. The exponent is usually shown as a superscript to the right of the base as or in computer code as b^n. This binary operation is often read as " to the power "; it may also be referred to as " raised to the th power", "the th power of ", or, most briefly, " to the ". The above definition of b^n immediately implies several properties, in particular the multiplication rule:There are three common notations for multiplication: x\times y is most commonly used for explicit numbers and at a very elementary level; xy is most common when variable (mathematics), variables are used; x\cdot y is used for emphasizing that one ta ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Grzegorczyk Hierarchy
The Grzegorczyk hierarchy (, ), named after the Polish logician Andrzej Grzegorczyk, is a hierarchy of functions used in computability theory. Every function in the Grzegorczyk hierarchy is a primitive recursive function, and every primitive recursive function appears in the hierarchy at some level. The hierarchy deals with the rate at which the values of the functions grow; intuitively, functions in lower levels of the hierarchy grow slower than functions in the higher levels. Definition First we introduce an infinite set of functions, denoted ''Ei'' for some natural number ''i''. We define : \begin E_0(x,y) & = & x + y \\ E_1(x) & = & x^2 + 2 \\ E_(0) & = & 2 \\ E_(x+1) & = & E_(E_(x)) \\ \end E_0 is the addition function, and E_1 is a unary function which squares its argument and adds two. Then, for each ''n'' greater than 1, E_n(x)=E^_(2), i.e. the ''x''-th iterate of E_ evaluated at 2. From these functions we define the Grzegorczyk hierarchy. \mathcal^n, the ''n''- ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Stack (abstract Data Type)
In computer science, a stack is an abstract data type that serves as a collection (abstract data type), collection of elements with two main operations: * Push, which adds an element to the collection, and * Pop, which removes the most recently added element. Additionally, a peek (data type operation), peek operation can, without modifying the stack, return the value of the last element added. The name ''stack'' is an analogy to a set of physical items stacked one atop another, such as a stack of plates. The order in which an element added to or removed from a stack is described as last in, first out, referred to by the acronym LIFO. As with a stack of physical objects, this structure makes it easy to take an item off the top of the stack, but accessing a Data, datum deeper in the stack may require removing multiple other items first. Considered a sequential collection, a stack has one end which is the only position at which the push and pop operations may occur, the ''top'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
