Thread Rating:
  • 1 Vote(s) - 5 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Hyper operators in computability theory
#4
Some remarks
Quote:But aside form these speculations there is a subtle connection going on here between ranks, computation complexity and dimension.(*)

I didn't mean that. The paper does not talk about ranks but only about complexity, dimension and entropy.

About the analogies... I guess that it's easy to see! There is a subtle and fascinating network of analogies between all these concepts.
And if  it is not, start by what is probably the most easy-to-spot analogy. (remember that I'm not making the domains precise, I'm just trying to be suggestive)
The ackermann function and all the recursive(but not-primitive) functions that are "beyond" the hierarchy (finite rank) are a bit like the transcendental functions (or smooth, or analytic) that are beyond the polynomial (finite degree): in both cases we have a procedure going back "through dimensions" (differences and anti-recursion) and  in the other direction a mutivalued procedure (indefinite sum and not based-recursion/iteration) going upstairs... it is like we are generalizing this graded structure of polinomials (well behaved, commutative, familiar objects) to more exotic, non-commuative frameworks (like group of functions, monoids and so on..). 
Amazingly this can be made very precise.
MathStackExchange account:MphLee
Reply


Messages In This Thread
RE: Hyper operators in computability theory - by MphLee - 02/15/2017, 10:10 AM

Possibly Related Threads...
Thread Author Replies Views Last Post
  Thoughts on hyper-operations of rational but non-integer orders? VSO 2 72 09/09/2019, 10:38 PM
Last Post: tommy1729
  Hyper-volume by integration Xorter 0 1,196 04/08/2017, 01:52 PM
Last Post: Xorter
  Recursive formula generating bounded hyper-operators JmsNxn 0 1,298 01/17/2017, 05:10 AM
Last Post: JmsNxn
  Rational operators (a {t} b); a,b > e solved JmsNxn 30 34,917 09/02/2016, 02:11 AM
Last Post: tommy1729
  holomorphic binary operators over naturals; generalized hyper operators JmsNxn 15 15,116 08/22/2016, 12:19 AM
Last Post: JmsNxn
  The bounded analytic semiHyper-operators JmsNxn 2 3,214 05/27/2016, 04:03 AM
Last Post: JmsNxn
  Set theory debate : cantor 1st / Virgil argument. tommy1729 1 1,740 12/08/2015, 11:14 PM
Last Post: tommy1729
  on constructing hyper operations for bases > eta JmsNxn 1 2,398 04/08/2015, 09:18 PM
Last Post: marraco
  Bounded Analytic Hyper operators JmsNxn 25 17,710 04/01/2015, 06:09 PM
Last Post: MphLee
  [2015] Spiderweb theory tommy1729 0 1,648 03/29/2015, 06:25 PM
Last Post: tommy1729



Users browsing this thread: 1 Guest(s)