Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

find operators that are stronger than pow but weaker than pentation (then implement them) #15

Open
Patashu opened this issue Mar 15, 2019 · 8 comments
Labels
only if you're bored very difficult or of dubious value

Comments

@Patashu
Copy link
Owner

Patashu commented Mar 15, 2019

pow and tetration are 'boring' for reaching higher layers in the sense that they just count up layers one at a time past a certain point - everything devolves into min, max, cmp, succ and add operations. but pentation is way too strong, lacks research into non-integer arguments and explodes way too rapidly for even tiny integers.

what would be some kind of in-between operator that e.g. a crazy incremental game could use to surge up the layers to 1^^1.8e308?

real numbered hyper operators > 3 and < 5? (0 is successor, 1 is add, 2 is mul, 3 is pow, 4 is tetrate, 5 is pentate.)

functions arbitrarily crafted to have approximately hyper operator >= 0 <= 3 strength behaviour on the layers of their arguments, with magnitudes interpreted as partial layers?

@Patashu Patashu added the only if you're bored very difficult or of dubious value label Mar 15, 2019
@Patashu
Copy link
Owner Author

Patashu commented Mar 16, 2019

@marath007
Copy link

I had considered a sort of loglift but it behaved weird. essentially i was doing 10^(log10(num1)*log10(num2)) for a multiplication and increase the amount of logs as needed.

other solutions I had is operations on the top exponent directly.

but both solutions lacks of smooth transitions.

@aarextiaokhiao
Copy link

Ideas: Basic layer X logarithm operators.

For logAdd(value, log, layer) function, 'log' variable is added to 'layer'th layer logarithm of 'value' variable. Same as logSub, logMul, logDiv, logPow, and logRoot.

Examples:
Decimal.logAdd(1e10, 5, 1) = 1e(10+5) = 1e15
Decimal.logSub(1e10, 4, 1) = 1e(10-4) = 1e6
Decimal.logMul(1e9e15, 10, 2) = 1e1e(log10(9e15)*10) ~= 1e3e159
Decimal.logDiv(1e1e1e10, 5, 1) = 1e(1e1e10/5) ~= 1e1e1e10

@Patashu
Copy link
Owner Author

Patashu commented Mar 17, 2019

https://sites.google.com/site/pointlesslargenumberstuff/home/2/weakoperators is an interesting article that describes 'Weak' Hyperoperators. So called 'Strong' Tetration and Pentation evaluates right to left so as to get the most massive numbers, but the 'Weak' hyper operators go left to right and get results that grow slower. It takes about two 'Weak' hyperoperators to match the boost from one 'Strong' hyperoperator, so:

  • weak tetration is between exponentiation and tetration (and is very easy to define for continuous heights!)
  • weak pentation is on par with tetration
  • weak hexation is between tetration and pentation
  • weak heptation is on par with pentation

http://mrob.com/pub/math/hyper4.html#lower4 MROB also explores weak tetration, and even explains how to compute weak sroot and weak slog (the two inverse operators). Cool!

@Patashu
Copy link
Owner Author

Patashu commented Mar 22, 2019

https://math.blogoverflow.com/tag/super-square-root/ Since I don't have a better place to put this, identities and growth rate for tetration. https://andydude.github.io/tetration/archives/tetration2/ident.html Some more.

@Patashu Patashu changed the title find operators that are stronger than pow but weaker than pentation find operators that are stronger than pow but weaker than pentation (then implement them) Apr 2, 2019
@Patashu
Copy link
Owner Author

Patashu commented Nov 22, 2021

random idea would be: you could slog both numbers, then do some math on the slogs, then base 10 tetrate them back into hueg numbers. but then aren't you just doling linear operations and making it look superexponential, kind of like how true exponential eventually just has a level that's 'your number, as an exponent'? maybe, but if you mix math-on-slogs and normal operations maybe something interesting could come out of it.

@Patashu
Copy link
Owner Author

Patashu commented Jul 27, 2022

articles on fractional hyperoperators, since I think for the most part it does come down to 'can we define operators with non-integer rank, since anything else is just combinations of existing operators rather than a fundamentally new one':

https://www.hindawi.com/journals/mpe/2016/4356371/ Fractional Mathematical Operators and Their Computational Approximation
https://math.stackexchange.com/questions/1269643/continuum-between-addition-multiplication-and-exponentiation Continuum between addition, multiplication and exponentiation?
https://math.stackexchange.com/questions/107245/continuum-between-linear-and-logarithmic continuum between linear and logarithmic
http://tetration.org/Ackermann/index.html http://tetration.org/Dynamics/index.html tetration.org - Continuous Ackermann Function and Continuous Iteration
https://math.stackexchange.com/questions/1227761/example-x-y-and-z-values-for-x-uparrow-alpha-y-z-where-alpha-in-bbb/1241979#1241979 On non-integer rank Hyperoperations
https://arxiv.org/abs/2106.03935 A Family of Bounded and Analytic Hyper-Operators

@Unexian
Copy link

Unexian commented Sep 22, 2024

exponential factorial
0^! = 0 (or 1. doesnt matter)
(n+1)^! = (n+1)^(n^!)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
only if you're bored very difficult or of dubious value
Projects
None yet
Development

No branches or pull requests

4 participants