S.O.S. Mathematics CyberBoard

Your Resource for mathematics help on the web!
It is currently Mon, 20 May 2013 08:39:17 UTC

All times are UTC [ DST ]




Post new topic Reply to topic  [ 6 posts ] 
Author Message
 Post subject: Which function grows quicker?
PostPosted: Sat, 31 Oct 2009 04:09:44 UTC 
Offline
S.O.S. Oldtimer

Joined: Fri, 30 Oct 2009 16:33:10 UTC
Posts: 261
I came up with this on my own. I am not sure, maybe someone else has done it too. I do not know the answer. Came up with these while trying to think of functions that grow more quickly than busy beaver functions.

Which, "over the long run," grows more quickly?

1) Not sure how to write this as a function, but you will probably get the idea:

X1= (1!)
X2= (2!)^(2!)
X3= [(3!)^(3!)]^(3!)
X4= {[(4!)^(4!)]^(4!)}^(4!)= 1.097E19080

2) The first term is 3. Xn = (X(n-1))!. So:

X1= 3
X2= 3!=6
X3= 6!=720
X4= 720!=2.60E1746
X5= (X4)!

Also, does anyone know if either or both of these will, in the long run, grow faster than busy beaver functions? If you start working these out, it quickly becomes obvious that they grow at a tremendously fast rate. Also, has anyone seen either of these before, and if so, is there some practical use for them? Thanks and good luck!


Last edited by goteamusa on Sat, 31 Oct 2009 20:01:40 UTC, edited 4 times in total.

Top
 Profile  
 
 Post subject:
PostPosted: Sat, 31 Oct 2009 04:22:37 UTC 
Offline
S.O.S. Oldtimer

Joined: Fri, 30 Oct 2009 16:33:10 UTC
Posts: 261
Of course, if you wanted something that certainly must grow faster than busy beaver functions, just combine the two ideas:

X1= (2!)^(2!)=4
X2= {[(4!)^(4!)]^(4!)}^(4!)= 1.097E19080
X3= [(X2!)^(X2!)]^(X2!)... and so forth with a tower consisting of X2! levels.
X4= [(X3!)^(X3!)]^(X3!)... and so forth with a tower consisting of X3! levels.
Can anyone calculate the value of the 3rd term here? I would be very surprised if it is less than a googolplex (actually I think X3 probably makes a googolplex look tiny). Can anyone come up with a unique, faster growing "function" than this?


Top
 Profile  
 
 Post subject:
PostPosted: Sat, 31 Oct 2009 04:54:11 UTC 
Offline
Moderator
User avatar

Joined: Mon, 29 Dec 2008 17:49:32 UTC
Posts: 6005
Location: 127.0.0.1, ::1 (avatar courtesy of UDN)
goteamusa wrote:
Of course, if you wanted something that certainly must grow faster than busy beaver functions, just combine the two ideas:

X1= (2!)^(2!)=4
X2= {[(4!)^(4!)]^(4!)}^(4!)= 1.097E19080
X3= [(X2!)^(X2!)]^(X2!)... and so forth with a tower consisting of X2! levels.
X4= [(X3!)^(X3!)]^(X3!)... and so forth with a tower consisting of X3! levels.
Can anyone calculate the value of the 3rd term here? I would be very surprised if it is less than a googolplex (actually I think X3 probably makes a googolplex look tiny). Can anyone come up with a unique, faster growing "function" than this?


No! Your function must grow slower (eventually) than busy beavers because your function is computable (it is basically composing the factorial with the Knuth arrow).

_________________
\begin{aligned}
Spin(1)&=O(1)=\mathbb{Z}/2&\quad&\text{and}\\
Spin(2)&=U(1)=SO(2)&&\text{are obvious}\\
Spin(3)&=Sp(1)=SU(2)&&\text{by }q\mapsto(\mathop{\mathrm{Im}}\mathbb{H}\ni p\mapsto qp\bar{q})\\
Spin(4)&=Sp(1)\times Sp(1)&&\text{by }(q_1,q_2)\mapsto(\mathbb{H}\ni p\mapsto q_1p\bar{q_2})\\
Spin(5)&=Sp(2)&&\text{by }\mathbb{HP}^1\cong S^4_{round}\hookrightarrow\mathbb{R}^5\\
Spin(6)&=SU(4)&&\text{by the irrep }\Lambda_+\mathbb{C}^4
\end{aligned}


