My Number is Bigger (Crazy Edition)
Moderators: jestingrabbit, Moderators General, Prelates
My Number is Bigger (Crazy Edition)
'Ello.
This version is not for the faint of heart.
There are three rules.
1. Unless it is blatantly obvious, you must show that your number is finite when you post it.
2. Unless it is blatantly obvious, you must show that your number is winning, otherwise it is not.
3. You must define a specific number that remains well defined no matter what anyone else posts later.
To get the ball rolling...
BB(5), the smallest number that we don't know how big it is. Well, probably.
This version is not for the faint of heart.
There are three rules.
1. Unless it is blatantly obvious, you must show that your number is finite when you post it.
2. Unless it is blatantly obvious, you must show that your number is winning, otherwise it is not.
3. You must define a specific number that remains well defined no matter what anyone else posts later.
To get the ball rolling...
BB(5), the smallest number that we don't know how big it is. Well, probably.
All Shadow priest spells that deal Fire damage now appear green.
Big freaky cereal boxes of death.
 emlightened
 Posts: 42
 Joined: Sat Sep 26, 2015 9:35 pm UTC
 Location: Somewhere cosy.
Re: My Number is Bigger (Crazy Edition)
Drat. Nonrecursive googology isn't my strongpoint.
The largest integer definable in at most 160 symbols in ZF.
Edit: I've not got a proof of largeness, so username's is winning.
The largest integer definable in at most 160 symbols in ZF.
Edit: I've not got a proof of largeness, so username's is winning.
Last edited by emlightened on Wed Dec 16, 2015 9:57 pm UTC, edited 2 times in total.
██████████████████████████████████████████████████████████████████████████████████████████████████████
"Therefore it is in the interests not only of public safety but also public sanity if the buttered toast on cats idea is scrapped, to be replaced by a monorail powered by cats smeared with chicken tikka masala floating above a rail made from white shag pile carpet."
"Therefore it is in the interests not only of public safety but also public sanity if the buttered toast on cats idea is scrapped, to be replaced by a monorail powered by cats smeared with chicken tikka masala floating above a rail made from white shag pile carpet."

 Posts: 49
 Joined: Thu Jun 25, 2015 10:43 am UTC
 Location: None of your business
Re: My Number is Bigger (Crazy Edition)
EDIT: Ninja'd.
The largest number not definable using emlightened's number of characters in ZF.
Beat that!!!!!!
The largest number not definable using emlightened's number of characters in ZF.
Beat that!!!!!!
This is a signature, in case you didn't notice.
Re: My Number is Bigger (Crazy Edition)
Well escalated quickly.
Or, you know, not.
As posted, username5243's number is undefined, because there is no largest number not definable in a finite number of characters in ZF.
As far as emlightened, I don't actually know how many characters it takes to express the operation of a Turing Machine in ZF. Without that, it would be a tremendous amount of work to prove that there existed a formula of size at most 160 symbols. You could try to actually encode the operation of a TM into a ZF formula, and then show that you have enough leftover symbols to specify a 5 state Turing machine for that formula to operate on, or you could just pretend you had two zeros in there, because then it's obviously bigger.
Or, you know, not.
As posted, username5243's number is undefined, because there is no largest number not definable in a finite number of characters in ZF.
As far as emlightened, I don't actually know how many characters it takes to express the operation of a Turing Machine in ZF. Without that, it would be a tremendous amount of work to prove that there existed a formula of size at most 160 symbols. You could try to actually encode the operation of a TM into a ZF formula, and then show that you have enough leftover symbols to specify a 5 state Turing machine for that formula to operate on, or you could just pretend you had two zeros in there, because then it's obviously bigger.
All Shadow priest spells that deal Fire damage now appear green.
Big freaky cereal boxes of death.
 emlightened
 Posts: 42
 Joined: Sat Sep 26, 2015 9:35 pm UTC
 Location: Somewhere cosy.
Re: My Number is Bigger (Crazy Edition)
I'll choose the "pretend you had two zeros in there, because then it's obviously bigger" option.
Define {System}_{0}(k) = The largest integer definable in at most k symbols in System, and reduce {System}_{α}(k) as a FGH (specify if not Wainer Hierarchy).
Send: {ZF}_{0}(77^{77})
Last edited by emlightened on Wed Dec 16, 2015 10:12 pm UTC, edited 1 time in total.
██████████████████████████████████████████████████████████████████████████████████████████████████████
"Therefore it is in the interests not only of public safety but also public sanity if the buttered toast on cats idea is scrapped, to be replaced by a monorail powered by cats smeared with chicken tikka masala floating above a rail made from white shag pile carpet."
"Therefore it is in the interests not only of public safety but also public sanity if the buttered toast on cats idea is scrapped, to be replaced by a monorail powered by cats smeared with chicken tikka masala floating above a rail made from white shag pile carpet."

 Posts: 49
 Joined: Thu Jun 25, 2015 10:43 am UTC
 Location: None of your business
