Thread Rating:
  • 1 Vote(s) - 5 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Hyper operators in computability theory
#3
Hi James
I guess that I tried to bring something similar to the forum's attention long ago.
Try to look here
http://math.eretrandre.org/tetrationforu...hp?tid=945

In my humble opinion this seems like something really near to what you are looking for. I red often of "extension" of recursion theory(aka computability) to real valued functions and, it seems to me, it was always near topics like measure spaces but or things like descriptive set theory (that also deals with computabiliy of subset of real numbers and of their cartesian product - i. e. functions, functionals, relations and so on). Serch about Campagnolo and Moore stuff.

Also this reminds that also bo198214 seemed to pursuit something related to this, at least judging from some MO questions
note: (is interesting that the majorisation order is proven to be a well order on two subclasses defined by Skolem of E_3 (Kalmar's elementary functions ) and E_4, see here http://link.springer.com/chapter/10.1007...4_2#page-1 )

http://mathoverflow.net/questions/60264/...-functions
http://mathoverflow.net/questions/60093/...-functions

Yes, those are only hints, I tried this path some years ago... but my ignorance of basic analytical method and lack of enough time scared me away from this.
This fact is really interesting since in my opinion the real core of all this matter (ranks and friends) lies in the group or monoid structure of the collection of functions investigated and I have strong evidences of this... and to be more precise in the conjugation relation (a relaxed version in the monoid but this still makes sense). Conjugation is strictly connected to...guess what? Hom-functors of special dynamical systems-like-categories (and home functors are something that remind alot exponentiation)...

But aside form these speculations there is a subtle connection going on here between ranks, computation complexity and dimension.(*)

Back to the wild speculations... seems like the dimensions, degrees, continuity classes and alike are to the concept of rank AS their algebraic, graded, topological, differential kind of structured collection of functions are to an unknown recursion-related algebraic structure.
Also something really obvious is that the structure of ranks (linked with orders of infinity and) seems too complex to be "parametrized" by the field of real numbers or complex numbers... maybe it is the case that the structure of the ranks (the quotient of the set of functions by the same-rank-equivalence relation) forms an important new algebraic structure...

Try also these (I did not read these actually, maybe partially bot not totally understood but I hope something can be useful for you):
http://www.sciencedirect.com/science/art...4X04000408
http://math.isa.utl.pt/~mlc/phdthesis.pdf
https://www.reading.ac.uk/web/files/math..._paper.pdf
(*) http://www.personal.psu.edu/t20/papers/sdedc.pdf (Symbolic dynamics: entropy = dimension = complexity)


I apologize in advance for the mistakes, If I, or you, will spot some errors I'll edit ASAP.
MathStackExchange account:MphLee
Reply


Messages In This Thread
RE: Hyper operators in computability theory - by MphLee - 02/14/2017, 06:53 PM

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



Users browsing this thread: 1 Guest(s)