05/27/2014, 08:22 PM

(05/27/2014, 07:45 PM)andydude Wrote: @MphLee

Hyperoperations, in the general sense, are any sequence of binary operations that includes addition and multiplication. The commutative hyperoperations satisfy this property because and . That formula is the starting point, it is the definition of commutative hyperoperations. The fact that it contains addition and multiplication can be discussed and proved from the definition.

I'm aware of this, of the Bennet's definition and I'm aware of the Rubtsov's generalizzation using different bases values (reflexive operations sequence).

I'm even aware that the term Hyperoperations usually means (can be formalized as) an indexed family of binary operations whith addition, multiplication and exponentiation belonging to the image of the indexed family (the image of the family is defined to be the image of the set of indexes- set of ranks- via the indicization function).

This definition is the one I found on Wikipedia and is very smart even if it cuts the Commutative hyperoperations out of the game (Maybe we can make a weaker concept of Hyperoperations Family without the exponentiation requirement, I would call them Weak Hyperoperations Families)...

Anyways I'm very courious...I was not able to find references about this terminology and I did not even find who introduced this formal definition.