Thread Rating:
• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 extension of the Ackermann function to operators less than addition JmsNxn Long Time Fellow Posts: 291 Threads: 67 Joined: Dec 2010 11/06/2011, 08:06 PM I realize now we have to create a second axiom in order that the series of operators become the true Ackermann function. Consider the possibility that: $a\,\,\bigtriangleup_2\,\,2=a$ we still have the result that $a + (a\,\,\bigtriangleup_2\,\,2) = a\,\, \bigtriangleup_2\,\, (2 + 1) = a\,\,\bigtriangleup_2\,\,3$ the only difference is that $S(2) = 2$ and in return we get $a\,\,\bigtriangleup_2\,\,b = a \cdot (b-1)$ So in order to get the true Ackermann function we must make the second assertion: $n\,\,\in\,\,\mathbb{Z};n \ge 2$ $S(n) = 1$ This is actually the equivalent to the iteration axiom: $a\,\,\bigtriangleup_{\sigma + 1}\,\,n = a_1\,\,\bigtriangleup_\sigma\,\,(a_2\,\,\bigtriangleup_\sigma\,\,(a_3\,\, \bigtriangleup_\sigma \,\,...(a_{n-1}\,\,\bigtriangleup_\sigma\,\,a_n)$ though only true for integer values of sigma greater than or equal to two. Therefore we define the Ackermann function from axioms: $\vartheta(a,b,\sigma) = a\,\,\bigtriangleup_\sigma\,\,b$ such that $a\,\,\bigtriangleup_\sigma\,\,(a\,\,\bigtriangleup_{\sigma + 1}\,\,b) = a\,\,\bigtriangleup_\sigma\,\,(b+1)$ $a\,\,\bigtriangleup_\sigma\,\,S(\sigma) = a$ $n\,\,\in\,\,\mathbb{Z}\,\,;\,\,n \ge 2$ $S(n) = 1$ $a\,\,\bigtriangleup_1\,\,b = a + b$ Does anyone see any modifications necessary? « Next Oldest | Next Newest »

 Messages In This Thread extension of the Ackermann function to operators less than addition - by JmsNxn - 11/06/2011, 01:31 AM RE: extension of the Ackermann function to operators less than addition - by JmsNxn - 11/06/2011, 04:56 PM RE: extension of the Ackermann function to operators less than addition - by JmsNxn - 11/06/2011, 08:06 PM

 Possibly Related Threads... Thread Author Replies Views Last Post New mathematical object - hyperanalytic function arybnikov 4 1,501 01/02/2020, 01:38 AM Last Post: arybnikov Is there a function space for tetration? Chenjesu 0 789 06/23/2019, 08:24 PM Last Post: Chenjesu A fundamental flaw of an operator who's super operator is addition JmsNxn 4 7,897 06/23/2019, 08:19 PM Last Post: Chenjesu Degamma function Xorter 0 1,235 10/22/2018, 11:29 AM Last Post: Xorter Hyper operators in computability theory JmsNxn 5 5,112 02/15/2017, 10:07 PM Last Post: MphLee Recursive formula generating bounded hyper-operators JmsNxn 0 1,836 01/17/2017, 05:10 AM Last Post: JmsNxn Possible continuous extension of tetration to the reals Dasedes 0 1,596 10/10/2016, 04:57 AM Last Post: Dasedes Rational operators (a {t} b); a,b > e solved JmsNxn 30 45,520 09/02/2016, 02:11 AM Last Post: tommy1729 Andrew Robbins' Tetration Extension bo198214 32 48,633 08/22/2016, 04:19 PM Last Post: Gottfried holomorphic binary operators over naturals; generalized hyper operators JmsNxn 15 18,844 08/22/2016, 12:19 AM Last Post: JmsNxn

Users browsing this thread: 1 Guest(s)