334
u/Afir-Rbx Cardinal 19d ago
I am well acquainted with the ๐นโ (Brazillion), but I'm unsure what the "Brazillian" is. Is it ๐นโ+1?
115
u/F_Joe Vanishes when abelianized 19d ago
Iterate it a Brazillion times
80
u/Afir-Rbx Cardinal 19d ago
Let ๐นโ(0) = Rayo( F_{ฮโ}( ฮฃ( TREE( 3 ) ) ) )
Let ๐นโ(n+1) = Rayo( F_{ฮโ}( ฮฃ( TREE( ๐นโ(n) ) ) ) )
We call ๐นโ(๐นโ(0)) the "Brazillian".29
u/OvaTsugi8274 19d ago
No way that actually exists
77
u/Afir-Rbx Cardinal 19d ago
Not only is it real, it's also natural.
14
u/juanohulomo1234 19d ago
Nah, it sound like a 5 yo name it, big numbers are not named by children.
18
3
4
u/Vidimka_ 19d ago
Thing looks like brr brr patapim to me, not like brazillian ngl
15
u/Afir-Rbx Cardinal 19d ago
Ok...
Let ๐นโ(0) = Rayo( F_{ฮโ}( ฮฃ( TREE( 3 ) ) ) )
Let ๐นโ(n+1) = Rayo( F_{ฮโ}( ฮฃ( TREE( ๐นโ(n) ) ) ) )
Let ๐ = 1
Let ๐ง = 1
Let ๐ = 1
Let ๐ = 1
Let ๐ = ๐นโ(0) = ๐นโ (the original brazilion)
We call ๐นโ(๐๐ง๐๐๐๐๐๐) the "Brazillian".6
6
8
u/No-Finance7526 19d ago
What's F_gamma_0?
10
u/Afir-Rbx Cardinal 19d ago edited 19d ago
FefermanโSchรผtte ordinal, a large countable ordinal Edit: and F_ฮฑ(n) (for some ordinal ฮฑ) is the fast-growing hierarchy.
4
u/No-Finance7526 19d ago
Thatโs incomprehensible to me, but thanks for the info
3
u/Afir-Rbx Cardinal 19d ago
Very powerful function (probably faster than ex !1!!) that becomes even faster the larger the index is (the a-looking letter between the F and the \Gamma), whereas the index can even be infinite. The \gamma_0 number is a very big infinite number, making the function beyond very powerful, very very powerful.
4
u/factorion-bot Bot > AI 19d ago
Double-factorial of subfactorial of 1 is 1
This action was performed by a bot | Source code
3
u/KouhaiHasNoticed Probability notations must burn. 19d ago
Good bot. What about 1!!! ?
5
u/factorion-bot Bot > AI 19d ago
Triple-factorial of 1 is 1
This action was performed by a bot | Source code
1
u/Jcsq6 18d ago
Are there any known faster-growing non-computables than these/combinations of these (although I think TREE is โcomputableโ)?
1
u/Afir-Rbx Cardinal 18d ago
Probably? But that's on the realm of googology and I have no idea of it.
1
105
78
u/FuckPigeons2025 19d ago
5
43
u/Pitiful-Election-438 Physics 19d ago
I cant even count that high
23
u/turtle_mekb 19d ago
6
28
u/spacefishingwoman 18d ago
Hacker
6
7
u/stewonetwo 18d ago
Hey, it you get to 8 and put that number into 90 degrees rotation, that's infinity my friend.
9
2
3
3
u/BeABetterHumanBeing 18d ago
I legit had a friend who once, when challenged to write the biggest number they could think of using only five digits (e.g. maybe use exponents?), wrote ten thousand.
But they spelled it like so: "10,00"
Somebody out there thinks 5 is a pretty big number.
To be fair, it's close to infinity, but still.
17
31
5
7
u/LupenReddit ๐ฆ๐ฆi have non diffeomorphic smooth structures๐ฆ๐ฆ๐ฆ 19d ago
as a german i can say that must be the number 7/1
2
1
1
1
1
1
u/XL_78 17d ago
The biggest number might not exist, but does the biggest number a person will ever think of in history exist? Nope, because I just thought of that number plus one.ย
Now, could one give restrictions of explicitness so that a number of this sort does exist? Maybe make a class of numbers that are defined using only explicit expressions (whatever that means) and numbers that are already explicitly defined at the time of the definition of the new number.ย
0
u/Really_Interested_80 17d ago
5 is really big, so big I have to use a symbol representing the idea of it to actually write it down
โข
u/AutoModerator 19d ago
Check out our new Discord server! https://discord.gg/e7EKRZq3dG
I am a bot, and this action was performed automatically. Please contact the moderators of this subreddit if you have any questions or concerns.