Top
 Profile  
 
 Post subject:
PostPosted: Sat, 31 Oct 2009 05:05:09 UTC 
Offline
S.O.S. Oldtimer

Joined: Fri, 30 Oct 2009 16:33:10 UTC
Posts: 261
It is true that busy beaver functions are noncomputable, but that does not mean that they have an infinite value do they? Does some f(x)=infinity for some beaver function? Doesn't noncomputable just mean that the exact value can not be mathematically determined? Therefore, is it not possible for computable functions, such as the ones I came up with, to grow faster than noncomputable functions, such as busy beaver functions?


Top
 Profile  
 
 Post subject:
PostPosted: Sat, 31 Oct 2009 06:03:53 UTC 
Offline
Moderator
User avatar

Joined: Mon, 29 Dec 2008 17:49:32 UTC
Posts: 6005
Location: 127.0.0.1, ::1 (avatar courtesy of UDN)
goteamusa wrote:
It is true that busy beaver functions are noncomputable, but that does not mean that they have an infinite value do they? Does some f(x)=infinity for some beaver function? Doesn't noncomputable just mean that the exact value can not be mathematically determined? Therefore, is it not possible for computable functions, such as the ones I came up with, to grow faster than noncomputable functions, such as busy beaver functions?


No! Infinity is not a number!

f\colon\mathbb{N}\to\mathbb{N} (or partial function ...) is computable means there is a finite state Turing machine (or equivalently a register machine which is usually easier to demonstrate) that will accept any natural number as input and compute f for that input (and in the case of partial functions, need machine halting for those input where f is defined and doesn't halt if f is not defined at the input).

Even if f is noncomputable, any truncation
g(n)=\begin{cases}
f(n) & n\leq k\\
0 & n>k
\end{cases}
is computable.

While you can cook up computable functions that beats the busy beavers function for the first N inputs, eventually the busy beavers function will win (see the construction in the other thread). That is why the answer to your initial question (does your function grow faster than the beavers function in the long run) is negative.

_________________
\begin{aligned}
Spin(1)&=O(1)=\mathbb{Z}/2&\quad&\text{and}\\
Spin(2)&=U(1)=SO(2)&&\text{are obvious}\\
Spin(3)&=Sp(1)=SU(2)&&\text{by }q\mapsto(\mathop{\mathrm{Im}}\mathbb{H}\ni p\mapsto qp\bar{q})\\
Spin(4)&=Sp(1)\times Sp(1)&&\text{by }(q_1,q_2)\mapsto(\mathbb{H}\ni p\mapsto q_1p\bar{q_2})\\
Spin(5)&=Sp(2)&&\text{by }\mathbb{HP}^1\cong S^4_{round}\hookrightarrow\mathbb{R}^5\\
Spin(6)&=SU(4)&&\text{by the irrep }\Lambda_+\mathbb{C}^4
\end{aligned}


Top
 Profile  
 
 Post subject:
PostPosted: Mon, 30 Nov 2009 12:31:58 UTC 
Offline
Math Cadet

Joined: Tue, 13 Oct 2009 12:13:31 UTC
Posts: 5
Hi,
You have to find the maximum and minimum values of the first derivative. These values are where the function is increasing or decreasing the fastest.


Top
 Profile  
 
Display posts from previous:  Sort by  
Post new topic Reply to topic  [ 6 posts ] 

All times are UTC [ DST ]


Who is online

Users browsing this forum: No registered users


You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum

Search for:
Jump to:  
Contact Us | S.O.S. Mathematics Homepage
Privacy Statement | Search the "old" CyberBoard

users online during the last hour
Powered by phpBB © 2001, 2005-2011 phpBB Group.
Copyright © 1999-2013 MathMedics, LLC. All rights reserved.
Math Medics, LLC. - P.O. Box 12395 - El Paso TX 79913 - USA