The idea of generating a completely random positive integer seems bizarre to me, because no matter what result you get there should be a 100% chance that the number generated should've been bigger, since there are always infinitely many more integers larger than it but there must be finitely many smaller than it (otherwise you don't have an integer; all integers are finite). If you generate 3 such random numbers, does each have to be bigger than the last? It should be a 100% chance right? What if you look at the third number first, and then look at the second number you generated? There should now be a 100% chance that it is bigger than the third... I don't think the concept itself makes sense.
to “pick” a random positive integer it needs to first exist. The irony of this is functionally speaking the chance that its bigger than graham’s number is ZERO
@@cc1drt The probability of an action resulting in a certain outcome being 0 also requires the action to be completable. So really the probability is not 0, but "NA" (Not Applicable - as in the question can't be answered)
@@randomaccount2448 If it were at all possible, you would be guaranteed to pick an integer, because you only have integers to pick from. You can't pick something that isn't in the set.
Even though TREE(3) completely dwarfs g63, I love Graham's Number because you can somewhat appreciate just how insanely massive it is when you express it in terms of how many 3s and exponentiation towers exist even just in g(0). In comparison, the tree function is like... "Yeah here's some confusing rules, we go from 1, to 3, to practically-but-not-quite forever"
@@Vhite my issue with TREE(3) is that you can say it's larger than Graham's number, but there isn't really an easy way to show it, so the default answer is "believe me bro".
@@alexandertaylor7316 Well, THREE(3) is demonstrable, but you basically need a math PhD... So it is indeed "believe me bro" for at least 99.999% of everybody. On another topic, I dare say, mathematicians overthink waaaaay too much...
The fact that its easier to imagine infinity than a really big number is insane. Its easy to know infinity goes forever but its almost impossible how big would a pile of 7 tetrated by 7 number of apples
because you don't imagine infinity, you imagine something that doesn't end It's close but not the same, it help to understand what it is but you don't imagine it Anyway human brain is bad with big number. And it doesn't have to be this big before the brain goes "yeaaaah something like that maybe, doesn't matter when it's this big" Just imagining a 20km thing is hard as heck. You can try to picture it next to thing that size but it's already to a point where the only thing we could compare to are pictures made from the sky And it's downright impossible to understand how big are the earth, the sun or the solar system. Very small number aren't easier tbh
This makes no sense; infinity is not 'imagining something going on forever.' First off, you cannot imagine that, because all you are doing is imagining something going, then ceasing to imagine that, so you haven't gotten anywhere close to imagining forever, and lastly, infinity is an infinitely large entity, not a 'process that keeps going.' So you are so terrible at imagining infinity that you have fooled yourself into thinking you could more easily imagine infinity than a really large number, which only speaks to the fact that imagining infinity is far harder than imagining any finite number, no matter how large.
@@pyropulseIXXIfound a pseudointellectual! infinity is definitely easier to imagine than tree(3). infinity is easy, it's infinity, and basic logic that we take for granted stops working there. everyone knows that, simple. but with numbers like tree(3) there isn't anything fundamentally different bewtween them and say, 31. they're both just positive integers. but the scale pf tree(3) is so unimagineably massive, that it becomes easier to think about it as just being "basically infinity" dispite having much more in common with integers that we use every day than with infinity. and that there's the rub. we think of tree(3) as being equivilent to infinity, because that concept is easier to comprehend than tree(3)'s true size.
Hello there! I think the reason Infinity is easy to understand, is down to the basic understanding we have on the concept of Infinity. We may know it as "never ending", but once you start building up your foundation from there, contradictions start appearing everywhere. But then you realise the exact same thing can be said for TREE(3) or g(64). In conclusion; we might have a better understanding of these large numbers than Infinity. I hope you can see my view, and thanks for reading!
@@pyropulseIXXIinfinity is captured in a single axiom of set theory. Not so for TREE(3). With integers that large, it is extremely rare to find one that can be described as simply as TREE(3). The shortest description of most such numbers tends to be nearly as large as the number of digits required to express the number directly. We can define TREE(3) in far fewer characters only because it has a specific property; most numbers aren't so lucky. Infinity is much easier to conceptualize.
The best exposition I've seen so far on large numbers with precise descriptions and excellent graphics. The narrator's voice is perfect for describing mathematics in English. At university I always preferred maths lecturers who did not have English as their mother tongue - less fluff, focus on diction.
Oh yeah. I had an advanced linear algebra teacher from Zimbabwe. He was also the professor I went to when I was having a hard time in advanced diff eq. His diction was perfect but had a Bantu lilt to it. Also his favorite variable will forever be h. He pronounced it "hashe" long A. Dr. Ebiefung was sharp sharp and I learned a lot from that man.
I do like how we can't write down Graham's number even if we inscribed a digit on every particle in the visible universe, but we do know what digits it ends in (last digit is 7).
@@sylencemouse1860 well every power of 3 ends in 1, 3, 9 or 7 starting at the zeroth power. So as long as you can show that Graham's number is 3^(4n+3) or 3^(4n-1) then you know it ends in 7 Now I don't understand Graham's Number well enough to show that, but presumably, that is how it would work
@johnhawkins5314 I have a similar theory. Well stated. Basically, math, patterns, observe and compare said pattern to which "power of 3 digit" each of the earlier phases of G would land on. Then yeh......??
I get that the TREE concept is a bit hard to describe, but I feel like some semblance of how we know it is finite yet much larger than Graham's number would have been appreciated.
The problem with trying to explain it is that the explanation itself requires a much deeper understanding of mathematics than it seems. I'll go on a -slightly- pedantic rant and then try a metaphor to explain it anyway, and apologies if at some point this comes across as condescending. It's not, I'm just trying to _really_ make it as simple as possible. Apologies also to whoever this oversimplification might offend. To most people, mathematics is just another science subject out there, but the reality is that it goes so deep and is so vast as to, in my opinion, be larger than all the other subjects (physics, chemistry, engineering...) combined. The mathematics taught at highschool level feels comparable to learning to say Ni hao, which is "hello" in Mandarin and Cantonese, and calling that being fluent in all the Chinese dialects. A lot of the proofs out there, even for things that seem like they should be "easy" to talk about, require a completely different dialect of mathematics to talk about. You need to peel it back to the abstract logic and go from there. An example of one such dialect (first order logic) would be the following sentence: ∀x ∀y ∀z x ≤ y∧y ≤ z → x ≤ z (for every X, every Y, every Z such that X is smaller than Y and Y is smaller than Z, it follows that X must be smaller than Z). It expands the concrete analysis of, say, an equation, to an abstract observation about variables without worrying about what those variables actually are. For this specific problem of the TREE function, we need to take another step back into second order arithmetic, which is used to further expand and talk about some properties and relations between mathematical objects. For instance, the sentence ∀P ∀x ( Px ∨ ¬Px ) would fall under this category (for every formula P and every variable X, either that formula with that variable is true, or _not_ that formula with that variable is true). It is within this dialect of mathematics speaking about properties of objects that we can construct a proof both that the TREE function is finite for any finite values passed to it and that TREE(3) is much, much larger than Graham's number. Rant and semi-formal explanation over, I'll put it in software terms, which bears striking resemblance to mathematics on many levels but is much easier to grasp: Picture a random mechanic in a random videogame that you can toy around with, familiarize yourself with and learn to use (can be something as simple as jumping). But to know _how_ and _why_ it works the way it does beyond "press this button and it jumps", you need to learn the programming language it's coded in, and go dive into the code. And then you might realize that just from the code you don't fully grasp how it does what it does, and you need to actually _learn how the programming language itself is built_ and go almost all the way down to how the machine functions at a physical level in order to know how the actual code works, and only then fully understand the mechanic. TREE(3) is one of these mechanics, it's concept is very simple, but to actually know how and why it works the way it does you need not only to look at the code, but know how the programming language it's coded in works itself. Those would be first and second order arithmetic, whilst playing the game is just regular math.
@@Z3nt4 hmm fair enough. I'm confident I can understand a real explanation, but if it would be exceptionally long winded and too hard for most, that might explain why he didn't put it in. I can read your statement of the transitive property by the way. :-) do you know of a video or paper that explains it properly?
@@mike1024. A proper explanation (which I'm not privy to) requires some deeper undestanding of graph theory, in which I am no expert and don't necessarily know of any readily available resources on the topic. However, if you're set on going down the rabbithole I guess you could start by looking up Kruskal's tree theorem and working your way back from there (which is NOT trivial by any means). The massive TL;DR is that under graph theory you can prove that any tree (the mathematical object 'tree') of the same type as the ones built through the TREE function must be finite. How one would go about proving that in the first place is beyond me, but that's the tool for the job.
Here's a way to put it in scale, brak an atom in half and get a hydrogen quark, an unbelievably small substance, fill the entire observable universe with those quarks and were about 0.0000000000000000000000000000000000000000001% of grahams number, lets shrink this quark filled universe to the size of a quark, then fill the universe up with it, repeat this roughly a million times and chances are, your number is still smaller the tree(3) by ALOT, when i say alot, I mean you can divide tree(3) by the amount of atoms in this universe and itll still be higher than the extremely densely packed universe This probably didn't help
The general way to construct enormous numbers like this is: 1. Pick a HUGE ordinal. You have to be able to prove that it is well-ordered, so it can't be infinite, it should be recursive. 2. Make a function based on thay ordinal. Ordinals are complex subjects, but necessary at the "basis" of mathematics (which is not an important part). For every concrete rule to create ordinals, there is a unique ordinal that can't be created with this rule. Graham's function doesn't use that big of an ordinal, since its definition is very straightforwards. The ordinal should even be described by Peano axioms. But the TREE function uses the small Veblen ordinal. That is quite a big ordinal.
@@0x6a09 Wikipedia says that the small Veblen ordinal is used, on both the page about Krustal's tree theorem (the reason why TREE exists as a function) and on the page about the small Veblen ordinal.
That's why I hate it when people so recklessly use infinity as a number to count with. Infinity is way bigger than any of these numbers. Infinitely bigger. In fact, tree(3) n-ated by tree(3) where n=tree(3) would still be infinitely smaller than infinity. Which is why it's pointless. They say "infinity+1 is bigger". I say it's not, infinity already contains infinity+1 and infinity+infinity and infinity power infinity, and tree(infinity). It's not limited with any finite answer so assuming anything may be bigger is just illogical. But it's easy to imagine. A perfect mathematical circle has infinite sides. All possible trees in the palm of your hand.
@@RedGallardoThe more you think about, the less infinity seems like a number and more like some incomprehensible eldritch horror from another dimension.
actually, Infinity is NOT a number you can be either closer or further away from. Infinity is a concept for something that doesn't HAS NO END. something without limit. The real numbers are infinite, because they never end.
@@PraiseChristTheGod By definition, every number is closer to zero than infinity. In the universe of the pure mathematics (like Platonism), (♾️ᐨ) through (♾️ᐩ) are necessary for almost every branch of maths. **I didn’t know Platonism was a word until I read the definition of Platonic😂
Took a test one year that had a question about a card game and it asked about the number of possibilities. My answer ended up being 2 tetrated up 100 times. I’d never seen tetration before but I was super proud of finding the answer.
math is more interesting on its own; what you just admitted is that you are not interesting and need someone else to program your mind with ideas that are interesting on their own. This guy is not making math more interesting; he is literally just talking about the math, and the math is interesting on its own. I am amazed at people such as yourself
I can personally attest to the fact that tree(3) is a large number because I stayed up all night with pens and paper testing it by drawing trees and I never came to the end. I had well over 400 trees drawn in that time and didn't seem to be near the end of possible trees. I fell asleep and dreamed of trees combinations.😮
The limited resources of this universe can not accomodate a representation of this number... But, although colors in the visible spectrum are finite, there may be no ceiling to how much energy a photon can pack... Neither a lower limit on how low the photon's frequency is possible. So, whether we'll run out of colors is questionable, we would run out of energy faster. P.S: if you want to destroy the universe, task an AI singularity with calculating every TREE(TREE(3)) tree. Tell it not to stop until it got the answer.
0:00 Succesion (adding 1 to a number) 0:07 Addition (repetition of Succesion) 0:14 Multiplication (repetition of Addition) 0:23 Exponentiation (repetition of Multiplication) 0:34 Tetration (repetition of Exponentiation) 2:37 Pentation (repetition of Tetration) 3:16 Hexation (repetition of Pentation) 3:37 Starting to create Graham’s Number 4:16 Graham’s Number 4:53 Explanation of TREE(3) 6:35 TREE(3)
Thank you for taking these concepts and editing a video with visual proof with examples for all of them. This is some of the best work I've seen! Keep it up!
i gotta be honest... i finished your video and thought, "thats it?" i will give you credit, you are the first person to explain arrow notation that actually made sense to me. i just felt like all your video was is just saying, "hey there are some big numbers!" maybe next time explain the numbers significance a little better. grahams number in particular is very interesting because it relates to describing higher dimensional objects.
There was a great thread on the XKCD fora back around 2010 where a bunch of nerds tried to outcompete each other for largest number without just incrementing previous numbers. The forums are gone now but I think TREE showed up by the third page and by the fifth someone had a number that exceeded the "largest number" yet discovered. I wasn't able to follow along at the time but this definitely helps. Now if only I could find that thread and try to understand some of the larger numbers...
@@MatthewConnellan-xc3oj E:NN(x) = x^...x+1...x E:NM(x) = E:NN(E:NN...x)))...) with x nestations of the E:NN function onto x E:NM2(x,y) = same nestation on E:NM, with y nestations.
I remember that thread from XKCD, it was an epic thread with hundreds of posts. After studying the math for quite a while I was able to understand most of it. That thread got me deeply into large numbers for a couple of years. I made about fifty pages of notes on large numbers, including a couple dozen of the numbers listed on that thread.
So I like incremental idle games, they give big numbers and oftentimes feel trivial when you look at the next milestone. That is what Tree(tree(g63)) feels like. Its what silliness do I have to accomplish to reach that number. Love the video keep up the good work.
Inifity always seemed magical to me. When I was a little child, I used to cry when trying to conceptualize the fact that the Universe (might) be infinite, or the sheer fact that there is not a "final number", and that things can always be bigger. I was overwhelmed by this as if I were an old archeologist beholding a non-euclidean Eldritch abomination from a parallel dimension in a Lovecraftian tome. As of today, mathematics is one of my favorite subjects, even though I was terrible at it at school. Finding this channel was like finding a precious gem!
When I was little I also thought things like that, about how we are the only thing that exists. There is nothing after death there is no way to escape since this is the only thing of the only thing. I was a weird 8 year old kid.
same. I think there should be maths appreciation at school where we get taught cool shit about what maths can do but don't actually have to do any sums. like I can appreciate sports without having to jog you know!?
There's one thing I don't understand about tetration: the exponents do not follow the power of a power law (a^m^n = a^mn). At 1:03 we have 3 tetrated to the 4th which is equated to 3^3^3^3, but by the power of a power law that latter value is equal to 3^(3*3*3)
That's because doing something like (a^m^n) using the power law means you're just bundling it into a single exponentiation term. With tetration of a number, you have to start at the top of the tower and work your way down - that's how the larger numbers are built as you're defining a new concept/sequence. So 3^3^3^3 = 3^(3^(3^3)), noting the brackets to determine order. This then works out to be 3^(3^27), or 3^(7.62x10^12), or three to the power of 7.62 trillion.
@@pyropulseIXXI I discovered power towers on my own, essentially tetration and I learned of Graham's number, but didn't understand it. I never knew it was actually called tetration until now, nor the official notation. But you sir, have had a difficult day, to be sure. I am deeply sorry for any stress in your life, and I want you to know that there are so many people who love you; and they still love you, even if you write snarky comments on UA-cam.
This is a good video, but one problem I have is that whenever anyone is explaining how big TREE(3) is, they explain the rules of how it's generated, but they never say how they know it's so huge. It basically boils down to "trust us... it's REALLY big". How do they know it's bigger than Graham's Number? What kind of mathematics do you use to show this--obviously not "trust me"!
@@yxx_chris_xxy I figured it was something quite complex, but all of the youtube videos I see on it have dumbed it down too much. Maybe you could do a video at least explaining Kruskail's tree theorem, in simplified terms, and at least allude to the techniques used to compare two gargantuan numbers like g(64) and TREE(3).
One of these days I pray to see someone finally explain Large Number Garden Number. It’s the current largest number and no matter how much I read about it, I still feel like I don’t understand it fully.
I'd love more treatment of the tree function. I don't quite understand how it can get so big. Maybe going further with many examples of how it can grow. Also, is there an equation for it? (I assume there is, and bet it has factorials.)
x! grows slower than x^x which doesn't even come close to tetration. The levels of recursion required to represent a number as large as Graham's number (let alone TREE(3)) go well beyond factorial.
It’s fascinating that these numbers are so big that computation with them is impossible, since even ^4 3 is greater than the number of Planck volumes in the observable universe.
Good thing that maths is a close imitation but fundamentally an imitation of reality irrespective of it's unreasonable utility in bits and bobs and things that make you go hmmmm. 😊
Minor nit - on the last slide, the Greater signs you use are inverted, you mean to say that Tree(3) is greater than g(1000) but it shows g(1000) > Tree(3), and than tree(3) > tree(4). I think it's clear when you listen to the audio, but someone watching it with no audio will be very confused.
Mind blowing when you consider that it's not possible to even store such a number physically, even if each digit only took up a single Planck unit of space.
This is how I learned about hyperoperations. My symbols that I use are right isosceles triangles that split down from the 90° angle right in between each. My symbol for Succession is an outline circle.
1:32 Expressions like this are usually said to be undefined since the only realistic way to get an infinity is to be calculating a limit (infinity not being a number), so the 1 may be a limit as well, in which case the way you got to one would determine the result - it is not always 1. e.g. (1+1/n)^n as n --> inf gives e, not 1 as the expression "1^inf=1" would imply, even though the exponent tends to infinity and the base tends to 1. So in this regard we cannot define 1^inf=1, and you'll run into similar problems with tetration.
Nesting TREES and putting g64 as the base integer is absolutely fucking insane and I love it. And even then, it's still infinitely closer to 0 than to infinity. Wild.
It's really difficult to get an intuition for how big TREE(3) is if you only have Knuth up arrow notation in your tool box. In the fast growing hierarchy, grahams number is on the order of f_omega+1, and if we continue to build larger ordinals to stick into the fast growing hierarchy, we exhaust omega by reaching an infinite tower of omegas which is epsilon naught, an infinite tower of that is epsilon 1, we can continue this and have other ordinals in the subscript of epsilon like epsilon sub omega, or epsilon sub epsilon naught, or even an infinite nesting of epsilons which is zeta naught. We can continue with an infinite nesting of zetas which is eta naught, and to avoid exhausting the greek alphabet we can move on to veblen notation in which epsilon naught is phi 1, zeta naught is phi 2 etc. We can create veblen functions with other ordinals as the argument like phi sub omega, and we can even have infinite nestings of veblen functions which is gamma naught, it then moves on to extended veblen notation which is messy so I switch to using infinite collapsing functions. Infinite collapsing functions define a very large ordinal that "collapses" to a well defined one when put into a function. We have a set that contains {0,1,omega, Omega} where Omega is our large ordinal. We define an ordinal that is the smallest ordinal that can't be constructed using this set using addition, multiplication and exponentiation, which turns out to be an infinite tower of omegas which is epsilon naught. This is Phi(0). We then add epsilon naught to the set and ask what the next ordinal is that can't be created using the set which is epsilon one, so Phi(1) = epsilon one. This continues on, but the function gets stuck at an infinite nesting of epsilons. To bail us out, we can plug Omega into the function and get zeta naught. We continue in this way bailing out the function with constructions of Omega when it gets stuck to reach larger and larger ordinals. Psi(Omega) = zeta naught, Psi(Omega^2) = Eta naught, Psi(Omega^x) = Phi sub x, Psi(Omega^Omega) = Gamma naught, and Psi(Omega^Omega^omega) which is the small veblen ordinal, is roughly on the scale of TREE(3). If you want an in depth deconstruction of this, it's on my channel, just search Giroux Studios.
I don’t understand the visual illustrations for TREE(3) at 6:53. Any of the two blue seeds in the 4th example have a green seed as a common ancestor but in the 3rd example two blue seeds have a green seed as a common ancestor. In the 5th example two blue seeds are connected, but we see not one, but two cases where two blue seeds are connected in the 4th example. In the 6th example there are three blue seeds linked together in the same way as we see in the 4th example and the blue-blue-green-blue pattern on the right is exactly the same as the right pattern in the 5th example. What is it that I’m missing?
There's two things: First off, an entire tree must be contained. Having a part of a previous tree contained is not the issue so just because one tree contains two connected blue seeds doesn't mean any future tree can't contain two connected blue seeds. Second, it is about the NEAREST common ancestor. Yes any pair of blue seeds in the fourth example have a green seed as an ancestor. But that wouldn't be the nearest one, instead it would be the lower one of the two blue seeds themself as that one is already an ancestor to the other one. This might be a bit hard to put into text form for a YT comment and for a relatively short video it would of course be difficult to go into a lot of detail on this. Though if you want Numberphile went into some more detail during their video on Tree(3).
Am I mistaken, or are the greater than signage in the last section flipped? Regardless, this was a very informative and well-made video! Thank you for the lesson!
its so crazy that 3^^3 is already unimaginably large yet it goes up another 2 magnitudes of crazy before we even get to g1, which is in a whole nother universe of insane
Now what is the inverted function. Addition has subtraction, multiplication has division, exponents have square root (for x^2) and logarithms (for 2^x), what does tetration and above have?
The only difference in this video was that g1 (hexation) was defined here as g0, and g2 (the thing with so many arrows we can't write it down) was defined as g1. The principles are still the same.
@@TheSpotify95 - The principle's the same, but it still matters if it's literally wrong, especially THAT wrong. That's like saying that a google is 1 followed by 99 zeroes. Sure, you're close conceptually, and may still make your point, but you're literally giving the wrong definition of something with a very clearly stated and well-known definition, and you would fail by putting that answer on any test.
Well, these hyperoperations can create different levels of infinity. For example, infinity by itself is just a continuum of self-addition, which is one, and if we were to add 2 infinities, since they’re concepts, some say it will still be infinity, however, it will lead to a 2x greater growth-rate, making a continuum of 2+. Next is multiplying infinity by infinity, which is an entirely different level, as it grows past the first operation, since it is infinity plus itself continuously. Next is the exponential growth of infinity, in which it is now infinity multiplied by itself continuously, this exponential infinity far exceeds other infinities. Then we have tetrational infinity, pentational infinity and etc. These are basically like dimensions as it builds upon each other, and transcends it entirely. Infinity = Continuous self-addition (n+n+n…). Multiplication Infinity = Continuous Self-Multiplication (♾️+♾️+♾️…). Exponential Infinity = Continuous Self-Exponential (♾️*♾️*♾️…). And etc. With the biggest one would be this: ♾️↑↑↑…♾️, which is what I call: Hyperoperational Infinity, in which this entire operation would be similar to an inaccessible cardinal, as no other infinity within can outgrow the operation. This is also how we can set different infinities, which by their growth rates.
I like how mathematicians see it as a game to come up with ever larger numbers without using existing ones (obviously you can always say “n+1” for every n thrown at you). Rayo’s number was a bit of a cop out b/c it’s basically just “the largest number you can ever come up with under the rules” but not constructive at all.
Rayo's number is like saying "the biggest number you can define on a big piece of paper", but nobody knows how it would actually be written. And all of the other "big" numbers like TREE(3) can be defined on a much smaller piece of paper. So yeah, it's a bit of a cop out.
@@tom-lord Graham's number was actually used in a proof as upper limit, of course you can always build bigger towers, use more arrows etc. There's some short computer program that prints out a number larger than TREE(3) but smaller than Rayo's, and the cool part is how to prove it actually stops.
What amazes me is that Kruskal was able to prove that TREE(n) is finite for any n, even though TREE(3) is so large that we can't even begin to compute it using any kind of recursive function. The closest we can come is using recursive calls of the weak tree function, but even that is so powerful that we can't begin to compute it: tree(4)>G64, but the innermost calling of the weak tree function for a lower bound on TREE(3) is tree(7), and then, the result is used as the argument for 7 more layers of the weak tree function, and then that result is iterated into the weak tree function tree(n) times for four more layers. Moreover, TREE(3) is negligible in comparison to TREE(4).
I loved that moment from numberphile, when they mentioned the information density limit. You physically can't remember these insanely large numbers- because in the process your brain will inavitably collapse into black hole.
3 hexation 3 is a mathematical operation that belongs to the hyperoperation sequence. It is also known as hexation and is the sixth operation in the sequence. The hyperoperation sequence is an infinite sequence of arithmetic operations that starts with a unary operation (the successor function with n = 0) and continues with the binary operations of addition (n = 1), multiplication (n = 2), exponentiation (n = 3), tetration (n = 4), pentation (n = 5), hexation (n = 6), and so on. The hexation operation can be defined recursively in terms of the previous operation, pentation, as follows: a ↑↑↑↑↑↑ b = a ↑↑↑↑ (a ↑↑↑↑↑↑(b-1)) where a and b are positive integers. For example, 3 hexation 3 can be calculated as follows: 3 ↑↑↑↑↑↑ 3 = 3 ↑↑↑↑ (3 ↑↑↑↑↑↑(2)) = 3 ↑↑↑ (3 ↑↑(3 ↑↑(3 ↑↑(3 ↑ 3)))) = 3 ↑↑ (3 ↑^(4) 27) = 3 ↑^(5) 7,625,597,484,987 Therefore, 3 hexation 3 is equal to 7,625,597,484,987.
Sure! As I mentioned earlier, Graham’s number G63 is equal to 3 ↑↑↑… (with 63 arrows). To express this number in scientific notation, we can use the following steps: Convert the number to decimal notation by writing it as a power tower of 3’s: 3 ↑↑↑... (with 63 arrows) = 3^(3^(3^(3^(3^(... (with 63 threes) ... ))))) Count the number of threes in the power tower. In this case, there are 63 threes. Subtract 1 from the number of threes to get the exponent of the scientific notation. In this case, the exponent is 62. Write the significand or mantissa by dividing the original number by 3 raised to the power of the exponent: 3 ↑↑↑... (with 63 arrows) / (3^62) = 1.611... × 10^19728 Therefore, Graham’s number G63 expressed in scientific notation is approximately 1.611 × 10^19728. I hope this helps! Let me know if you have any other questions.
@@alvintuffing You are so horribly wrong. 3 hexation 3 or (3↑↑↑↑3) is not even close to 7,625,597,484,987. 3↑↑3 is 7,625,597,484,987. ↑ doesn't start as addition, but as power. 3↑3 => 3*3*3 => 27. Therefore 3↑↑3 => 3↑3↑3 => 3↑27 => 7,625,597,484,987. And Grahams number is much larger that 1.611 × 10^19728. You are either some kind of AI or you just didn't understand how this operation works.
From 7:26 all the greater-than signs (">") should be pointing in the other direction ("
🐊
Nice ur a googology fan, been working on many projects for 7 yrs now!
Your good im happy when i get a b on my algebra honors two tests
💀
it still amazes me to think that if you were to pick a random positive integer the chance that it's bigger than Graham's number tends to 100%.
Yeah infinity is just that big lol
The idea of generating a completely random positive integer seems bizarre to me, because no matter what result you get there should be a 100% chance that the number generated should've been bigger, since there are always infinitely many more integers larger than it but there must be finitely many smaller than it (otherwise you don't have an integer; all integers are finite).
If you generate 3 such random numbers, does each have to be bigger than the last? It should be a 100% chance right?
What if you look at the third number first, and then look at the second number you generated? There should now be a 100% chance that it is bigger than the third...
I don't think the concept itself makes sense.
to “pick” a random positive integer it needs to first exist. The irony of this is functionally speaking the chance that its bigger than graham’s number is ZERO
@@cc1drt The probability of an action resulting in a certain outcome being 0 also requires the action to be completable. So really the probability is not 0, but "NA" (Not Applicable - as in the question can't be answered)
@@randomaccount2448 If it were at all possible, you would be guaranteed to pick an integer, because you only have integers to pick from. You can't pick something that isn't in the set.
Tree 1: 1
Tree 2: 3
Tree 3: Unimaginably huge number beyond the realm of human comprehension
lmao
What about Tree 2.5: ?
@@dough9512undefined
41 seconds in got huge numbers
A matemática é incrível 😍
Even though TREE(3) completely dwarfs g63, I love Graham's Number because you can somewhat appreciate just how insanely massive it is when you express it in terms of how many 3s and exponentiation towers exist even just in g(0). In comparison, the tree function is like... "Yeah here's some confusing rules, we go from 1, to 3, to practically-but-not-quite forever"
Fax
Personally I prefer TREE(3), since it's based on relatively simple rules that are able to bloom into such a big number without touching the infinity.
@@Vhite my issue with TREE(3) is that you can say it's larger than Graham's number, but there isn't really an easy way to show it, so the default answer is "believe me bro".
@@alexandertaylor7316
Well, THREE(3) is demonstrable, but you basically need a math PhD... So it is indeed "believe me bro" for at least 99.999% of everybody.
On another topic, I dare say, mathematicians overthink waaaaay too much...
@@user-je3sk8cj6g 3(3)
The fact that its easier to imagine infinity than a really big number is insane. Its easy to know infinity goes forever but its almost impossible how big would a pile of 7 tetrated by 7 number of apples
because you don't imagine infinity, you imagine something that doesn't end
It's close but not the same, it help to understand what it is but you don't imagine it
Anyway human brain is bad with big number. And it doesn't have to be this big before the brain goes "yeaaaah something like that maybe, doesn't matter when it's this big"
Just imagining a 20km thing is hard as heck. You can try to picture it next to thing that size but it's already to a point where the only thing we could compare to are pictures made from the sky
And it's downright impossible to understand how big are the earth, the sun or the solar system.
Very small number aren't easier tbh
This makes no sense; infinity is not 'imagining something going on forever.' First off, you cannot imagine that, because all you are doing is imagining something going, then ceasing to imagine that, so you haven't gotten anywhere close to imagining forever, and lastly, infinity is an infinitely large entity, not a 'process that keeps going.'
So you are so terrible at imagining infinity that you have fooled yourself into thinking you could more easily imagine infinity than a really large number, which only speaks to the fact that imagining infinity is far harder than imagining any finite number, no matter how large.
@@pyropulseIXXIfound a pseudointellectual! infinity is definitely easier to imagine than tree(3). infinity is easy, it's infinity, and basic logic that we take for granted stops working there. everyone knows that, simple. but with numbers like tree(3) there isn't anything fundamentally different bewtween them and say, 31. they're both just positive integers. but the scale pf tree(3) is so unimagineably massive, that it becomes easier to think about it as just being "basically infinity" dispite having much more in common with integers that we use every day than with infinity. and that there's the rub. we think of tree(3) as being equivilent to infinity, because that concept is easier to comprehend than tree(3)'s true size.
Hello there! I think the reason Infinity is easy to understand, is down to the basic understanding we have on the concept of Infinity. We may know it as "never ending", but once you start building up your foundation from there, contradictions start appearing everywhere. But then you realise the exact same thing can be said for TREE(3) or g(64). In conclusion; we might have a better understanding of these large numbers than Infinity. I hope you can see my view, and thanks for reading!
@@pyropulseIXXIinfinity is captured in a single axiom of set theory. Not so for TREE(3). With integers that large, it is extremely rare to find one that can be described as simply as TREE(3). The shortest description of most such numbers tends to be nearly as large as the number of digits required to express the number directly. We can define TREE(3) in far fewer characters only because it has a specific property; most numbers aren't so lucky.
Infinity is much easier to conceptualize.
The best exposition I've seen so far on large numbers with precise descriptions and excellent graphics. The narrator's voice is perfect for describing mathematics in English. At university I always preferred maths lecturers who did not have English as their mother tongue - less fluff, focus on diction.
Oh yeah. I had an advanced linear algebra teacher from Zimbabwe. He was also the professor I went to when I was having a hard time in advanced diff eq. His diction was perfect but had a Bantu lilt to it. Also his favorite variable will forever be h. He pronounced it "hashe" long A. Dr. Ebiefung was sharp sharp and I learned a lot from that man.
This video felt like a combination of Numberphile’s videos on the topics, but with neat animation as visuals instead. Very well done
didnt think id see you here
@@megubin9449 we seem to all be getting recommended the same underrated math channel
It would be easier to just say it felt like a 3blue1brown video.
@@qwertek8413 yeah, but that wasn’t the first thing I thought of
Why do UA-cam views freeze at 301?
I never thought a number could scare me, but G1 is already so stupidly and mindbogglingly big that it does the trick.
What about g3^^^^^^3?
And when you figure that any upcoming number is practically so much bigger than the previous one, that it's just ridiculous!
Beware this vid can giv u a numberphobia
look up "busy beaver function"
g0 is insane
The Toddler's Theorem is the biggest number ever. "Your number, +1!"
Thats just the truth. TREE(TREE(TREE(TREE(3)))) < TREE(TREE(TREE(TREE(3))))+1. Toddlers are clever apparently😅
I do like how we can't write down Graham's number even if we inscribed a digit on every particle in the visible universe, but we do know what digits it ends in (last digit is 7).
How do we know that
@@sylencemouse1860 well every power of 3 ends in 1, 3, 9 or 7 starting at the zeroth power.
So as long as you can show that Graham's number is 3^(4n+3) or 3^(4n-1) then you know it ends in 7
Now I don't understand Graham's Number well enough to show that, but presumably, that is how it would work
much appreciated!! @@johnhawkins5314
@@johnhawkins5314 TREE^g63(g63) where the exponent acts like it does in sin^
@johnhawkins5314 I have a similar theory. Well stated.
Basically, math, patterns, observe and compare said pattern to which "power of 3 digit" each of the earlier phases of G would land on.
Then yeh......??
I find it funny how TREE(1) is 1, TREE(2) is 3, and TREE(3) is some ungodly huge number.
YEAH IKR
A perfect example of, "Boy, that escalated quickly."
And tree 4 is your weight in tonnes
Imagine tree 4
I didn't understand that tree number 🧐
I love this video - explains complicated topics extraordinarily simply. Would love a part 2 covering even bigger numbers :)
lol says you, at 1:50 my brain turned off and i didn't catch anything past that
Geometry Dash reference?!
*what do I expect*
hi aerma i like your gd lore video
I get that the TREE concept is a bit hard to describe, but I feel like some semblance of how we know it is finite yet much larger than Graham's number would have been appreciated.
The problem with trying to explain it is that the explanation itself requires a much deeper understanding of mathematics than it seems. I'll go on a -slightly- pedantic rant and then try a metaphor to explain it anyway, and apologies if at some point this comes across as condescending. It's not, I'm just trying to _really_ make it as simple as possible. Apologies also to whoever this oversimplification might offend.
To most people, mathematics is just another science subject out there, but the reality is that it goes so deep and is so vast as to, in my opinion, be larger than all the other subjects (physics, chemistry, engineering...) combined. The mathematics taught at highschool level feels comparable to learning to say Ni hao, which is "hello" in Mandarin and Cantonese, and calling that being fluent in all the Chinese dialects. A lot of the proofs out there, even for things that seem like they should be "easy" to talk about, require a completely different dialect of mathematics to talk about. You need to peel it back to the abstract logic and go from there. An example of one such dialect (first order logic) would be the following sentence: ∀x ∀y ∀z x ≤ y∧y ≤ z → x ≤ z (for every X, every Y, every Z such that X is smaller than Y and Y is smaller than Z, it follows that X must be smaller than Z). It expands the concrete analysis of, say, an equation, to an abstract observation about variables without worrying about what those variables actually are.
For this specific problem of the TREE function, we need to take another step back into second order arithmetic, which is used to further expand and talk about some properties and relations between mathematical objects. For instance, the sentence ∀P ∀x ( Px ∨ ¬Px ) would fall under this category (for every formula P and every variable X, either that formula with that variable is true, or _not_ that formula with that variable is true). It is within this dialect of mathematics speaking about properties of objects that we can construct a proof both that the TREE function is finite for any finite values passed to it and that TREE(3) is much, much larger than Graham's number.
Rant and semi-formal explanation over, I'll put it in software terms, which bears striking resemblance to mathematics on many levels but is much easier to grasp:
Picture a random mechanic in a random videogame that you can toy around with, familiarize yourself with and learn to use (can be something as simple as jumping). But to know _how_ and _why_ it works the way it does beyond "press this button and it jumps", you need to learn the programming language it's coded in, and go dive into the code. And then you might realize that just from the code you don't fully grasp how it does what it does, and you need to actually _learn how the programming language itself is built_ and go almost all the way down to how the machine functions at a physical level in order to know how the actual code works, and only then fully understand the mechanic. TREE(3) is one of these mechanics, it's concept is very simple, but to actually know how and why it works the way it does you need not only to look at the code, but know how the programming language it's coded in works itself. Those would be first and second order arithmetic, whilst playing the game is just regular math.
@@Z3nt4 hmm fair enough. I'm confident I can understand a real explanation, but if it would be exceptionally long winded and too hard for most, that might explain why he didn't put it in. I can read your statement of the transitive property by the way. :-) do you know of a video or paper that explains it properly?
@@mike1024. A proper explanation (which I'm not privy to) requires some deeper undestanding of graph theory, in which I am no expert and don't necessarily know of any readily available resources on the topic. However, if you're set on going down the rabbithole I guess you could start by looking up Kruskal's tree theorem and working your way back from there (which is NOT trivial by any means).
The massive TL;DR is that under graph theory you can prove that any tree (the mathematical object 'tree') of the same type as the ones built through the TREE function must be finite. How one would go about proving that in the first place is beyond me, but that's the tool for the job.
@@Z3nt4 I'll play around with it! I've taken a couple of graph theory classes and seen some tree based proofs. Thank you.
Here's a way to put it in scale, brak an atom in half and get a hydrogen quark, an unbelievably small substance, fill the entire observable universe with those quarks and were about 0.0000000000000000000000000000000000000000001% of grahams number, lets shrink this quark filled universe to the size of a quark, then fill the universe up with it, repeat this roughly a million times and chances are, your number is still smaller the tree(3) by ALOT, when i say alot, I mean you can divide tree(3) by the amount of atoms in this universe and itll still be higher than the extremely densely packed universe
This probably didn't help
The general way to construct enormous numbers like this is:
1. Pick a HUGE ordinal. You have to be able to prove that it is well-ordered, so it can't be infinite, it should be recursive.
2. Make a function based on thay ordinal.
Ordinals are complex subjects, but necessary at the "basis" of mathematics (which is not an important part).
For every concrete rule to create ordinals, there is a unique ordinal that can't be created with this rule.
Graham's function doesn't use that big of an ordinal, since its definition is very straightforwards. The ordinal should even be described by Peano axioms.
But the TREE function uses the small Veblen ordinal. That is quite a big ordinal.
Please do a video over your fascinating comment.
doesn't tree use buchholz's ordinal?
@@0x6a09 i thought it used ackerman's ordinal..
@@MyOneFiftiethOfADollar I recommend this series: ua-cam.com/video/LsQR2gHQYUc/v-deo.html
Specifically Part 9 goes over the Veblen ordinals
@@0x6a09 Wikipedia says that the small Veblen ordinal is used, on both the page about Krustal's tree theorem (the reason why TREE exists as a function) and on the page about the small Veblen ordinal.
Finally, a good way to measure the ratio of chips to air in a lay’s packet of chips.
1:Your Mom's Weight
The number of years your dad's gone for milk
2:Your weight
3: the unoriginality of these insults
4:what am i doing here
Just so you know, you just explained exponentiation better than literally every teacher I have had up until now in less than 30 seconds
I'm 9 and my IQ just bumped up to 217 what the h-
@@doritoheadrobloxmy sister is 8 and she can’t read or write , all she do is waste time on TikTok and be edgy 💀
@@doritoheadrobloxmy sister learned exponentiation when she was 4
I mean, how hard can it be to understand what exponentials are lol
@@ArcaneTricksterRS it isn’t hard but the video explains it with its roots, yk
This is mind-boggling in so many tree levels
I see what you did there😎
Cant even comprehend level 0
@@Mountain_2Gotta be in 4th grade.
That's why I hate it when people so recklessly use infinity as a number to count with. Infinity is way bigger than any of these numbers. Infinitely bigger. In fact, tree(3) n-ated by tree(3) where n=tree(3) would still be infinitely smaller than infinity. Which is why it's pointless. They say "infinity+1 is bigger". I say it's not, infinity already contains infinity+1 and infinity+infinity and infinity power infinity, and tree(infinity). It's not limited with any finite answer so assuming anything may be bigger is just illogical. But it's easy to imagine. A perfect mathematical circle has infinite sides. All possible trees in the palm of your hand.
@@RedGallardoThe more you think about, the less infinity seems like a number and more like some incomprehensible eldritch horror from another dimension.
And still, all of them are closer to zero than infinity
Shower thoughts be like:
actually, Infinity is NOT a number you can be either closer or further away from. Infinity is a concept for something that doesn't HAS NO END. something without limit. The real numbers are infinite, because they never end.
@@PraiseChristTheGodtrue but they are the smallest infinity. And there are infifnities much bigger.
@@PraiseChristTheGod By definition, every number is closer to zero than infinity. In the universe of the pure mathematics (like Platonism), (♾️ᐨ) through (♾️ᐩ) are necessary for almost every branch of maths.
**I didn’t know Platonism was a word until I read the definition of Platonic😂
@@PraiseChristTheGodYes infinity is minus maximum to positive maximum
Took a test one year that had a question about a card game and it asked about the number of possibilities. My answer ended up being 2 tetrated up 100 times. I’d never seen tetration before but I was super proud of finding the answer.
What is the card game that has that humongous amount of possibilities?
Please share the question
Thirded, would love to see the question!
fourthed
graham's numbered
People like you are able to make math more interesting 👍
if you understand math in the first place, that is
This video is severly underated
@@solanaceousnuh uh not the video only the guy who made it is also underrated
but only finitely more interesting. Maybe around the factor TREE(TREE(3))
math is more interesting on its own; what you just admitted is that you are not interesting and need someone else to program your mind with ideas that are interesting on their own.
This guy is not making math more interesting; he is literally just talking about the math, and the math is interesting on its own. I am amazed at people such as yourself
I feel like I don’t know anything now
I like your explaination of the TREE function, much more easy to understand on a basic level!
nice BTC pfp
7:41 You need to swap the > signs for < signs.
Yes lol, I was wondering about this too
The pinned comment already says about that
Exactly
Also 7:27
Less than a minute into the video and things got out of hand!! Amazing video and explanation.
I can personally attest to the fact that tree(3) is a large number because I stayed up all night with pens and paper testing it by drawing trees and I never came to the end. I had well over 400 trees drawn in that time and didn't seem to be near the end of possible trees. I fell asleep and dreamed of trees combinations.😮
a true scientific mind! Don't take things for granted, proof is required :)
Wow! I really respect the dedication 🫡
Nice. Keep going.
I still don't quite understand the rules on how TREE works. What does "not embedded in previous tree" mean exactly?
@@thesenate1844you cannot steal the tree
I don't think that we would even have colours for the seeds remaining for TREE(TREE(3))
TREE(TREE(TREE(3))
After TREE(3,600,000), We would run out of humanly distinguishable colors.
After TREE(16,777,000), We would run out of RGB 32-bit colors.
The limited resources of this universe can not accomodate a representation of this number... But, although colors in the visible spectrum are finite, there may be no ceiling to how much energy a photon can pack... Neither a lower limit on how low the photon's frequency is possible. So, whether we'll run out of colors is questionable, we would run out of energy faster.
P.S: if you want to destroy the universe, task an AI singularity with calculating every TREE(TREE(3)) tree. Tell it not to stop until it got the answer.
@@MatthewConnellan-xc3ojSSCG(3.6m) perhaps?
@@MatthewConnellan-xc3ojAfter TREE(TREE(TREE(....... we would run out of TREES cause we used too much paper to write them on papers
0:00 Succesion (adding 1 to a number)
0:07 Addition (repetition of Succesion)
0:14 Multiplication (repetition of Addition)
0:23 Exponentiation (repetition of Multiplication)
0:34 Tetration (repetition of Exponentiation)
2:37 Pentation (repetition of Tetration)
3:16 Hexation (repetition of Pentation)
3:37 Starting to create Graham’s Number
4:16 Graham’s Number
4:53 Explanation of TREE(3)
6:35 TREE(3)
Thank you for taking these concepts and editing a video with visual proof with examples for all of them. This is some of the best work I've seen! Keep it up!
i gotta be honest... i finished your video and thought, "thats it?" i will give you credit, you are the first person to explain arrow notation that actually made sense to me. i just felt like all your video was is just saying, "hey there are some big numbers!" maybe next time explain the numbers significance a little better. grahams number in particular is very interesting because it relates to describing higher dimensional objects.
Finally...a way to mesure nikocado avocado's weight
There was a great thread on the XKCD fora back around 2010 where a bunch of nerds tried to outcompete each other for largest number without just incrementing previous numbers. The forums are gone now but I think TREE showed up by the third page and by the fifth someone had a number that exceeded the "largest number" yet discovered. I wasn't able to follow along at the time but this definitely helps. Now if only I could find that thread and try to understand some of the larger numbers...
E:NN(x) is x^^^^^…x with x+1 up arrows. I just thought of it.
And then you can just go on with E:NN(E:NN(E:NN(E:NN… to insane lengths.
Yeah I think the largest numbers used some technique where they turned infinite numbers into mind bogglingly big non-infinite numbers somehow
@@MatthewConnellan-xc3oj E:NN(x) = x^...x+1...x
E:NM(x) = E:NN(E:NN...x)))...) with x nestations of the E:NN function onto x
E:NM2(x,y) = same nestation on E:NM, with y nestations.
I remember that thread from XKCD, it was an epic thread with hundreds of posts. After studying the math for quite a while I was able to understand most of it. That thread got me deeply into large numbers for a couple of years. I made about fifty pages of notes on large numbers, including a couple dozen of the numbers listed on that thread.
Wrong video at 5 o'clock after waking up.
It just obliterated my brain...
So I like incremental idle games, they give big numbers and oftentimes feel trivial when you look at the next milestone. That is what Tree(tree(g63)) feels like. Its what silliness do I have to accomplish to reach that number.
Love the video keep up the good work.
Great video, one of the best I've seen this week! Love big numbers
Inifity always seemed magical to me. When I was a little child, I used to cry when trying to conceptualize the fact that the Universe (might) be infinite, or the sheer fact that there is not a "final number", and that things can always be bigger. I was overwhelmed by this as if I were an old archeologist beholding a non-euclidean Eldritch abomination from a parallel dimension in a Lovecraftian tome.
As of today, mathematics is one of my favorite subjects, even though I was terrible at it at school. Finding this channel was like finding a precious gem!
I had come to terms with infinity, that there is no end. I had not come to terms with how insanely large finity could be!!
When I was little I also thought things like that, about how we are the only thing that exists.
There is nothing after death there is no way to escape since this is the only thing of the only thing.
I was a weird 8 year old kid.
same. I think there should be maths appreciation at school where we get taught cool shit about what maths can do but don't actually have to do any sums. like I can appreciate sports without having to jog you know!?
0:07 he made addition and multiplication look unimaginably difficult
Math teacher: Please find the next term of the sequence: 1,3,…
People who know the game of trees: 😢
844,424,930,131,960?
@@__________________________hi52you know that’s fathomable
@@EdithKFrost nah its, uh, i think i forgot.
@@__________________________hi52 this is more than G(G(G(G(G(G(Graham's number))))))
@@__________________________hi52WEAK TREE FUNCTION I THINK
There's one thing I don't understand about tetration: the exponents do not follow the power of a power law (a^m^n = a^mn). At 1:03 we have 3 tetrated to the 4th which is equated to 3^3^3^3, but by the power of a power law that latter value is equal to 3^(3*3*3)
That's because doing something like (a^m^n) using the power law means you're just bundling it into a single exponentiation term. With tetration of a number, you have to start at the top of the tower and work your way down - that's how the larger numbers are built as you're defining a new concept/sequence.
So 3^3^3^3 = 3^(3^(3^3)), noting the brackets to determine order. This then works out to be 3^(3^27), or 3^(7.62x10^12), or three to the power of 7.62 trillion.
@@TheSpotify95 Thanks.
This is the first time I heard about the operation of level >=4. Thank you for enlightening me.
I've been asking this question for a year. Love the style and narration. Instant Sub
it took you a year to not learn, yet keep asking, a question that a literal 6 year old could figure out on their own in less than 12 seconds
@@pyropulseIXXI I discovered power towers on my own, essentially tetration and I learned of Graham's number, but didn't understand it. I never knew it was actually called tetration until now, nor the official notation. But you sir, have had a difficult day, to be sure. I am deeply sorry for any stress in your life, and I want you to know that there are so many people who love you; and they still love you, even if you write snarky comments on UA-cam.
This is a good video, but one problem I have is that whenever anyone is explaining how big TREE(3) is, they explain the rules of how it's generated, but they never say how they know it's so huge. It basically boils down to "trust us... it's REALLY big". How do they know it's bigger than Graham's Number? What kind of mathematics do you use to show this--obviously not "trust me"!
i think the same
The finiteness follows from Kruskal's tree theorem. It's not something that can be explained in a youtube comments section.
@@yxx_chris_xxy I figured it was something quite complex, but all of the youtube videos I see on it have dumbed it down too much. Maybe you could do a video at least explaining Kruskail's tree theorem, in simplified terms, and at least allude to the techniques used to compare two gargantuan numbers like g(64) and TREE(3).
Graham's Number is G64 not G63. G1 is 3^^^^3 not G0.
7:48 Even though it is incredibly massive, It doesn't come close to SSCG(3), SSCG(4), SSCG(5), and SSCG(SSCG(3)).
BB(19)
Or even rayos number towers over those numbers
This video blew up - and for good reason! This explains giant numbers very well. Thanks for the video!
Wow, this was a super clear explanation.
Thanks for sharing this knowledge! 🧠💡
Exponentiation = 3^3 = 27
Tetration = 3^^3 = 7.6 trillion
Pentation = 3^^^3 = 3^^7.6 trillion = 3^3^3^3… 7.6 trillion times!
I cant wait for the octation update!
Me too
Then there's penatration
I wonder how big it could be or such just end at 6 inchs
Hexation
Hexation
Octation@@Raj10896
underrated comment
Mathmatitions don't know about that one
after that, there is migration
When u have completed 3 semesters of calculus but are still very scared right now
Love the LEMMiNO music
The highest one actually is called penetration but I doubt any mathematician's ever experienced it or used it
Damn
Good one
How does "penetration" work?
All log, no pi.
@@JonCombolmao
anime vilains explaining how much times stronger they are from the protagonist
Before this I just watched a video about tetration. This completely blows my mind
One of these days I pray to see someone finally explain Large Number Garden Number. It’s the current largest number and no matter how much I read about it, I still feel like I don’t understand it fully.
It’s best to think of uncomputable numbers as diagonalizing over the process of creating functions itself.
its not exactly the largest number, but it is the largest well-defined number.
I just made a larger number: Large Number Garden Number + 1
@@ieatcarsyum8248hahaha large garden number+2
What's that? I don't study complex math, so I've never heard of it.
I'd love more treatment of the tree function. I don't quite understand how it can get so big. Maybe going further with many examples of how it can grow. Also, is there an equation for it? (I assume there is, and bet it has factorials.)
x! grows slower than x^x which doesn't even come close to tetration. The levels of recursion required to represent a number as large as Graham's number (let alone TREE(3)) go well beyond factorial.
@@samcertified7178and (x!)! Grows unfathomably fast...
1!! = 1! = 1
2!!, same thing
3!! Though...
3!! =6!
6! = 720
Factorial world be great great great great grandkid when compared to those Pappas
I struggle to get my head both around that and also hoe if tree 3 is so big tree 4 or tree 1000 are still finite.
@@gareth2736eventually you will run out of trees because of previous trees
Crazy stuff, thank you so much for sharing, very insightful and interesting.
It’s fascinating that these numbers are so big that computation with them is impossible, since even ^4 3 is greater than the number of Planck volumes in the observable universe.
Your video is awesome ! It’s very well done in the details !
Why im seeing ya in all vids now LOL
hi mathis, found ya
Mathis! Of course we can keep on going after omegafinruom right?
Yo fictional gogology
Nicely explained tetration and higher operations. I always get confused thinking about them.
Small critique, at the end you use the greater-than symbol > wrong which can lead to confusion
Yes, they should be ">". Sorry for the mistake.
@@digitalgenius111 you did it again XD
@@digitalgenius111
@@ChrisMMaster0Chat-GPT be like
The fact that the number of real numbers between 0 and 1 is way laaaarger than any of the numbers discussed here is creepy
Seems like you found a good way to imagine infinity, if it’s giving you the creeps.
how stupid; there is no finite amount of real numbers between 0 and 1, so this is utterly obvious and not creepy at all
@@pyropulseIXXI< I have to be an asshole on the Internet for no reason whatsoever.
Good thing that maths is a close imitation but fundamentally an imitation of reality irrespective of it's unreasonable utility in bits and bobs and things that make you go hmmmm. 😊
But maybe yeah I'm more than likely wrong maybe maths is the only thing that's real and it's reality that's the charade
For heptation and up, we use {} symbol. This means number like 10^^^^^10, will written as 10{5}10 to represent it instead of using too many arrows
Minor nit - on the last slide, the Greater signs you use are inverted, you mean to say that Tree(3) is greater than g(1000) but it shows g(1000) > Tree(3), and than tree(3) > tree(4). I think it's clear when you listen to the audio, but someone watching it with no audio will be very confused.
Mind got blown again, just realized these operations can probably be done inversely. So then, Super-roots and Super-logarithm would exist.
This is so interesting, thinking that such big no.s could exist is mind boggling.also I was super excited to hear cipher here 😅.
You can see here, the limitless possibilities of math, otherwise known to mathematicians as "fuck it, more"
Mind blowing when you consider that it's not possible to even store such a number physically, even if each digit only took up a single Planck unit of space.
Thank you, so much
This is how I learned about hyperoperations. My symbols that I use are right isosceles triangles that split down from the 90° angle right in between each. My symbol for Succession is an outline circle.
such inefficient notation
@@pyropulseIXXI I know
1:32
Expressions like this are usually said to be undefined since the only realistic way to get an infinity is to be calculating a limit (infinity not being a number), so the 1 may be a limit as well, in which case the way you got to one would determine the result - it is not always 1.
e.g. (1+1/n)^n as n --> inf gives e, not 1 as the expression "1^inf=1" would imply, even though the exponent tends to infinity and the base tends to 1. So in this regard we cannot define 1^inf=1, and you'll run into similar problems with tetration.
Nesting TREES and putting g64 as the base integer is absolutely fucking insane and I love it. And even then, it's still infinitely closer to 0 than to infinity. Wild.
It's really difficult to get an intuition for how big TREE(3) is if you only have Knuth up arrow notation in your tool box. In the fast growing hierarchy, grahams number is on the order of f_omega+1, and if we continue to build larger ordinals to stick into the fast growing hierarchy, we exhaust omega by reaching an infinite tower of omegas which is epsilon naught, an infinite tower of that is epsilon 1, we can continue this and have other ordinals in the subscript of epsilon like epsilon sub omega, or epsilon sub epsilon naught, or even an infinite nesting of epsilons which is zeta naught. We can continue with an infinite nesting of zetas which is eta naught, and to avoid exhausting the greek alphabet we can move on to veblen notation in which epsilon naught is phi 1, zeta naught is phi 2 etc. We can create veblen functions with other ordinals as the argument like phi sub omega, and we can even have infinite nestings of veblen functions which is gamma naught, it then moves on to extended veblen notation which is messy so I switch to using infinite collapsing functions. Infinite collapsing functions define a very large ordinal that "collapses" to a well defined one when put into a function. We have a set that contains {0,1,omega, Omega} where Omega is our large ordinal. We define an ordinal that is the smallest ordinal that can't be constructed using this set using addition, multiplication and exponentiation, which turns out to be an infinite tower of omegas which is epsilon naught. This is Phi(0). We then add epsilon naught to the set and ask what the next ordinal is that can't be created using the set which is epsilon one, so Phi(1) = epsilon one. This continues on, but the function gets stuck at an infinite nesting of epsilons. To bail us out, we can plug Omega into the function and get zeta naught. We continue in this way bailing out the function with constructions of Omega when it gets stuck to reach larger and larger ordinals. Psi(Omega) = zeta naught, Psi(Omega^2) = Eta naught, Psi(Omega^x) = Phi sub x, Psi(Omega^Omega) = Gamma naught, and Psi(Omega^Omega^omega) which is the small veblen ordinal, is roughly on the scale of TREE(3). If you want an in depth deconstruction of this, it's on my channel, just search Giroux Studios.
Dang bro
ah, yes, i know some of those words.
Sir, this is a youtube comment section.
People on the internet are not going to understand bro don't bother explaining FGH to them.
You know all that, but you don't know how to use paragraphs
0:02 So, would subtracting 1 be called "Failure"?
Lol. Fr tho, it’s predecessor
I don’t understand the visual illustrations for TREE(3) at 6:53. Any of the two blue seeds in the 4th example have a green seed as a common ancestor but in the 3rd example two blue seeds have a green seed as a common ancestor. In the 5th example two blue seeds are connected, but we see not one, but two cases where two blue seeds are connected in the 4th example. In the 6th example there are three blue seeds linked together in the same way as we see in the 4th example and the blue-blue-green-blue pattern on the right is exactly the same as the right pattern in the 5th example.
What is it that I’m missing?
There's two things:
First off, an entire tree must be contained. Having a part of a previous tree contained is not the issue so just because one tree contains two connected blue seeds doesn't mean any future tree can't contain two connected blue seeds.
Second, it is about the NEAREST common ancestor. Yes any pair of blue seeds in the fourth example have a green seed as an ancestor. But that wouldn't be the nearest one, instead it would be the lower one of the two blue seeds themself as that one is already an ancestor to the other one.
This might be a bit hard to put into text form for a YT comment and for a relatively short video it would of course be difficult to go into a lot of detail on this. Though if you want Numberphile went into some more detail during their video on Tree(3).
Am I mistaken, or are the greater than signage in the last section flipped?
Regardless, this was a very informative and well-made video! Thank you for the lesson!
they are
I love how you make adding 1 to a number so complicated
This is a little too easy, but I have ask "what is the smallest large number that ONE can imagine"?
The same thing but negative
Well, what is a large number?
It totally depends upon the person.
@@datguy3333 problem with that reasoning is -1 > than all other negative integers
I\♾️
5:11, Remember about rule 2? Apparently, The 4th tree is not legal. Because, the 1st tree was 1 yellow seed, but the 4th tree contains A YELLOW SEED!
its so crazy that 3^^3 is already unimaginably large yet it goes up another 2 magnitudes of crazy before we even get to g1, which is in a whole nother universe of insane
4:18 it goes to g64, not g63...
Since he started it off with 3↑↑↑↑3 as G0 it makes sense in this video
If he had started off with 3↑↑↑↑3 as G1 then it would be G64 instead of G63
Now what is the inverted function. Addition has subtraction, multiplication has division, exponents have square root (for x^2) and logarithms (for 2^x), what does tetration and above have?
Super root and super logarithm
@@big_numbers
What comes next after those? Super super root/logarithm? Ultra root/logarithm?
in bowers' exploding array function, g0 would be 3{4}3.
g1 would be 3{3{4}3}3.
g2 would be 3{3{3{4}3}3}3.
and so on...
Isn't graham's number g64? Either way, it's huge. You made a difficult concept somewhat easy to understand. Great video!
it's g64 if you define 3^^^^3 as g1, but in this video it's defined as g0
The only difference in this video was that g1 (hexation) was defined here as g0, and g2 (the thing with so many arrows we can't write it down) was defined as g1. The principles are still the same.
@@TheSpotify95 - The principle's the same, but it still matters if it's literally wrong, especially THAT wrong. That's like saying that a google is 1 followed by 99 zeroes. Sure, you're close conceptually, and may still make your point, but you're literally giving the wrong definition of something with a very clearly stated and well-known definition, and you would fail by putting that answer on any test.
@@rodjacksonxGoogol. Be precise when criticizing others about precision. 😉
@@Instructor876 - If you find that comparable enough to be worth mentioning, more power to you.
My friends describing when I’ll get a girlfriend:
makes inaccessible infinity seem even more unimaginable.
Very interesting. Awesome job!
It’s not hard to imagine the number at 1:23, it’s absolutely impossible for the human mind…
What makes it even more mind blowing that no matter how big of a number you get, it is always smaller than Infinity
Well, these hyperoperations can create different levels of infinity.
For example, infinity by itself is just a continuum of self-addition, which is one, and if we were to add 2 infinities, since they’re concepts, some say it will still be infinity, however, it will lead to a 2x greater growth-rate, making a continuum of 2+.
Next is multiplying infinity by infinity, which is an entirely different level, as it grows past the first operation, since it is infinity plus itself continuously. Next is the exponential growth of infinity, in which it is now infinity multiplied by itself continuously, this exponential infinity far exceeds other infinities. Then we have tetrational infinity, pentational infinity and etc.
These are basically like dimensions as it builds upon each other, and transcends it entirely.
Infinity = Continuous self-addition (n+n+n…).
Multiplication Infinity = Continuous Self-Multiplication (♾️+♾️+♾️…).
Exponential Infinity = Continuous Self-Exponential (♾️*♾️*♾️…).
And etc.
With the biggest one would be this:
♾️↑↑↑…♾️, which is what I call: Hyperoperational Infinity, in which this entire operation would be similar to an inaccessible cardinal, as no other infinity within can outgrow the operation.
This is also how we can set different infinities, which by their growth rates.
Thank you for finally explaining simply what an up arrow notation actually is, I've been trying to figure that out for a while:)
7:36 got you arrow the wrong way around.
Ok but what’s the point to compute/imagine such big numbers without any uses
100% of numbers between 0 and 1 have never been used
@@wedmundswouldnt it be 99.9999999999....9
I like how mathematicians see it as a game to come up with ever larger numbers without using existing ones (obviously you can always say “n+1” for every n thrown at you).
Rayo’s number was a bit of a cop out b/c it’s basically just “the largest number you can ever come up with under the rules” but not constructive at all.
Rayo's number is like saying "the biggest number you can define on a big piece of paper", but nobody knows how it would actually be written. And all of the other "big" numbers like TREE(3) can be defined on a much smaller piece of paper. So yeah, it's a bit of a cop out.
@@tom-lord Graham's number was actually used in a proof as upper limit, of course you can always build bigger towers, use more arrows etc.
There's some short computer program that prints out a number larger than TREE(3) but smaller than Rayo's, and the cool part is how to prove it actually stops.
@@magicmulder I meant Rayo's number. Typo, sorry.
What amazes me is that Kruskal was able to prove that TREE(n) is finite for any n, even though TREE(3) is so large that we can't even begin to compute it using any kind of recursive function. The closest we can come is using recursive calls of the weak tree function, but even that is so powerful that we can't begin to compute it: tree(4)>G64, but the innermost calling of the weak tree function for a lower bound on TREE(3) is tree(7), and then, the result is used as the argument for 7 more layers of the weak tree function, and then that result is iterated into the weak tree function tree(n) times for four more layers. Moreover, TREE(3) is negligible in comparison to TREE(4).
I would not have suspected that tree(3)>grahams number. That was genuinely surprising to me
So quick question…. Am I the only one that got totally lost after 2:00 … cuz like I have no freaking clue what happened after nor how I ended up here
Haven’t watched the rest but so far this part is kind of confusing to me cause I'm a student and haven’t learnt anything about "e" yet 😅
No u need help?
I loved that moment from numberphile, when they mentioned the information density limit.
You physically can't remember these insanely large numbers- because in the process your brain will inavitably collapse into black hole.
7:26 are the inequality signs backwards?
Yes they are, they should be ">". Sorry for the mistake.
All good love the video
@@digitalgenius111You did the mistake again lol
@@digitalgenius111
@@ze_kangz932😂
Then there's Vexation, where you repeatedly hit yourself in the head.
vexation is the 1,005 level hyperoperation (number derived from hebrew gematria of vex)
Didn’t realize the level below addition was right in front of my eyes, i’ve been thinking about it so much
3 hexation 3 is a mathematical operation that belongs to the hyperoperation sequence. It is also known as hexation and is the sixth operation in the sequence. The hyperoperation sequence is an infinite sequence of arithmetic operations that starts with a unary operation (the successor function with n = 0) and continues with the binary operations of addition (n = 1), multiplication (n = 2), exponentiation (n = 3), tetration (n = 4), pentation (n = 5), hexation (n = 6), and so on.
The hexation operation can be defined recursively in terms of the previous operation, pentation, as follows:
a ↑↑↑↑↑↑ b = a ↑↑↑↑ (a ↑↑↑↑↑↑(b-1))
where a and b are positive integers.
For example, 3 hexation 3 can be calculated as follows:
3 ↑↑↑↑↑↑ 3 = 3 ↑↑↑↑ (3 ↑↑↑↑↑↑(2))
= 3 ↑↑↑ (3 ↑↑(3 ↑↑(3 ↑↑(3 ↑ 3))))
= 3 ↑↑ (3 ↑^(4) 27)
= 3 ↑^(5) 7,625,597,484,987
Therefore, 3 hexation 3 is equal to 7,625,597,484,987.
Sure! As I mentioned earlier, Graham’s number G63 is equal to 3 ↑↑↑… (with 63 arrows).
To express this number in scientific notation, we can use the following steps:
Convert the number to decimal notation by writing it as a power tower of 3’s:
3 ↑↑↑... (with 63 arrows) = 3^(3^(3^(3^(3^(... (with 63 threes) ... )))))
Count the number of threes in the power tower. In this case, there are 63 threes.
Subtract 1 from the number of threes to get the exponent of the scientific notation. In this case, the exponent is 62.
Write the significand or mantissa by dividing the original number by 3 raised to the power of the exponent:
3 ↑↑↑... (with 63 arrows) / (3^62) = 1.611... × 10^19728
Therefore, Graham’s number G63 expressed in scientific notation is approximately 1.611 × 10^19728.
I hope this helps! Let me know if you have any other questions.
@@alvintuffing You are so horribly wrong.
3 hexation 3 or (3↑↑↑↑3) is not even close to 7,625,597,484,987. 3↑↑3 is 7,625,597,484,987.
↑ doesn't start as addition, but as power. 3↑3 => 3*3*3 => 27.
Therefore 3↑↑3 => 3↑3↑3 => 3↑27 => 7,625,597,484,987.
And Grahams number is much larger that 1.611 × 10^19728.
You are either some kind of AI or you just didn't understand how this operation works.
@@Lopolo28 Oh, I forgotten. Thx for correcting me.
@@alvintuffing 3(4)= 1.6× trillion number. 3(5) kill googlplex. Before to way (7.6 trillion) sorry my English.
So, 3 tetrated to 4, is the same as 3 penetrated to 3? Am I getting that right?
No 3 tetrated to 4 is 3^3^3^3 3 pentated to 3 is 3^^3^^3 or a tower of 3^3^3^3... wiff a lengf of 3 tetrated to 3
"3 penetrated to 3" lol
phrasing.
Thank you for your response, you both helped. It's that in the video they are the exact same number, which seemed unusual.
Me explaining my math teacher tetration:
Did you get it?
Did you get it?
Did you get it?
Bruh?
What?
Did you ask why it is used?
Its not.