Difference between revisions of "Superfactorial"

From TORI
Jump to navigation Jump to search
 
(link to Wolfram and description instead of "redirect")
Tag: Removed redirect
Line 1: Line 1:
  +
{{top}}
⚫
#redirect [[SuperFactorial]]
  
  +
In the Wolfram notations
  +
<ref name="w">
  +
https://mathworld.wolfram.com/Superfactorial.html
  +
The superfactorial of n is defined by Pickover (1995) as
  +
n$=n!^(n!^(·^(·^(·^(n!)))))_()_(n!). (1) //
  +
The first two values are 1 and 4, but subsequently grow so rapidly that 3$ already has a huge number of digits. ..
  +
</ref>, [[Superfactorial]] appears as
  +
  +
<big>
  +
\[
  +
\mathrm{Superfactorial}(z) =
  +
\underbrace{
  +
{ z!^{.^{.^{z!}}} }
  +
}_{z!} = \mathrm{tet}_{z!}^{\ z!}(1)
  +
\]
  +
</big>
  +
  +
In such a way, this [[Superfactorial]] is expressed through the [[tetration]] (4th [[ackermann]]) and the [[Factorial]] functions.
  +
  +
To year 2025, no specific property of such a [[Superfactorial]] is found that would not follow from properties
  +
of [[tetration]] and [[factorial]]; no any specific application for this function is found.
  +
  +
==Confusion==
  +
  +
This [[Superfactorial]]<ref name="w"/> should not be confused with [[SuperFactorial]] ([[SuFac]])
  +
defined as [[Superfunction]] of [[Factorial]] <ref name=superfae">
  +
https://link.springer.com/article/10.3103/S0027134910010029 <br>
  +
https://mizugadro.mydns.jp/PAPERS/2010superfae.pdf (Englsih version),
  +
https://mizugadro.mydns.jp/PAPERS/2010superfar.pdf (Russian version):
  +
D.Kouznetsov, H.Trappmann. [[Superfunctions]] and [[square root of factorial]]. [[Moscow University Physics Bulletin]], 2010, v.65, No.1, p.6-12. (Russian version: p.8-14)
  +
</ref><ref name="br">
  +
https://mizugadro.mydns.jp/BOOK/202.pdf
  +
Дмитрий Кузнецов. [[Суперфункции]]. [[Lambert Academic Publishing]], 2014
  +
</ref><ref name="be">
  +
https://mizugadro.mydns.jp/BOOK/468.pdf
  +
Dmitrii Kouznetsov. [[Superfunctions]]. [[Lambert Academic Publishing]], 2020
  +
</ref>,
  +
\[
  +
\mathrm{SuFac}(z+1)=\mathrm{Factorial}(\mathrm{SuFac}(z))
  +
\]
  +
  +
Here, [[Factorial]] plays role of the [[Transfer function]] and [[SuFac]] appears as its [[Superfunction]].
  +
  +
In such a way, the identifiers of the two functions,
  +
[[SuperFactorial]] and
  +
[[Superfactorial]]
  +
differ with only single bit.<br>
  +
This may cause confusion, especially if an operational system confuses the Uppercase Letters
  +
with their lowercase analogies.
  +
  +
==Conclusion==
  +
  +
The [[SuperFactorial]] [[SuFac]] and its inverse function [[AuFac]]\(=\mathrm{SuFac}^{-1}\) allow to express
  +
the non-integer iterate of [[Factorial]] and, in particular, the [[square root of factorial]] (iterate half of factorial) <ref name=superfae"/><ref name="br"/><ref name="be"/>.<br>
  +
  +
No similar application for function [[Superfactorial]]<ref name="w"/> is found.
  +
For this reason, following the First of the [[TORI axioms]], properties of [[Superfactorial]]
  +
are not considered in [[TORI]].
  +
  +
==References==
  +
{{ref}}
  +
  +
{{fer}}
  +
  +
==Keywords==
  +
«[[]]»,
  +
«[[AbelFactorial]]»,
  +
«[[Abelfunction]]»,
  +
«[[Confusion]]»,
  +
«[[Mathematica]]»,
  ⚫
«[[SuperFactorial]]»,
  +
«[[Superfactorial]]»,
  +
«[[Superfunction]]»,
  +
«[[Superfunctions]]»,
  +
  +
[[Category:AbelFactorial]]
  +
[[Category:Abelfunction]]
  +
[[Category:Confusion]]
  +
[[Category:Mathematica]]
  +
[[Category:Superfactorial]]
  +
[[Category:SuperFactorial]]
  +
[[Category:Superfunction]]
  +
[[Category:Superfunctions]]

Revision as of 17:34, 31 December 2025


In the Wolfram notations [1], Superfactorial appears as

\[ \mathrm{Superfactorial}(z) = \underbrace{ { z!^{.^{.^{z!}}} } }_{z!} = \mathrm{tet}_{z!}^{\ z!}(1) \]

In such a way, this Superfactorial is expressed through the tetration (4th ackermann) and the Factorial functions.

To year 2025, no specific property of such a Superfactorial is found that would not follow from properties of tetration and factorial; no any specific application for this function is found.

Confusion

This Superfactorial[1] should not be confused with SuperFactorial (SuFac) defined as Superfunction of Factorial [2][3][4], \[ \mathrm{SuFac}(z+1)=\mathrm{Factorial}(\mathrm{SuFac}(z)) \]

Here, Factorial plays role of the Transfer function and SuFac appears as its Superfunction.

In such a way, the identifiers of the two functions, SuperFactorial and Superfactorial differ with only single bit.
This may cause confusion, especially if an operational system confuses the Uppercase Letters with their lowercase analogies.

Conclusion

The SuperFactorial SuFac and its inverse function AuFac\(=\mathrm{SuFac}^{-1}\) allow to express the non-integer iterate of Factorial and, in particular, the square root of factorial (iterate half of factorial) [2][3][4].

No similar application for function Superfactorial[1] is found. For this reason, following the First of the TORI axioms, properties of Superfactorial are not considered in TORI.

References

  1. ↑ 1.0 1.1 1.2 https://mathworld.wolfram.com/Superfactorial.html The superfactorial of n is defined by Pickover (1995) as n$=n!^(n!^(·^(·^(·^(n!)))))_()_(n!). (1) // The first two values are 1 and 4, but subsequently grow so rapidly that 3$ already has a huge number of digits. ..
  2. ↑ 2.0 2.1 https://link.springer.com/article/10.3103/S0027134910010029
    https://mizugadro.mydns.jp/PAPERS/2010superfae.pdf (Englsih version), https://mizugadro.mydns.jp/PAPERS/2010superfar.pdf (Russian version): D.Kouznetsov, H.Trappmann. Superfunctions and square root of factorial. Moscow University Physics Bulletin, 2010, v.65, No.1, p.6-12. (Russian version: p.8-14)
  3. ↑ 3.0 3.1 https://mizugadro.mydns.jp/BOOK/202.pdf Дмитрий Кузнецов. Суперфункции. Lambert Academic Publishing, 2014
  4. ↑ 4.0 4.1 https://mizugadro.mydns.jp/BOOK/468.pdf Dmitrii Kouznetsov. Superfunctions. Lambert Academic Publishing, 2020

Keywords

«[[]]», «AbelFactorial», «Abelfunction», «Confusion», «Mathematica», «SuperFactorial», «Superfactorial», «Superfunction», «Superfunctions»,

Retrieved from "https://mizugadro.mydns.jp/t/index.php?title=Superfactorial&oldid=46349"