Hyperoperation is a field of mathematics which studies indexed families of binary operations, Hyperoperations families, that generalize and extend the standard sequence of the basic arithmetic operations of addition, multiplication and exponentiation.

learn more… | top users | synonyms

9
votes
2answers
156 views
+100

Proof of strictly increasing nature of $y(x)=x^{x^{x^{\ldots}}}$ on $[1,e^{\frac{1}{e}})$?

The title is fairly self explanatory: I have been trying to rigorously prove that $y(x)=x^{x^{x^{\ldots}}}$ is a strictly increasing function over the interval $[1,e^{\frac{1}{e}})$ for a while now, ...
0
votes
2answers
61 views

How to prove that $x\uparrow \uparrow 1/2 = \sqrt x_s$

This may be a stupid question but when we work with exponentiation we can see that $x^{\frac 12}=\sqrt x$ because: $x^{\frac 12}\times x^{\frac 12}=x^{\frac 12+\frac 12}=x^1=x$ and $\sqrt x \times ...
7
votes
2answers
298 views

Continuum between addition, multiplication and exponentiation?

I noticed this old post which attempts to find the shades of grey between a linear and log scale where results are between zero and one. However, I was looking for the more general case where we find ...
5
votes
1answer
283 views

Algorithm for tetration to work with floating point numbers

So far, I've figured out an algorithm for tetration that works. However, although the variable a can be floating or integer, unfortunately, the variable ...
2
votes
2answers
258 views

Example $x$, $y$ and $z$ values for $x\uparrow^\alpha y=z$ where $\alpha\in \Bbb R-\Bbb N$

$\uparrow^n$ and $G(n,\cdot,\cdot)$ are notations for hyperoperation. http://en.m.wikipedia.org/wiki/Hyperoperation $n$ is the hyperoperations rank. Can example $x$, $y$ and $z$ values be ...
3
votes
0answers
63 views

Is there a notation for exponentiation analog to capital-sigma notation Σ for addition and capital pi Π notation for multiplications?

There are the following common notations: Sums: $$\sum_{i=2}^4 i = 2 + 3 + 4 = 9$$ Products: $$\prod_{i=2}^4 i = 2\times 3\times 4 = 24$$ Is there a (theoretical) one for: Exponentiation ...
2
votes
1answer
103 views

Identities of the Hyperoperation heirarchy

The hyperoperation heirarchy in the naturals starts with addition, then multiplication, then exponentiation, then tetration, and so on. Each operation is defined as repeated application of the ...
1
vote
1answer
47 views

Commutative version of hyper operators.

As I understand it, addition and multiplication are defined on the reals as having identity elements 0 and 1 and being commutative and associative. Multiplication is also distributive over addition. ...
4
votes
1answer
105 views

Comparing up-arrow's

Is it true that $$3\uparrow^{n+1} 3\ >\ n\uparrow^n n $$ holds for every $n\ge 1$ Since $3\uparrow^{n+1}3=3\uparrow ^n 3\uparrow ^n 3$ and $3\uparrow^n3$ is much bigger than $n$ for $n\ge 3$, ...
5
votes
1answer
127 views

How to define $A\uparrow B$ with a universal property as well as $A\oplus B$, $A\times B$, $A^B$ in category theory?

In category theory there are definitions for $A\oplus B$, $A\times B$ and $A^B$ via universal properties. I wonder if it is possible to isolate a particular universal property to represent the ...
19
votes
3answers
351 views

What combinatorial quantity the tetration of two natural numbers represents?

Tetration is a generalization of exponentiation in arithmetic and a part of a series of other generalized notions, Hyperoperators. Consider $m\uparrow n$ denotes the tetration of $m$ and $n$. i.e. ...
17
votes
7answers
2k views

Why do we stop at exponentiation stage in arithmetic of natural numbers?

In natural numbers the unary successor operator $S$ is the most natural function which maps each number to the next one. Furthermore we may consider the binary relation $+$ as an iteration of $S$. ...
1
vote
0answers
17 views

Necessary conditions for being expressible using hyper-operators

We can recursively define expressions involving only addition and multiplication as follows: Let $K$ be a set of constant functions, usually the integers or some field. Functions in $K$ are defined ...
10
votes
2answers
248 views

Superassociative operation

Background: Addition and multiplication are associative, but exponentiation is not. Question: Does an operation $\circ_1:\mathbb{N}\times\mathbb{N}\to\mathbb{N}$ exist such that ...
4
votes
0answers
132 views

Transfinite Knuth-arrow hierarchy vs. fast-growing hierarchy