Re: My Number is Bigger (Crazy Edition)
You got me, I guess I meant the largest definable number (or the smallest nondefinable number in case that's infinite). I don't know what that means, so I give up and request that a game like this with no uncomputable functions be made soon.
This is a signature, in case you didn't notice.
 emlightened
 Posts: 42
 Joined: Sat Sep 26, 2015 9:35 pm UTC
 Location: Somewhere cosy.
Re: My Number is Bigger (Crazy Edition)
We could just run two games simultaneously: a 'recursive largest number' and a 'uncomputable largest number'.
In the case of the latter, send: f_{ε_0}(12).
In the case of the latter, send: f_{ε_0}(12).
██████████████████████████████████████████████████████████████████████████████████████████████████████
"Therefore it is in the interests not only of public safety but also public sanity if the buttered toast on cats idea is scrapped, to be replaced by a monorail powered by cats smeared with chicken tikka masala floating above a rail made from white shag pile carpet."
"Therefore it is in the interests not only of public safety but also public sanity if the buttered toast on cats idea is scrapped, to be replaced by a monorail powered by cats smeared with chicken tikka masala floating above a rail made from white shag pile carpet."

 Posts: 49
 Joined: Thu Jun 25, 2015 10:43 am UTC
 Location: None of your business
Re: My Number is Bigger (Crazy Edition)
Oh yeah?
f_Gamma_0(Googolplex)
f_Gamma_0(Googolplex)
This is a signature, in case you didn't notice.
 emlightened
 Posts: 42
 Joined: Sat Sep 26, 2015 9:35 pm UTC
 Location: Somewhere cosy.
Re: My Number is Bigger (Crazy Edition)
To stop this from turning into a 'name the largest ordinal' game, does it sound fair to say that all ordinals >Γ_{0} need explicitly defined fundamental sequences?
Also: f_{Γ_0}(f_{Γ_0}(2))
Also: f_{Γ_0}(f_{Γ_0}(2))
██████████████████████████████████████████████████████████████████████████████████████████████████████
"Therefore it is in the interests not only of public safety but also public sanity if the buttered toast on cats idea is scrapped, to be replaced by a monorail powered by cats smeared with chicken tikka masala floating above a rail made from white shag pile carpet."
"Therefore it is in the interests not only of public safety but also public sanity if the buttered toast on cats idea is scrapped, to be replaced by a monorail powered by cats smeared with chicken tikka masala floating above a rail made from white shag pile carpet."

 Posts: 49
 Joined: Thu Jun 25, 2015 10:43 am UTC
 Location: None of your business
Re: My Number is Bigger (Crazy Edition)
Fine...
f_G_0+(Graham's Number)(googol)
f_G_0+(Graham's Number)(googol)
This is a signature, in case you didn't notice.
 emlightened
 Posts: 42
 Joined: Sat Sep 26, 2015 9:35 pm UTC
 Location: Somewhere cosy.
Re: My Number is Bigger (Crazy Edition)
On the other hand, it wouldn't be hard to just copy definitions from deedlit on the wiki, and the Wainer hierarchy covers all cases up to ε_(Γ_{0}+1). Or you could just send (say) {ZF}_{Ψ(Ω^Ω^ω)}(10^{100}) in the other category.
f_(Γ_{0}ω)(14)
Edit: I feel like I've completely derailed WarDaft's thread. Sorry.
{ZF}_{2}(77^{77})
f_(Γ_{0}ω)(14)
Edit: I feel like I've completely derailed WarDaft's thread. Sorry.
{ZF}_{2}(77^{77})
██████████████████████████████████████████████████████████████████████████████████████████████████████
"Therefore it is in the interests not only of public safety but also public sanity if the buttered toast on cats idea is scrapped, to be replaced by a monorail powered by cats smeared with chicken tikka masala floating above a rail made from white shag pile carpet."
"Therefore it is in the interests not only of public safety but also public sanity if the buttered toast on cats idea is scrapped, to be replaced by a monorail powered by cats smeared with chicken tikka masala floating above a rail made from white shag pile carpet."

 Posts: 126
 Joined: Wed May 09, 2012 6:02 pm UTC
Re: My Number is Bigger (Crazy Edition)
{ZF}_{3}(77^{77})
(which is probably more laughable then posting "Graham's Number plus 1" in reply to Graham's Number. But hey, everybody seems to be doing it and it's perfectly legal, so why not?)
(which is probably more laughable then posting "Graham's Number plus 1" in reply to Graham's Number. But hey, everybody seems to be doing it and it's perfectly legal, so why not?)
 emlightened
 Posts: 42
 Joined: Sat Sep 26, 2015 9:35 pm UTC
 Location: Somewhere cosy.
Re: My Number is Bigger (Crazy Edition)
{ZF}_{3}(^{77}77)
This is Graham's Number +1. I think you were at Graham's Number^{3}.
This is Graham's Number +1. I think you were at Graham's Number^{3}.
██████████████████████████████████████████████████████████████████████████████████████████████████████
"Therefore it is in the interests not only of public safety but also public sanity if the buttered toast on cats idea is scrapped, to be replaced by a monorail powered by cats smeared with chicken tikka masala floating above a rail made from white shag pile carpet."
"Therefore it is in the interests not only of public safety but also public sanity if the buttered toast on cats idea is scrapped, to be replaced by a monorail powered by cats smeared with chicken tikka masala floating above a rail made from white shag pile carpet."

 Posts: 126
 Joined: Wed May 09, 2012 6:02 pm UTC
Re: My Number is Bigger (Crazy Edition)
{ZF}_{ω^77}(77↑^{77}77)
(I personally feel that applying these simple recursions to the ZF thing is actually far more naïve than saying "Graham's plus one"  relatively speaking. I wonder if there's an objective way to compare such things on such vastly different scales)
(I personally feel that applying these simple recursions to the ZF thing is actually far more naïve than saying "Graham's plus one"  relatively speaking. I wonder if there's an objective way to compare such things on such vastly different scales)
 emlightened
 Posts: 42
 Joined: Sat Sep 26, 2015 9:35 pm UTC
 Location: Somewhere cosy.
Re: My Number is Bigger (Crazy Edition)
The only thing I can think of is comparing prooftheoretic ordinals (or their nonrecursive equivalent), but notations that go that large don't yet exist.
{ZF}_{ω↑↑77}(77)
{ZF}_{ω↑↑77}(77)
██████████████████████████████████████████████████████████████████████████████████████████████████████
"Therefore it is in the interests not only of public safety but also public sanity if the buttered toast on cats idea is scrapped, to be replaced by a monorail powered by cats smeared with chicken tikka masala floating above a rail made from white shag pile carpet."
"Therefore it is in the interests not only of public safety but also public sanity if the buttered toast on cats idea is scrapped, to be replaced by a monorail powered by cats smeared with chicken tikka masala floating above a rail made from white shag pile carpet."
Re: My Number is Bigger (Crazy Edition)
PsiSquared wrote:{ZF}_{ω^77}(77↑^{77}77)
(I personally feel that applying these simple recursions to the ZF thing is actually far more naïve than saying "Graham's plus one"  relatively speaking. I wonder if there's an objective way to compare such things on such vastly different scales)
In a sense, I agree. When you do X+1, you know you're not really contributing to the size, but trying to square or cube something like Grahams number implies you think you're contributing meaningfully to the enhugemousness.
To that end...
{ZF+Con(ZF)}_{10}(10) will handily beat {ZF}_{a}(n) for just about any practically definable a or n that could be proven well founded by ZF.
All Shadow priest spells that deal Fire damage now appear green.
Big freaky cereal boxes of death.

 Posts: 126
 Joined: Wed May 09, 2012 6:02 pm UTC
Re: My Number is Bigger (Crazy Edition)
Well, if a person thinks he is actually making a difference when cubing Graham's number, that's only because he doesn't understand Graham's number. The question is whether there's an objective way to compare various levels of "naiveness" across different scales.
As for the game:
While I could post something like {ZF+Con(ZF)}_{11}(10), I think this kind of stunt had already outlived its welcome on this thread. So I'll just shut up and try to learn from what the others are doing, before submitting my own two cents.
As for the game:
While I could post something like {ZF+Con(ZF)}_{11}(10), I think this kind of stunt had already outlived its welcome on this thread. So I'll just shut up and try to learn from what the others are doing, before submitting my own two cents.
 Vytron
 Posts: 432
 Joined: Mon Oct 19, 2009 10:11 am UTC
 Location: The Outside. I use She/He/Her/His/Him as gender neutral pronouns :P
Re: My Number is Bigger (Crazy Edition)
Hmmm, let me try this:
Define a super machine as a machine that can solve the halting problem* for BB(N).
Define a BB_{2}(N) to be the maximum number of steps a super machine with N rules can make before halting.
Define a super super machine as a machine that can solve the halting problem for BB_{2}(N).
Define a BB_{3}(N) to be the maximum number of steps a super super machine with N rules can make before halting.
Generally:
Define a super...for k "super"s...super machine as a machine that can solve the halting problem for BB_{k}(N).
Define a BB_{k+1}(N) to be the maximum number of steps a super...for k "super"...super machine with N rules can make before halting.
*A super machine would know if a program of length N halts by simulating it for BB(N) steps, throwing away the ones that halt and returning the maximum score of one that didn't.
Define:
BB_{ω}(n) = BB_{k}(n)
And define:
BB_{FGH}(n)
As a hierarchy of functions that collapse in the same way that the FGH does by repeating this process of super machines (where you'd replace FGH with the symbol expanded).
Send:
BB_{Γ_0}({ZF+Con(ZF)}_{10}(10))
Define a super machine as a machine that can solve the halting problem* for BB(N).
Define a BB_{2}(N) to be the maximum number of steps a super machine with N rules can make before halting.
Define a super super machine as a machine that can solve the halting problem for BB_{2}(N).
Define a BB_{3}(N) to be the maximum number of steps a super super machine with N rules can make before halting.
Generally:
Define a super...for k "super"s...super machine as a machine that can solve the halting problem for BB_{k}(N).
Define a BB_{k+1}(N) to be the maximum number of steps a super...for k "super"...super machine with N rules can make before halting.
*A super machine would know if a program of length N halts by simulating it for BB(N) steps, throwing away the ones that halt and returning the maximum score of one that didn't.
Define:
BB_{ω}(n) = BB_{k}(n)
And define:
BB_{FGH}(n)
As a hierarchy of functions that collapse in the same way that the FGH does by repeating this process of super machines (where you'd replace FGH with the symbol expanded).
Send:
BB_{Γ_0}({ZF+Con(ZF)}_{10}(10))
Re: My Number is Bigger (Crazy Edition)
Aha, the oracle machines show up. Oracle is the word your looking for, when you give a Turing Machine the ability to solve the halting problem.
I'm very sorry Vytron, but that's actually smaller than {ZF+Con(ZF)}_{11}(10). {ZF}_{10}(10) already includes statements which describe oracle Turing machines. In fact {ZF}_{0}(77^{77}) will already be able to define oracle machines that complicated.
Actually, now that I think about it, I was wrong, {ZF+Con(ZF)}_{10}(10) isn't any bigger than {ZF}_{10}(10). Since the +Con(ZF) only adds to our ability to prove things true rather than our ability to define things, and the wording of the {A}x(B) system does not constrain to statements which can be proven true.
The more that I think about it, the less sure I am that this is well defined at all! If we have ZF+A and ZF+B, where A and B are each independent of ZF, it is possible for different statements to be true in each. With a different set of true statements, the numbers that you can define in a given set of symbols will be different. Thus, without requiring that they are provable in ZF, I think we have allowed ourselves to include statements whose truth is not decided.
But I'm not actually a mathematician so...
Let [Ak] be the largest recursive ordinal provably well founded in system A that can be defined in at most k symbols.
{ZF}[ZF10^{10}](10)
I'm very sorry Vytron, but that's actually smaller than {ZF+Con(ZF)}_{11}(10). {ZF}_{10}(10) already includes statements which describe oracle Turing machines. In fact {ZF}_{0}(77^{77}) will already be able to define oracle machines that complicated.
Actually, now that I think about it, I was wrong, {ZF+Con(ZF)}_{10}(10) isn't any bigger than {ZF}_{10}(10). Since the +Con(ZF) only adds to our ability to prove things true rather than our ability to define things, and the wording of the {A}x(B) system does not constrain to statements which can be proven true.
The more that I think about it, the less sure I am that this is well defined at all! If we have ZF+A and ZF+B, where A and B are each independent of ZF, it is possible for different statements to be true in each. With a different set of true statements, the numbers that you can define in a given set of symbols will be different. Thus, without requiring that they are provable in ZF, I think we have allowed ourselves to include statements whose truth is not decided.
But I'm not actually a mathematician so...
Let [Ak] be the largest recursive ordinal provably well founded in system A that can be defined in at most k symbols.
{ZF}[ZF10^{10}](10)
All Shadow priest spells that deal Fire damage now appear green.
Big freaky cereal boxes of death.
 Vytron
 Posts: 432
 Joined: Mon Oct 19, 2009 10:11 am UTC
 Location: The Outside. I use She/He/Her/His/Him as gender neutral pronouns :P
Re: My Number is Bigger (Crazy Edition)
I see...
Well, oracles have to do something somewhere, don't they?
{ZF}[ZFBB_{Γ_0}(10)](10)
Just because, it'd be mindboggling if this wasn't much bigger than your number.
Well, oracles have to do something somewhere, don't they?
{ZF}[ZFBB_{Γ_0}(10)](10)
Just because, it'd be mindboggling if this wasn't much bigger than your number.
Re: My Number is Bigger (Crazy Edition)
Oh, yes, that's defnitely bigger. The thing was you used one on an older number that had a 10 in it rather than an 11, and you applied it to the final value, which wasn't enough to overcome the bump to 11.
All Shadow priest spells that deal Fire damage now appear green.
Big freaky cereal boxes of death.
Re: My Number is Bigger (Crazy Edition)
Well, in the interest of keeping things rolling...
Since {ZF}0(n) grows faster than BB_{a}(n) for any recursively defined, naturally the next stop on the crazy train is {ZF}[ZF{ZF}_{0}(10^{10})](10)
Since {ZF}0(n) grows faster than BB_{a}(n) for any recursively defined, naturally the next stop on the crazy train is {ZF}[ZF{ZF}_{0}(10^{10})](10)
All Shadow priest spells that deal Fire damage now appear green.
Big freaky cereal boxes of death.
 emlightened
 Posts: 42
 Joined: Sat Sep 26, 2015 9:35 pm UTC
 Location: Somewhere cosy.
Re: My Number is Bigger (Crazy Edition)
Send: {ZF}[ZFC77^{12}](12^{77})
Much smaller than {ZFC}_{0} (asymtotically).
Much smaller than {ZFC}_{0} (asymtotically).
██████████████████████████████████████████████████████████████████████████████████████████████████████
"Therefore it is in the interests not only of public safety but also public sanity if the buttered toast on cats idea is scrapped, to be replaced by a monorail powered by cats smeared with chicken tikka masala floating above a rail made from white shag pile carpet."
"Therefore it is in the interests not only of public safety but also public sanity if the buttered toast on cats idea is scrapped, to be replaced by a monorail powered by cats smeared with chicken tikka masala floating above a rail made from white shag pile carpet."

 Posts: 2
 Joined: Thu Jan 14, 2016 4:09 pm UTC
Re: My Number is Bigger (Crazy Edition)
{PRA}[ZFC{ZFC}_{g_65}(100)](100000000000000000000000000000)!
Where PRA stands for primitive recursive arithmetic. Because why not
Where PRA stands for primitive recursive arithmetic. Because why not
 emlightened
 Posts: 42
 Joined: Sat Sep 26, 2015 9:35 pm UTC
 Location: Somewhere cosy.
Re: My Number is Bigger (Crazy Edition)
Coming back here, I feel disappointed that I missed out Z_{2} and KP.
I initially missed that your number was lowerbounded by {ZFC}g_65(100), and started explaining why it was so small. My bad.
Also: welcome to the forums!
{ZFC}_{[PRA200]}(200)
I initially missed that your number was lowerbounded by {ZFC}g_65(100), and started explaining why it was so small. My bad.
Also: welcome to the forums!
{ZFC}_{[PRA200]}(200)
██████████████████████████████████████████████████████████████████████████████████████████████████████
"Therefore it is in the interests not only of public safety but also public sanity if the buttered toast on cats idea is scrapped, to be replaced by a monorail powered by cats smeared with chicken tikka masala floating above a rail made from white shag pile carpet."
"Therefore it is in the interests not only of public safety but also public sanity if the buttered toast on cats idea is scrapped, to be replaced by a monorail powered by cats smeared with chicken tikka masala floating above a rail made from white shag pile carpet."

 Posts: 2
 Joined: Thu Jan 14, 2016 4:09 pm UTC
Re: My Number is Bigger (Crazy Edition)
{ZFC}_{[PRA200]}(200)!
Yes, that's factorial.
@emlightened Thanks!
Yes, that's factorial.
@emlightened Thanks!
Who is online
Users browsing this forum: marionic and 46 guests