• 1 Vote(s) - 3 Average
• 1
• 2
• 3
• 4
• 5
 @Andydude References about the formalization of the Hyperoperations MphLee Fellow Posts: 95 Threads: 7 Joined: May 2013 06/02/2014, 10:01 AM (This post was last modified: 06/03/2014, 01:55 PM by MphLee.) Is obvius that the mathematical concept of sequence of objects is formalized with the concept of indexed family (inside a set theory) But my question is about who generalized the concept of Hyperoperation from the usual Goodstein 3-ary function (or the Knuth's uparrows) to some indexed families that satisfies some properties. I'm tryng to continue the discussion started in the thread about the dustributive property of Bennet's operation family: (05/27/2014, 08:22 PM)MphLee Wrote: (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 $\exp^0(\ln^0(a) + \ln^0(b)) = a + b$ and $\exp^1(\ln^1(a) + \ln^1(b)) = e^{\ln(a) + \ln(b)} = e^{\ln(a)}e^{\ln(b)} = a \times b$. 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 even aware that the term Hyperoperations usually means (can be formalized as) an indexed family of binary operations $\{*_i\}_{i \in I}$ 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. Who actually gave the first definition of when an indexed family of binary operations is an Hyperoperations family? I need the reference because I made some improvement in the definition while writing a paper about the Hyperoperations. MathStackExchange account:MphLee « Next Oldest | Next Newest »

 Messages In This Thread @Andydude References about the formalization of the Hyperoperations - by MphLee - 06/02/2014, 10:01 AM RE: @Andydude References about the formalization of the Hyperoperations - by andydude - 07/17/2014, 05:29 PM RE: @Andydude References about the formalization of the Hyperoperations - by jaydfox - 07/17/2014, 10:23 PM RE: @Andydude References about the formalization of the Hyperoperations - by MphLee - 07/25/2014, 10:41 AM

 Possibly Related Threads... Thread Author Replies Views Last Post Easy tutorial on hyperoperations and noptiles MikeSmith 2 3,293 06/26/2014, 11:58 PM Last Post: MikeSmith Negative, Fractional, and Complex Hyperoperations KingDevyn 2 6,820 05/30/2014, 08:19 AM Last Post: MphLee A relaxed $$\zeta$$-extensions of the Recursive Hyperoperations MphLee 0 2,063 06/14/2013, 09:57 PM Last Post: MphLee

Users browsing this thread: 1 Guest(s)