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

0
votes
1answer
59 views

Calculate $2^n \pmod{14^8}$ with large numbers quickly

Is there a way to calculate $2^n \pmod{14^8}$ faster than binary exponentiation? The $n$ values in question are very large, for example $2^{65536}$, and the calculations have to be done around $14^8$ ...
11
votes
2answers
250 views

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
76 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
357 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
2answers
327 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
278 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
71 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
107 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
49 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
106 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
129 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
373 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
251 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
142 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
47 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
147 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
118 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
487 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
265 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
165 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
577 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
171 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
87 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
354 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
248 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
107 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
348 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
206 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 ...