Thread Rating:
  • 1 Vote(s) - 5 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Hyper operators in computability theory
#2
(02/07/2017, 07:59 AM)JmsNxn Wrote: Recently I asked this question on MO http://mathoverflow.net/questions/261538...n-analysis

And I'm curious if anyone has encountered anything similar. As in, the main value of the hyper-operators defined for natural numbers is its computational aspect. Is there a similar idea in analysis? Can anyone give me any ideas of where to talk about these things. About how to phrase the fact that the computational complexity of grows hyper operationally with .

In the most General case computational complexity is a very hard and unsolved area of research.
For instance take euler's gamma : if irrational , the complexity is finite. But we do not know.
The fastest algorithm or even a quadratic speed algorithm for its digits is unknown.

As for your case : 

I hope you meant superexponentially INSTEAD of hyper operationally.

Second , it seems you want a fastcut for functions like exp exp and exp exp exp.

Well if the stirling Numbers or its generalisations will not help , I assume it can not be done.

Reminds me of Stephen Wolfram's irreducible complexity.

Besides the acceleration by 2 or 3 iterates at once and the alike , one could try a nonconstant iteration speedup, but that would require a superfunction or Abel function AND a fast method for THAT Abel or super.

Combinatorical methods probably reduce to the above.

Number theory seems unrelated in a noncombinatorical sense.

Fake function theory can be fast but not precise.

Contour integrals ??

Im not optimistic since i just Summarized imho the most realistic ideas.


Sorry


Regards

Tommy1729
Reply


Messages In This Thread
RE: Hyper operators in computability theory - by tommy1729 - 02/13/2017, 12:09 AM

Possibly Related Threads...
Thread Author Replies Views Last Post
  Thoughts on hyper-operations of rational but non-integer orders? VSO 2 73 09/09/2019, 10:38 PM
Last Post: tommy1729
  Hyper-volume by integration Xorter 0 1,197 04/08/2017, 01:52 PM
Last Post: Xorter
  Recursive formula generating bounded hyper-operators JmsNxn 0 1,299 01/17/2017, 05:10 AM
Last Post: JmsNxn
  Rational operators (a {t} b); a,b > e solved JmsNxn 30 34,943 09/02/2016, 02:11 AM
Last Post: tommy1729
  holomorphic binary operators over naturals; generalized hyper operators JmsNxn 15 15,127 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,741 12/08/2015, 11:14 PM
Last Post: tommy1729
  on constructing hyper operations for bases > eta JmsNxn 1 2,399 04/08/2015, 09:18 PM
Last Post: marraco
  Bounded Analytic Hyper operators JmsNxn 25 17,723 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)