Suppose Knuth arrow notation (and hence the hyperoperation sequence) is extended to transfinite ordinal indices as follows: Let μ be a large countable ordinal such that a fundamental sequence is ...
1
vote
0answers
45 views

Is there any concept similar to unique factorization that applies to exponential operators?

We can talk about prime numbers over multiplication but is there any similar concept that applies to exponential operators or other hyperpowers like tetration? Can we use what we know about UFDs to ...
1
vote
1answer
82 views

Hyperoperations and $\mathsf{PA}$

I am very confused about the "role of the hyperoperations" in the peano arithmetic. For example addition's and multiplication's axioms are given. $A_1$ $\forall x(x+0=x)$ $A_2$ $\forall ...
4
votes
0answers
139 views

Algorithm for comparing the size of extremely large numbers

Is there a simple algorithm to decide which of the numbers $$a \uparrow ^b c \text{ and } d \uparrow ^e f$$ is the bigger one ? Using the hyperoperation, the numbers can be denoted with ...
2
votes
2answers
117 views

definition of primes for higher hyperoperations

I was reading yesterday when I came across the history of counting. There was some evidence of an early understanding of prime numbers. I thought that I would try changing the definition of primality ...
6
votes
2answers
466 views

Example of Tetration in Natural Phenomena

Tetration is a natural extension of the concept of addition, multiplication, and exponentiation. It is quite obvious that there are things in the physics world which can be modeled by these 3 lowest ...
2
votes
2answers
263 views

Notation for function $ + \rightarrow \times $

Is there a standard notation to represent the function building the multiplication from the addition (I'm talking of the usual $+$ on $\Bbb N$)? I'm tempted by: $$ x \times y = + ^ y (x) $$ With ...
5
votes
0answers
109 views

Are points on the complex plane sufficient to solve every solvable equation composed of the hyperoperators, their inverses, and complex numbers?

Some background: I'm programming a maths environment. I'm computer science, so please excuse any probable ignorance and lack of precision in my question. It seems $i$ and complex numbers were ...
7
votes
2answers
163 views

Power tower inequality

I want to prove the following power tower inequality: $$ 3 \uparrow \uparrow 100 > 4 \uparrow \uparrow 99 $$ but I don't know how to do this. I think that induction will not work, because I think ...
10
votes
1answer
568 views

Has this phenomenon been discovered and named?

If $$x-\frac{x}{2}=\frac{x}{2},$$ and $$\frac{x}{\sqrt{x}}=\sqrt{x},$$ and $$x-\uparrow(x-\uparrow^22)=x-\uparrow^22$$ when $(x\uparrow^n-[A])\uparrow^nA=x$, where $A$ is some constant, and one uses ...
4
votes
1answer
169 views

Are hyperoperators primitive recursive?

I apologize if this question is too basic. I have read that the Ackerman function is the first example of a computable but NOT primitive recursive function. Hyperoperators seem to be closely related ...
3
votes
0answers
82 views

Order of Recursion?

Define an extended algebraic function $f(a)$ as a function on $a$ that utilizes any combination of recursive extensions and inverses of sequentiation. Example: $a + 1$ , sequentiation. $a + a$, ...
4
votes
1answer
346 views

Where can I learn more about commutative hyperoperations?

I just learned about commutative hyperoperations, and they look interesting. However, the wikipedia page doesn't link to more information. Is there an article or book where I can learn more? I'm ...
5
votes
0answers
247 views

Notation for n-ary exponentiation

We have $n$-ary sums ($\sum$) and products ($\prod$). Is there an $n$-ary exponentiation operator? $$\underset{i=1}{\overset{n}{\LARGE{\text{E}}}}\, x_i = x_1 \text{^} (x_2 \text{^} (\cdots \text{^} ...
1
vote
0answers
103 views

Can exponentiation and power function be defined through Albert Bennett's operations?

In 1914 Albert Bennett suggested the following operation: $$a * b=a^0_2b=\exp(\ln a \ln b)$$ Now, given this function, addition and multiplication, and their properties, can one express ...
2
votes
2answers
343 views

What is the geometric, physical or other meaning of the tetration?

What is the geometric, physical or other meaning of the tetration or more high hyperoperations? Is it exists in general or it has only math concept?
5
votes
3answers
203 views

Does anything precede incrementation in the operator “hierarchy?”

I here define the hierarchy of basic mathematical operators and their respective "inverse" operation (see hyperoperation). $$ \begin{array}{c|c|c|} & \text{Operator} & \text{"Inverse"} \\ ...
41
votes
11answers
3k views

Why are addition and multiplication commutative, but not exponentiation?

We know that the addition and multiplication operators are both commutative, and the exponentiation operator is not. My question is why. As background there are plenty of mathematical schemes that ...