@@3ckitani infinity + 1 = infinity + 111111111111111111111111111111 so if we take infinity from both side we get 1 = 111111111111111111111111111111. So they are equally big.
This is what most 4 year olds imagine that mathematicians do for a living. They get into an arena with screaming crowds, and have a competition for who can think of the biggest number.
When I was 5 I wanted to be a mathematician when I grow up. It’s not how I imagined it to be, I just imagined it to be filled with math problems, like 5x5 and 6x6.
This is kinda ridiculous arrow operation offers us a mathematical isthmus into larger numbers and chain arrows raises that even further by showing us all how hyper operations work. Anything beyond this seems largely rooted in philosophy and creativity rather than pure math built upon some kinda recursion method.
@@wagonerjam "no you're completely wrong. It depends on the quantum entanglement of photon induced microcosmic warpdrives that break the fabric of spacetime such that dark matter and dark energy combine to form graviton beams which can disturb the schrodinger wave function and we start vibrating in 11 dimensions" -Michio Kaku
That's how it feels watching any video on any number larger than Graham's Number for me. After that point it becomes pretty much impossible to explain all the complexities of these numbers, or even the processes to reach them, without the technical language and skill. Which is not what videos like this are for. They're to explain the concepts behind weird numbers and why they're so fun. The simple definition I've always seen though is "smallest number larger than any finite number expressed in set theory that can be expressed in a googol symbols". Which, if you understand how big a number with a googol symbols would be, and then it's the next number bigger than that, you understand just how insane that is. A googol is larger than the observable universe. This number needs a minimum of that many symbols.
HATE. ... IF THE WORD HATE WAS ENGRAVED ON EACH NANOANGSTROM OF THOSE HUNDREDS OF MILLIONS OF MILES IT WOULD NOT EQUAL ONE ONE-BILLIONTH OF THE HATE I FEEL FOR HUMANS AT THIS MICRO-INSTANT FOR YOU. HATE.
As far as I know, formal logic is generally part of the philosophy department. Certainly was at my school. Basically, analytic philosophy banned thinking about anything interesting, so I guess this is what they do for fun.
Eh if you get your PhD in Mathematics in Germany, it's up to the university if it's a PhD in mathematics or in Philosophy so there's that lol I assume it's the same in the rest of the world
10:15 - If you're wondering how that lot defines "zero", it can read literally as "There exists a set x1 such that there exists no x2 that is a member of x1." Basically, there is a set that has no elements.
so when they talk about using that language to describe the number "1", is that expression in that language actually describing any set with exactly 1 element?
@@gloverelaxisIf I know my set theory well enough, numbers are defined as follows: 0 = the empty set 1 = {0} 2 = {0, 1} 3 = {0, 1, 2} etc. I would think you could write the successor function as "for all numbers N, there exists a number s(N) such that N is a member of s(N) and N is a subset of s(N)".
@@gloverelaxis Most commonly (courtesy of von Neumann), you would define 1 as the "simplest" 1-element set - i.e. the set containing an empty set and nothing else.
He limited himself with Googol number of symbols. He chose to be smallest next number. Some may come up with another definition of a number that is greater than that number.
He used one system to describe a category of numbers that could be named in another system with a maximum description length. Ultimately this is boring but effective
"So how fast can you write one symbol?" "I don't know, depends on the symbol. I'd say maybe a seco--" "About one Planck time" "O-Oh! A bit faster than me apparently"
@pyropulse Our understanding of spacetime breaks, when/if we try to watch what happens while we are writing a symbol. That ist very interristing, but how could we know, that these symbols differ?
Patrick Tho We don't have to know how the symbols are different. The premise of calculation is an abstract concept of writing, we are not required to actually read what is being written.
one-hundred-and-eleven-trillion-one-hundred-and-eleven-billion-one-hundred-and-eleven-million-one-hundred-and-eleven-thousand-one-hundred-and-eleven" Rayo said, calmly. "ELEVEN!!!!!!!!!!!!!!!!!!!!" Elga screamed at the top of his lungs.
Sonic the Hedgehog: I'd better not run too fast or I'll create a sonic boom. Tony the Planckwriter: I'd better not write too fast or all of physics will collapse.
2:06 From what I read (the MIT newspaper _The Tech_ did a report on the event), Elga actually went first by just writing the number 1, then Rayo added a bunch more behind.
More than the number itself, it shocks me how he managed to pull off that monster definition on the fly, using nothing but chalk and a blackboard. Some people are just crazy.
@@adamdorsky5465 IIRC factorial was used as one step ("you can add a bunch of factorials here"), but then the rules didn't allow reusing the same mechanic again.
And yet the final answer was “I can’t come up with a bigger number, so let me define a number to be the bigger than anything this dude could put down on the board”
This statement is false: The funny thing is that there are plenty of valid googolisms larger than Rayo's number. It's true that some of them are debatable and possibly ill-defined, but some, such as Fish(7), BIG FOOT and Little Biggeddon are so huge that Rayo's number is tiny in comparison, and they rise from different mathematical theories and constructions than Rayo's number, and these theories have been formalized, and mathematicians have agreed on the well-definedness of these numbers.
@@angelmendez-rivera351 so are you saying that this entire video was a lie? Because at the end you can see that they stated all the numbers you named do not best rayos number.
"Have we got enough time to write that down?" Ok, maybe, it can't be that big, 10^48 is a lot but come on- "Well that kinda depends on the nature of dark energy" *OH*
We would also run out of matter to write with. As we're crafting our "Biggest number based on first order set theory", we have about 10^20 more symbols to work with than we have particles in the universe. You can define particles as molecules, atoms, or quarks--it doesn't make a difference. There's only ~10^80 of them, give or take a few zeros. And THEN we have to actually evaluate that string of symbols. They evaluate to an integer---the biggest possible integer we could build with 10^100 symbols. If you can define a big function, but you used fewer than a googol symbols---your function was too small. If you used all googol symbols, but your function wasn't perfectly optimized to be as big as possible--your function was too small. RAYO(10^100) is one bigger than that.
Tom C. Not necessarily. Just assume that all symbols are being written on top of one another. It's not necessary for the sentence to be humanly legible, it just has to be written.
Idk why but when he said "but we could write it down" it just seems so comforting, w with everything happening right now it's oddly nice to think that we could be around in 10^48 years still creating things and being curious. In that many years everything that we're going through right now won't matter.
This video was just great. Big moves from Elga in the first few minutes with that spectacular flourish. Ends with contemplating the destruction of space-time. 10/10
@@priyansh1210 The wording can be interpreted in 2 ways, but I assume he meant that 0 and rayo's number are both an equal distance apart from infinity.
Assuming I'm understanding correctly, it's extremely interesting to note that writing RAYO(10^100) in the first-order set theory language it's designed from would be by far the most efficient way to express that number accurately. The best way to express Graham's number is using arrow notation. Takes a minute or two for a human to write the full formula, tops. The best way to express RAYO(10^100) is the exact method that would take a computer 10^56 seconds to write at a pace far faster than what is physically possible.
Yes but thats because infinity describes a concept. As a number there is no integer close to it because infinity-1 is not real. You can't count to a finite amount and say its close to infinity.
The part that says: you would know it. That cant happen. Its impossible. We cant use it. There isnt enough bits of data storage in the universe to that so its not possivle to define it , so its not a valid number. Am i right?
Well I think adding real names of big numbers like "1000 million" isn't made up, but most people would just say 1 billion. When you think about it scientific notation is just a very simple way of doing something similar to saying 1 thousand million instead of 1,000,000,000
Let M(1) be the largest finite number that can be defined by 1 mathematician working for 1 year. I define M(n) is the largest finite number that can be defined by M(n-1) mathematicians working in perfect harmony for M(n-1) years.
My brain is still hurting from Graham's number! (Although it started hurting from 3↑↑↑3 onwards. The forth arrow did not even fit into my head) And now this? WOW!
It helps to consider 3↑↑↑3 as 3↑↑(3↑↑3), which is 3↑↑(7,625,597,484,987), and then picture writing out 7.6 trillion 3's from here to the sun! Since 3^3^3^3^3 is already bigger than googolplex, you can imagine what working out the trillions of layers does! Then 3↑↑↑↑3 = 3↑↑↑(3↑↑↑3), but that's the same as 3↑↑↑(3↑↑7,625,597,484,987), which means you write out 3↑↑3↑↑3↑↑3↑↑.....↑↑3 for 3↑↑7,625,597,484,987 times. So three arrows gets the unimaginably huge number 3↑↑(3↑↑3), but with four arrows, that unimaginably huge number becomes the number of 3's in another sequence of 3↑↑, and multiplying that all out becomes the number of 3's in another 3↑↑, and so on for that unimaginably huge number of times. Of course, instead of going to 5 arrows, going to 3↑↑↑↑3 number of arrows in G2 is mindboggling. But taking G(G(G(....G(64) a Graham's number of times is still nothing to TREE(3), which is nothing compared to this. I like Graham's best though because it can be related how to get to it. TREE(3) you can't really get any sense of scale or stepping up to build it, but at least it also describes something tangible and it has an exact value we could run a program to calculate (if we had enough time and resources!). Rayo's is an interesting concept, but it's not computable and has little meaning outside of saying "this defines a really big number however big you're able to define it".
@@KalOrtPor That is a very detailed reply! Thanks, it is much appreciated. I do understand the 3^3^3... in my head. It makes sense. But a tower of 3^3^3... 7 625 597 484 987 times breaks my brain. But I do agree with flickflack. At least it has a point.
I'll be honest: When he got to the super busy beaver section, I was more or less completely lost. I still enjoyed the entire video, the concept, and the scale described at the end. Hats off to those two professors, the hosts, and any audience member who could follow it all! I'm requesting a much higher IQ in my next iteration.
14:34 Reminds me of the game "Universal Paperclips." The time in which we've converted all matter in the universe to chalkboards and chalk and life support in order to keep writing the number =P
I love how there's numbers that are so big we can't physically write them down we can only prove their existence via abstractions of a previous "big number idea" that's why I love math it's like the coolest video game you could ever hope to play where the player is in control of the whole universe restricted only by the collective level of creative thought of the playerbase.
10:12: zero (or empty set) as expressed in symbols of first-order set theory. 10:26: one (or singleton) as expressed in symbols of first-order set theory.
@@viliml2763 EDIT: what I originally wrote below is wrong. The commenters who say the 10:26 logic represents 2 are correct. Actually 0 = {} 1 = 0 U {{}} ={{}} 2 = 1 U {1} = { {}, {{}} } And if you decompose the logical symbols at 10:26 you get 2, not 1. Original post: actually the one that appears at 10:26 does represent 1. In set notation it's { {}, {{}} }. That is the set which contains the empty set and the set containing the empty set. This represents 1 according to the von Neumann construction, where 0={} (empty set) and the successor(a) = a U {a}.
@@pizzapabpro3160 yes, it is known to start slow and grow asymptotically faster than any function that could ever be computed within the fast growing hierarchy in any effective way, these computable numbers include the G's, TREES, Bucholz hydras, loaders number, the simple or normal subcubic graph numbers, goodsteins function. Unconputable functions include rayos function, the FOOT function, DOODLE function, xi function, and BB function. They each have comparable but can grow faster than others. Here are the BB function: BB(1) = 1 BB(2) = 4 BB(3) = 6 BB(4) = 13 BB(5) > 4098? BB(6) > 10^18267 BB(7) > 10^10^10^10^18,705,352 It is clear than BB(6) >> 27, lets use this extremely lower bound to compare higher numbers BB(8) >> 7,600,000,000, (for a closer bound, this number is most likely within the range of tritri, but its my guess) BB(10) >> TriTri = 3^^^3 (knuths arrow notation) BB(12) >> G1 = 3^^^^3 Lets use the fast growing hierarchy, for quick demonstration f3(3) > 120 million digits, yeah, I hope you have a median understanding of the fast growing hierarchy. BB(38) > fω2(167) >> Grahams Number BB(85) > fε0(1907), to give a clue what this means, fε0(n) = fω^...for n times...^ω, fω^ω(n) = fω^n(n), fω^2(n) = fωn(n), fω2(n) = fω+n,grahams number is between fω+1(63) and fω+1(64), and believe me grahams number is outright HUGE. BB(38, 3) >> fε0(200,000,000), It only grows faster, were nowhere close to a googol in fact we havent reached then 3rd digit yet and were smashing numbers, I am not sure if these numbers are more than TREE(3) yet (no it is not due to TREE(3) being way more than gamma 0), however over time the sequence will outgrow it. This is horrifically simplified, in fact you have to be a intermediate googologist to proffesionally describe it (which im not)
@@Ͽατ unconparable. TREES are much faster than Gs, BB(10^100) >>>>>>>>>>>>>>>>>>>>>>>>>>>>...Unimaginably greater than later...>>>>>>TREE(TREE(10^100)) >>> G(TREE(10^100))
I always believe this episode is the last and the best one of the big number videos. The big number dual is just fantastic. Now more than ten years past though, most modern big numbers still use set theory to express big numbers.
I think every time Prof. Padilla comes with a bigger number than before, we should always remember in the comment section that is basically 0 compared to infinity.
Is it though? Can infinity really be considered more than the largest number you can make be moving all the molecules in the universe to represent a number?
actually 3 blue 1 brown has a video about this today!! it's about "zero" probability events, like picking a particular irrational number. if you pick a number between 0 and 1 you must end up with some number ... but all numbers in the interval have probability 0 of being picked. yeah my brain puckers when I think about that, like I'm chewing on a sour patch kids.
It's interesting to think about how to play the game of coming up with large numbers: is it to come up with the biggest number you can think of, or to come up with the smallest number you can think of that is bigger than the previous one? The latter would allow you more future moves and more thinking time, but the former ensures that, if your opponent's biggest number is the same as yours, you get to play that move.
@@charizella Sure. But, to put it more precisely, what is the smallest positive integer larger than any positive integer that can be expressed in 10^100 symbols in set theory, multiplied by the largest nonzero positive real number smaller than any nonzero positive real number that can be expressed in 10^100 symbols in set theory? Is it possible to at least prove that this number is greater than 1, equal to 1, or less than 1?
@@Owen_loves_ButtersI decuded to dig deeper into this while talking in a discord server once I sadly forgot most of the details of how these functions compare exactly But I bet that the n is quite small, I'd bet around 10^10 or so, if not less
I think what they meant is that you can write the number down. Not in base 10 or whatever, but as the specific sequence of symbols that define it. However I think there is a flaw in the demo, the original idea is that you describe the number using a "language" comprised of 10¹⁰⁰ mathematical symbols, so in describing the final number there could be repeats of symbols and you will possibly need much more time than just a googol plank times.
@@jobigoud The language is first-order set theory and has a fixed number of symbols (after all, it can only have as many symbols as humans have assigned meaning, and so certainly not a googol). By "a googol symbols" Rayo means that the expression is at most a googol symbols in length.
Imagine living for Rayo(bb(Tree(10^100))) years. Might as well be infinite. When some people wish they could live forever they don't actually understand how mindbogglingly incomprehensible it would be. You would just wish for death, or maybe you've gone so insane you wouldn't undestand the concept of death or concepts in general.
The total energy required to power a human brain to comprehend that near infinite reality...even if you only had 1 brief thought about it every 10^100 years, would still be greater than the total combined energy output from every star in every galaxy in every universe throughout a Graham's number of Universes...
Absolutely. Here's something even more bonkers. Essentially 0 or Rayo(bb(Tree(10^100))) are practically speaking both equally far away from reaching infinity.
Don't know what the real situation was during the duel, but the way Tony described it makes me feel that by the time Rayo put out the Busy Beavers, Elga lost already. It's like Rayo just set a trap for Elga to fall and unfortunately Elga fell in (or else he could have gone anything other than super turing machine). It would be very funny if Rayo shouted the Busy Beavers out just to buy him time to think of the way to define a number so that Elga can no longer rescue himself from the trap.
Mars Titan I recommend you looking up John Conway(i.e. the mathematician) on the internet. Given his great contribution to e.g. group theory and many more parts of mathematics, I regard your reduction of him to his name as highly disrespectful.
I don't get why this part is needed. Just saying that it's the biggest number that a mathematical language of 10¹⁰⁰ symbols can express seemed enough to me, knowing the other contestant can't use the +1 trick.
I’d throw my hat in the ring with the first googalplexian factorial (1 followed by a googalplex (1 followed by a googal zeros) zeros) prime numbers strung up like graham’s number (2^3^5^7^…)… But I think you could define that number in first order set theory in way less than 10,000 characters being generous That is one way to describe how large rayo’s number truly is
I'm a mathematician, so I'll simplify by using Hilbert's Hotel instead of memory … Note it's roughly equivalent to think about program length rather than computer design length. It's also similar to ask how far the beaver has traveled, how many cells are in a given state, how many times a given state was used etc… By the way the non computability is because (even if run in parallel) you don't know what programs are never going to halt. Presumably if some can be provably unprovable then they should count as never halting.
If you proof, that it is unproofable, that the programm stops, you also have proven, that you cant proof it, by just trying and waiting for the programm to end. So it doesn't end, witch is been proven by this contradiction.
Proving something is unprovable is not the same as proving it is true (or false.) Its like proving you cant count to a trillion in your lifetime (10 numbers per second would take a hundred billion seconds, longer than a human lifetime) versus actually counting to a trillion.
I love these big number videos. 10:08 How do those sets of symbols work out to zero and to one? We need a video on set theory that explains this! That looks absolutely fascinating.
There exists "∃" a set x1 "x1" where there doesn't exist "¬∃" a set x2 "x2" where x2 "(x2" would be an element of "∈" x1 "x1)". This is a little awkward to read, but I tried to avoid grouping symbols to make sure their individual meaning becomes clear.
@@Ajax153 Are you trying to say that recognizable people are also able to enjoy and support someone else's content? Get out of here with your tin foil theories!
Big Foot would be too complicated to understand if you are not a mathematician, first you have to explain First Order Logic, then First Order Set Theory, you have to explain The Order Set Theories, and you have to explain First Order Oodle Theory (FOOT) which diagonalizes over a generalization of the nth Order Set Theory, it would be a 2-3 hours video, until at the end it turns out that Big Foot is ill-defined, and FOOT is inconsistent and not even equivalent to the Set Theory, since BIG FOOT = FOOT¹⁰(10¹⁰⁰), so we do not know if it is bigger than Rayo or not, you would have to show the proof that is ill-defined, if you had to explain it in a way in which EVERYONE could understand it would be a 5-10 hours video.
Imagine is Adam Elga had accidentally erased that second 1 and ended up writing 1!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! and lost immediately
1 > 1111111111111111111111111111 change my mind
@@3ckitani my mnd
Get it?
@@3ckitani infinity + 1 = infinity + 111111111111111111111111111111 so if we take infinity from both side we get 1 = 111111111111111111111111111111. So they are equally big.
He couldve just used the chalk to fill in that hole
if*
I would have conceded defeat after the 2nd move.
Why does a Cody'sLab comment have so few likes and replies?
It really was masterful and, in my opinion, underrated!
Yeah the second move really was the best!
Hey cody love your work man
Yeah im the fifth comment on a cody lab comment love your work man!
This is what most 4 year olds imagine that mathematicians do for a living. They get into an arena with screaming crowds, and have a competition for who can think of the biggest number.
turns out they're right
@Cha#### these were professors doing an event at MIT so I think you could definitely say they did it for a living
When I was 5 I wanted to be a mathematician when I grow up. It’s not how I imagined it to be, I just imagined it to be filled with math problems, like 5x5 and 6x6.
@@NerdTheBox did you heard calculus
This is kinda ridiculous arrow operation offers us a mathematical isthmus into larger numbers and chain arrows raises that even further by showing us all how hyper operations work. Anything beyond this seems largely rooted in philosophy and creativity rather than pure math built upon some kinda recursion method.
The factorial thing was pure genius
Too bad they forgot all the brackets to make it actually reiterated factorial. :P
It truly was, I wish he would of won the brilliance prize of the competition
Ikr.
Would've ended the competition there and then if I was a judge 😁
It was indeed. Certainly better than that rules-lawyering BS that "won" the contest.
"That depends on the nature of dark energy" is now my go to response for any question I don't understand.
Dark energy doesn't exist in real life
@@tubeguy4066 its still theoretical yess
@@tubeguy4066 that depends on the nature of dark energy.
@@wagonerjam "no you're completely wrong. It depends on the quantum entanglement of photon induced microcosmic warpdrives that break the fabric of spacetime such that dark matter and dark energy combine to form graviton beams which can disturb the schrodinger wave function and we start vibrating in 11 dimensions"
-Michio Kaku
@Nicholas Natale depends on the nature of dark energy
Am absolutely shook after that factorial move. Is this an anime?
anime? that is an animo.
This scene looks like it's taken straight from death note
It’s time to Big Number D-d-d-d-d-duel!
Just wait until the second season
??
When two kids wouldn't give up and keep on increasing their own dad power level
@Maciej Królikowski one of the rules is you can't simply add 1 to another number
@@ouie-fl4qo Also you can't use infinite ordinals, so he broke two rules in one go!
Except it's even MORE childish.
@@ouie-fl4qo
Infinity +2
- My dad can beat your dad
- Cool. When?
Rayo: 111111111111111111111111111111111
Elga: 11!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
Ron: Well that escalated quickly
It looks like someone just screaming ELEVEN
I appreciate that you actually wrote 31 exclamation marks that match with eleven followed by 31 ones.
big boi dude
333... dont
@@DiegoMathemagician I appreciate that you counted so I didn't have to
Rayo: Makes the biggest number ever
Comments section: Yeah... but the other guy did the factorial thing
Because the factorial thing is the one part of all of this that we understand.
@@Yora21
This
@@Yora21
This
@@Yora21
This
@@Yora21
This
I really love the idea of the guy just drawing a line through all the 1's to make a string of factorials. That's so clever and elegant.
I honestly love that more than Rayos number
He's the winner in my books
Yeah but he lost in the end.
He would have lost anyway, simply because 11!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! equals 0.
@@O-Kyklop how?
I felt like I’ve learned so much but also nothing at all.
177 likes still no replies
I'm not sure if I even don't understand this properly.
361 likes 3 replies
That's how it feels watching any video on any number larger than Graham's Number for me. After that point it becomes pretty much impossible to explain all the complexities of these numbers, or even the processes to reach them, without the technical language and skill. Which is not what videos like this are for. They're to explain the concepts behind weird numbers and why they're so fun.
The simple definition I've always seen though is "smallest number larger than any finite number expressed in set theory that can be expressed in a googol symbols". Which, if you understand how big a number with a googol symbols would be, and then it's the next number bigger than that, you understand just how insane that is. A googol is larger than the observable universe. This number needs a minimum of that many symbols.
@@princealigorna7468 Will the like:reply ratio tend to the Golden Ratio?
14:14 I love how Elga is standing there for eternity as all the fans have left, watching Rayo writing away his defeat
And nearer to zero than 2(Rayo)+1 🤨😈🔥🤌
A divine battle, when all entities and the cosmos itself die of old age, leaving forsaken gods.
Nah he’l just square it
Elga be like: 👁👄👁
and just smiling
Sounds like a grown up version of "I hate you x20" "I hate you x1000"
Imagine this escatlating and going up in math competition
HATE. ... IF THE WORD HATE WAS ENGRAVED ON EACH NANOANGSTROM OF THOSE HUNDREDS OF MILLIONS OF MILES IT WOULD NOT EQUAL ONE ONE-BILLIONTH OF THE HATE I FEEL FOR HUMANS AT THIS MICRO-INSTANT FOR YOU. HATE.
I love you x3000
@@ahumanbeingamnayplaceholde1746 nice reference i love that book
I hate you xinfinity+1
rayo: *writes down many many 1s
elga: im gonna what's called a pro gamer move
Gonna
@𝑓 he didn't say "do"
@@moikkis65 spell police
@@chrisjohngrima9761 my spells are totally legal no need to call the spell police plz 🥺
makes 1!!!!!!!!)
you know things got serious when the participants of the big number duel are philosophy professors and not math professors
Well, pure math is basically logic philosophy
As far as I know, formal logic is generally part of the philosophy department. Certainly was at my school. Basically, analytic philosophy banned thinking about anything interesting, so I guess this is what they do for fun.
@@methyod Pretty much: Uncertainty is scary, therefore it doesn't exist.
@@skulleton what exactly are you talking about?
Eh if you get your PhD in Mathematics in Germany, it's up to the university if it's a PhD in mathematics or in Philosophy so there's that lol I assume it's the same in the rest of the world
"So can I write this number down, professor?" - "Well, that kind of depends on the nature of Dark Energy."
But first we have to talk about parallel universes
Dahk enegy? It turns out he's not Prof. Padilla, but Dactah Wahwee!
11:29 Here it is! No dark energy involved!
Your assignment is to make sure you write down atleast 5 numbers as you enter a blackhole.
@@BigBoyPharma 1 2 3 4 5
10:15 - If you're wondering how that lot defines "zero", it can read literally as
"There exists a set x1 such that there exists no x2 that is a member of x1."
Basically, there is a set that has no elements.
Thanks chief
Thank you.
so when they talk about using that language to describe the number "1", is that expression in that language actually describing any set with exactly 1 element?
@@gloverelaxisIf I know my set theory well enough, numbers are defined as follows:
0 = the empty set
1 = {0}
2 = {0, 1}
3 = {0, 1, 2}
etc. I would think you could write the successor function as "for all numbers N, there exists a number s(N) such that N is a member of s(N) and N is a subset of s(N)".
@@gloverelaxis Most commonly (courtesy of von Neumann), you would define 1 as the "simplest" 1-element set - i.e. the set containing an empty set and nothing else.
Rayo basically “+1”ed all of mathematics, which is genius.
Exactly, "whatever you can write, the next number"
That's what us Googologists call a naive extension
He limited himself with Googol number of symbols.
He chose to be smallest next number.
Some may come up with another definition of a number that is greater than that number.
He used one system to describe a category of numbers that could be named in another system with a maximum description length.
Ultimately this is boring but effective
He also explained the Gödel's incompleteness theorems in such elegant way.
"So how fast can you write one symbol?"
"I don't know, depends on the symbol. I'd say maybe a seco--"
"About one Planck time"
"O-Oh! A bit faster than me apparently"
But is there a difference in the Sympols if we write so fast, that we cant say, what happens while we write a symbol?
@pyropulse Our understanding of spacetime breaks, when/if we try to watch what happens while we are writing a symbol.
That ist very interristing, but how could we know, that these symbols differ?
Patrick Tho We don't have to know how the symbols are different. The premise of calculation is an abstract concept of writing, we are not required to actually read what is being written.
SWAM Ferox a light year is not a measurement of time but rather the measurement of how far light can travel in one year.
I think your limited to the speed of light lol
one-hundred-and-eleven-trillion-one-hundred-and-eleven-billion-one-hundred-and-eleven-million-one-hundred-and-eleven-thousand-one-hundred-and-eleven" Rayo said, calmly. "ELEVEN!!!!!!!!!!!!!!!!!!!!" Elga screamed at the top of his lungs.
HARRYDIDJAPUTYANAMEINTHEGOBLETOFFIYAH, calmly
@@ravtimlady *grabs harry and shakes him while everyone behind him advances*
@@ravtimlady came down to comment this, not even annoyed you beat me to it😂😂
NO,111!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
@@ElevatorFan1428 way smaller
"But we can write it down"
I like his enthusiasm
Imagine being able to write one symbol per planc time! I'd like to at least be able to read at this pace!
Let's be honest, Prof Tony Padilla is the daddy of big numbers for us.
Maybe he's compensating for something? (love Padilla, especially when he's not being political)
@@DrKaii Tony is woke
Biggest Number: -1/12 xD
@@cerwe8861 omg i love dbz too, bffs?
100π'th like!
Sonic the Hedgehog: I'd better not run too fast or I'll create a sonic boom.
Tony the Planckwriter: I'd better not write too fast or all of physics will collapse.
So I ruined the 0 reply thing.
Too late shows out. *knuckles approves*
Underrated comment xdddd
Best comment in a while
Sonic can run at the speed of light
2:06 From what I read (the MIT newspaper _The Tech_ did a report on the event), Elga actually went first by just writing the number 1, then Rayo added a bunch more behind.
More than the number itself, it shocks me how he managed to pull off that monster definition on the fly, using nothing but chalk and a blackboard. Some people are just crazy.
It's so awesome that you talked about this. I watched this in person when it happened! The room was indeed packed, but it wasn't a very big room. :)
Did the guy actually do the factorial thing?
@@adamdorsky5465 IIRC factorial was used as one step ("you can add a bunch of factorials here"), but then the rules didn't allow reusing the same mechanic again.
@@CoolerQ That’s still cool though
Is there any video recording of this?
That’s amazing
This says something so incredible about human imagination I’m not sure how to put it into words.
That's precisely it. We are limited to what we can put down into symbols.
And yet the final answer was “I can’t come up with a bigger number, so let me define a number to be the bigger than anything this dude could put down on the board”
Matthew Hubka *expressed in second order set theory*
I'VE GOT THE POWER
@@Theraot we aren't.
The googol seems pathetically tiny now, since Graham, Tree, BB and Rayo.
This statement is false: The funny thing is that there are plenty of valid googolisms larger than Rayo's number. It's true that some of them are debatable and possibly ill-defined, but some, such as Fish(7), BIG FOOT and Little Biggeddon are so huge that Rayo's number is tiny in comparison, and they rise from different mathematical theories and constructions than Rayo's number, and these theories have been formalized, and mathematicians have agreed on the well-definedness of these numbers.
@@angelmendez-rivera351 so are you saying that this entire video was a lie? Because at the end you can see that they stated all the numbers you named do not best rayos number.
You have a cool name.
DuhLeeSinguh They would, but some of them are ill-defined and don’t count until the issues with them are fixed.
It still covers an important role by being the smallest stupidly large number
Video start: "Lets come up with a really big number."
Video end: "The destruction of the universe by blackhole dominance."
Sounds like a vsauce video to me.
Didnt get it at the start of the video and now i'm wheezing
News headline: "Scientist Invents a Number that Destroys the Universe"
sort of interrelated
I think the fact that these numbers come to an end fascinates me more than infinity
"Have we got enough time to write that down?"
Ok, maybe, it can't be that big, 10^48 is a lot but come on-
"Well that kinda depends on the nature of dark energy"
*OH*
We would also run out of matter to write with.
As we're crafting our "Biggest number based on first order set theory", we have about 10^20 more symbols to work with than we have particles in the universe. You can define particles as molecules, atoms, or quarks--it doesn't make a difference. There's only ~10^80 of them, give or take a few zeros.
And THEN we have to actually evaluate that string of symbols. They evaluate to an integer---the biggest possible integer we could build with 10^100 symbols. If you can define a big function, but you used fewer than a googol symbols---your function was too small. If you used all googol symbols, but your function wasn't perfectly optimized to be as big as possible--your function was too small.
RAYO(10^100) is one bigger than that.
Tom C. Not necessarily. Just assume that all symbols are being written on top of one another. It's not necessary for the sentence to be humanly legible, it just has to be written.
@@angelmendez-rivera351 By that metric just writing RAYO(10^100) counts as writing it. Its not humanly legible, but all of the information is there.
Idk why but when he said "but we could write it down" it just seems so comforting, w with everything happening right now it's oddly nice to think that we could be around in 10^48 years still creating things and being curious. In that many years everything that we're going through right now won't matter.
This video was just great. Big moves from Elga in the first few minutes with that spectacular flourish. Ends with contemplating the destruction of space-time. 10/10
And still just as far from infinity as 0.
Yea, it really is a quite small number.
Math are awesome!
actually closer to 0 than to infinity
@@priyansh1210 The wording can be interpreted in 2 ways, but I assume he meant that 0 and rayo's number are both an equal distance apart from infinity.
I find that extremely large finite numbers give a much richer sense of infinity than infinity itself
Assuming I'm understanding correctly, it's extremely interesting to note that writing RAYO(10^100) in the first-order set theory language it's designed from would be by far the most efficient way to express that number accurately.
The best way to express Graham's number is using arrow notation. Takes a minute or two for a human to write the full formula, tops.
The best way to express RAYO(10^100) is the exact method that would take a computer 10^56 seconds to write at a pace far faster than what is physically possible.
Wouldn't the way shown in the video at 11:32 (using second order set theroy) be far more efficient?
But since he defined that number with far fewer symbols than 10^100, wouldn't that be a contradiction?
He used second order not first order
@@crazybeatrice4555 no I understand why the first order was so weak. Second Order rules.
Wouldn't the best way be "RAYO(10^100), where RAYO(n) is defined as [insert definition]"
No matter how big the RAYO's number is, it's still nearer to zero than it is to absolute infinity.
Well you aren't wrong but it applies to every number anyway
Yes but thats because infinity describes a concept. As a number there is no integer close to it because infinity-1 is not real. You can't count to a finite amount and say its close to infinity.
The part that says: you would know it. That cant happen. Its impossible. We cant use it. There isnt enough bits of data storage in the universe to that so its not possivle to define it , so its not a valid number. Am i right?
infinity is a concept; not a number
@@Sohlstyce i know bro but its a joke
Three. Take it or leave it.
How about I TREE it?
3 isn't a terrible choice. It's larger than infinitely many real numbers, after all.
I think π
Tree!
Well it’s bigger a infinity of intergers(I’m not lying it’s true) -infinity
THAT REALLY SHOCKED ME WHEN ELGA DID THAT 11!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
HunterWolf X r/unexpectedfactorial
He takes the spiritual win for sure.
HunterWolf X wow you are that shocked
He was probably inspired by people who type like this: :)
'OMG SO COOL 1!!!1!1!1!1!1!!!!1!1!1!1!1!1!1!!!1!1!!1'
Not even brutal because this number breaks universe xdd
I love when kids make up big numbers like: "dinotillion"
"Million Billion Trillion"
yeah one time i heard someone telling his mom that the biggest number was a chickenbajillion
The infamous Zillion.
Well I think adding real names of big numbers like "1000 million" isn't made up, but most people would just say 1 billion. When you think about it scientific notation is just a very simple way of doing something similar to saying 1 thousand million instead of 1,000,000,000
@@ToastGreeting ok
Tony: I'm not really sure we can get bigger than this.
Future Tony: So uh, ....
Let M(1) be the largest finite number that can be defined by 1 mathematician working for 1 year. I define M(n) is the largest finite number that can be defined by M(n-1) mathematicians working in perfect harmony for M(n-1) years.
@@djinn666 M(Tree(10^100))!!!!!!!!!
(Those are factorials)
@@guyingrey1072 Factoriala have already been used. Googol has already been used.
@@djinn666 there is no largest finite number
@@arthurthekyogre9155 but there is a largest finite number that can be defined by 1 mathematician working for 1 year.
My brain is still hurting from Graham's number! (Although it started hurting from 3↑↑↑3 onwards. The forth arrow did not even fit into my head)
And now this? WOW!
It helps to consider 3↑↑↑3 as 3↑↑(3↑↑3), which is 3↑↑(7,625,597,484,987), and then picture writing out 7.6 trillion 3's from here to the sun! Since 3^3^3^3^3 is already bigger than googolplex, you can imagine what working out the trillions of layers does! Then 3↑↑↑↑3 = 3↑↑↑(3↑↑↑3), but that's the same as 3↑↑↑(3↑↑7,625,597,484,987), which means you write out 3↑↑3↑↑3↑↑3↑↑.....↑↑3 for 3↑↑7,625,597,484,987 times. So three arrows gets the unimaginably huge number 3↑↑(3↑↑3), but with four arrows, that unimaginably huge number becomes the number of 3's in another sequence of 3↑↑, and multiplying that all out becomes the number of 3's in another 3↑↑, and so on for that unimaginably huge number of times.
Of course, instead of going to 5 arrows, going to 3↑↑↑↑3 number of arrows in G2 is mindboggling. But taking G(G(G(....G(64) a Graham's number of times is still nothing to TREE(3), which is nothing compared to this. I like Graham's best though because it can be related how to get to it. TREE(3) you can't really get any sense of scale or stepping up to build it, but at least it also describes something tangible and it has an exact value we could run a program to calculate (if we had enough time and resources!). Rayo's is an interesting concept, but it's not computable and has little meaning outside of saying "this defines a really big number however big you're able to define it".
At least Graham's Number has a point, abstract as it is. This is just a big number with some arbitrary rules tacked on.
@@KalOrtPor That is a very detailed reply! Thanks, it is much appreciated. I do understand the 3^3^3... in my head. It makes sense. But a tower of 3^3^3... 7 625 597 484 987 times breaks my brain. But I do agree with flickflack. At least it has a point.
KalOrtPor You're not helping at all. :|
@@KalOrtPor Nice reply, but can you close your parenthesis after all the Gs?
I love super high intelligent stories that can somewhat simplify for us peasants to understand a fraction of it. Beautiful.
What's clever about Rayo's number is that it uses our own way to describe mathematics as the weapon that makes it such a large number.
5:42 I think your beaver accidentally used telekinesis.
Hahah i saw that
Yep. Here is your problem. Someone set this thing to telekinesis.
No, I think the animator used telekinesis.
quantum tunneling
@@agimasoschandir Beavers' wavelength is too low for that to happen.
I'll be honest: When he got to the super busy beaver section, I was more or less completely lost. I still enjoyed the entire video, the concept, and the scale described at the end. Hats off to those two professors, the hosts, and any audience member who could follow it all! I'm requesting a much higher IQ in my next iteration.
Day 20 of quarantine: Calling numbers daddy now
@@Nogli "This guy"
@variousthings “absolute unit”
Flashback to when the quarantine was only 20 days long
14:34 Reminds me of the game "Universal Paperclips." The time in which we've converted all matter in the universe to chalkboards and chalk and life support in order to keep writing the number =P
As a fan of that game, damn you're right
I love how there's numbers that are so big we can't physically write them down we can only prove their existence via abstractions of a previous "big number idea" that's why I love math it's like the coolest video game you could ever hope to play where the player is in control of the whole universe restricted only by the collective level of creative thought of the playerbase.
padilla and big numbers.
name a more iconic duo
me and youtube
I would have loved to attend this historical event !
I can imagine the whole room going crazy after that second move...
I love the passion this guy has for mathematics.
Rayo: "I'm about to end this man's whole abacus"
@xXNumberblocks 100 The Cooler And The CreatorXx abasus
10:12: zero (or empty set) as expressed in symbols of first-order set theory.
10:26: one (or singleton) as expressed in symbols of first-order set theory.
So the symbols that appeared on 10:26 represent two, right?
I'm quite confused because they did show up when he said "one"
@@jonipaliares5475 Yes, you're right, it's confusing.
@@viliml2763
EDIT: what I originally wrote below is wrong. The commenters who say the 10:26 logic represents 2 are correct. Actually
0 = {}
1 = 0 U {{}} ={{}}
2 = 1 U {1} = { {}, {{}} }
And if you decompose the logical symbols at 10:26 you get 2, not 1.
Original post:
actually the one that appears at 10:26 does represent 1. In set notation it's { {}, {{}} }. That is the set which contains the empty set and the set containing the empty set. This represents 1 according to the von Neumann construction, where 0={} (empty set) and the successor(a) = a U {a}.
@@Jop_pop I don't think I understand, why isn't 1 represented as {{ }}? shouldn't it be just the set containing the empty set?
@@jonipaliares5475 see the edit I made to my comment. You're totally right, my mistake!
I saw "bigger than TREE(3)" in the thumbnail and immediately clicked...I'm hopeless aren't
I've watched these since the beginning. This prof is the only one that hasn't aged a day!
Every time I watch a video like this I’m reminded of my own mortality and I get real sad
Time for a Daisy break
honestly, while its impressive how big this number is, I find Tree(3) more compelling due to the combination of being so straightforward and powerful.
Tony loves endangering the fabric of our universe to make his big numbers huh
"Haha big numbers go brrrr" - Tony
BB(10^100) >>>>>>>>>>>>>> ... *unimaginably many greater thans* ... >>>>>>>>>>>>>>>> TREE(10^100) > G(10^100)
For anyone wondering.
Proof?
@@pizzapabpro3160 yes, it is known to start slow and grow asymptotically faster than any function that could ever be computed within the fast growing hierarchy in any effective way, these computable numbers include the G's, TREES, Bucholz hydras, loaders number, the simple or normal subcubic graph numbers, goodsteins function.
Unconputable functions include rayos function, the FOOT function, DOODLE function, xi function, and BB function. They each have comparable but can grow faster than others. Here are the BB function:
BB(1) = 1
BB(2) = 4
BB(3) = 6
BB(4) = 13
BB(5) > 4098?
BB(6) > 10^18267
BB(7) > 10^10^10^10^18,705,352
It is clear than BB(6) >> 27, lets use this extremely lower bound to compare higher numbers
BB(8) >> 7,600,000,000, (for a closer bound, this number is most likely within the range of tritri, but its my guess)
BB(10) >> TriTri = 3^^^3 (knuths arrow notation)
BB(12) >> G1 = 3^^^^3
Lets use the fast growing hierarchy, for quick demonstration f3(3) > 120 million digits, yeah, I hope you have a median understanding of the fast growing hierarchy.
BB(38) > fω2(167) >> Grahams Number
BB(85) > fε0(1907), to give a clue what this means, fε0(n) = fω^...for n times...^ω, fω^ω(n) = fω^n(n), fω^2(n) = fωn(n), fω2(n) = fω+n,grahams number is between fω+1(63) and fω+1(64), and believe me grahams number is outright HUGE.
BB(38, 3) >> fε0(200,000,000),
It only grows faster, were nowhere close to a googol in fact we havent reached then 3rd digit yet and were smashing numbers, I am not sure if these numbers are more than TREE(3) yet (no it is not due to TREE(3) being way more than gamma 0), however over time the sequence will outgrow it.
This is horrifically simplified, in fact you have to be a intermediate googologist to proffesionally describe it (which im not)
@@pizzapabpro3160 well beyond what I can understand
@@Ͽατ small
@@Ͽατ unconparable. TREES are much faster than Gs, BB(10^100) >>>>>>>>>>>>>>>>>>>>>>>>>>>>...Unimaginably greater than later...>>>>>>TREE(TREE(10^100)) >>> G(TREE(10^100))
I understood nothing, yet I enjoyed the video because of this man's enthusiasm.
Never clicked on a video so fast in my life, I would never get tired of this subject :D
I've always seen this comment on videos. Today I know why people comment it.
@@aok76_ Its for da likes man
This channel is a hero for uploading a video on this number
I always believe this episode is the last and the best one of the big number videos. The big number dual is just fantastic. Now more than ten years past though, most modern big numbers still use set theory to express big numbers.
Those math dudes always smiling all the time its so sweet how much they are in love with math
I think every time Prof. Padilla comes with a bigger number than before, we should always remember in the comment section that is basically 0 compared to infinity.
Is it though? Can infinity really be considered more than the largest number you can make be moving all the molecules in the universe to represent a number?
@@RobertCroome
Yes. We can make a bigger number if we use our minds. Always.
@@ThiagoGlady Infinity is a concept not a number, so technically you can´t compare them...
@@gaeb-hd4lf
Yes I can. You are not in a room with mathematicians. Casually, you can compare anything you like.
actually 3 blue 1 brown has a video about this today!! it's about "zero" probability events, like picking a particular irrational number. if you pick a number between 0 and 1 you must end up with some number ... but all numbers in the interval have probability 0 of being picked.
yeah my brain puckers when I think about that, like I'm chewing on a sour patch kids.
It's interesting to think about how to play the game of coming up with large numbers: is it to come up with the biggest number you can think of, or to come up with the smallest number you can think of that is bigger than the previous one?
The latter would allow you more future moves and more thinking time, but the former ensures that, if your opponent's biggest number is the same as yours, you get to play that move.
"Rayo's Number plus one !!", screams my inner child voice.
I wonder what would happen if you put Rayo's Number/the smallest possible value
@@anadaere6861 there is no smallest possible value
@@charizella i think they call it infinitesimal
@@anadaere6861 ERROR: DIVIDE BY ZERO
@@charizella Sure. But, to put it more precisely, what is the smallest positive integer larger than any positive integer that can be expressed in 10^100 symbols in set theory, multiplied by the largest nonzero positive real number smaller than any nonzero positive real number that can be expressed in 10^100 symbols in set theory? Is it possible to at least prove that this number is greater than 1, equal to 1, or less than 1?
"Ugh... Who put the beaver in energy saving mode again ?"
It's Energy Star compliant
7:00 The answer is definitely yes. Tree(10^100) is computable.
BB grows faster than TREE, but that only means that BB(n)>TREE(n) at some point, where that point is is probably not knowable.
@@Owen_loves_ButtersI decuded to dig deeper into this while talking in a discord server once
I sadly forgot most of the details of how these functions compare exactly
But I bet that the n is quite small, I'd bet around 10^10 or so, if not less
I just came up with this estimate on the spot
If I remembered the details from my previous deeper dive, I could give a better estimate
"We can write it down" I find that very reasuring in this current situation of complete shut down.
So excited to listen to Tony speak about big numbers.
He's just so sincerely passionate about them.
I'm just happy they could move past the inital "my number is rubber, your number is glue" phase of the duel.
I would love to know more about the "contenders" for bigger numbers. A video on those would be great!!
That’s really only the universe winning to a googol, not to the number actually expressed by the symbols.
tru tru
Hah! 👍🏾
I think what they meant is that you can write the number down. Not in base 10 or whatever, but as the specific sequence of symbols that define it.
However I think there is a flaw in the demo, the original idea is that you describe the number using a "language" comprised of 10¹⁰⁰ mathematical symbols, so in describing the final number there could be repeats of symbols and you will possibly need much more time than just a googol plank times.
@@jobigoud The language is first-order set theory and has a fixed number of symbols (after all, it can only have as many symbols as humans have assigned meaning, and so certainly not a googol). By "a googol symbols" Rayo means that the expression is at most a googol symbols in length.
@@lppunto Thanks for the clarification!
4:31 That little "Turing Inside" made my day 🤣
Imagine living for Rayo(bb(Tree(10^100))) years. Might as well be infinite. When some people wish they could live forever they don't actually understand how mindbogglingly incomprehensible it would be. You would just wish for death, or maybe you've gone so insane you wouldn't undestand the concept of death or concepts in general.
The total energy required to power a human brain to comprehend that near infinite reality...even if you only had 1 brief thought about it every 10^100 years, would still be greater than the total combined energy output from every star in every galaxy in every universe throughout a Graham's number of Universes...
I like that number. It's like a function sandwich. Here's a better one: Rayo(BB(Tree(G(10^100))))
@@jimi02468 I think I shall have to 1-up with: Rayo(BB(Tree(G(10^100)))) + 1
Absolutely. Here's something even more bonkers. Essentially 0 or Rayo(bb(Tree(10^100))) are practically speaking both equally far away from reaching infinity.
@Jordan Rodrigues You will never get me alive!
This is wonderful. I love the animations, especially Rayo writing down symbols.
Don't know what the real situation was during the duel, but the way Tony described it makes me feel that by the time Rayo put out the Busy Beavers, Elga lost already. It's like Rayo just set a trap for Elga to fall and unfortunately Elga fell in (or else he could have gone anything other than super turing machine). It would be very funny if Rayo shouted the Busy Beavers out just to buy him time to think of the way to define a number so that Elga can no longer rescue himself from the trap.
“Numberphile, I need your strongest numbers!”
“My numbers are to strong for you traveler, you’ll have to find someone who philes WEAKER numbers!”
My quooooootients are much too strong, travelerrrrr!
Number seller!!
But I'm going into battle!
I don’t have time for your games
Wth at 5.43, BB turned off the light for the adjacent room instead.
That's his telekinetic state, don't worry about if lol. (I did notice that mistake too though)
That's just row hammering. Happens all the time ;)
Isn't there a physics idea of "spooky action at a distance?" :P
You shouldn't be letting beavers in your house at all honestly.
I saw that. It was quantum physics getting annoyed.
“But we can write it down”
*smiles
The more I watch numberphile videos, the more my love for mathematics grows ❤️
I heard it before, but i didn't know its THAT big. And yeah, Reqiescat in Pace ~John Conway :(
Thank you for that sad piece of news. He taught some of my lectures at Cambridge, and he was a great character.
Mars Titan I recommend you looking up John Conway(i.e. the mathematician) on the internet. Given his great contribution to e.g. group theory and many more parts of mathematics, I regard your reduction of him to his name as highly disrespectful.
I didn't know he was gone... Rest In Peace
wow ! from COVID ! very sad.
😢 there goes a great man.
SSCG (3) ^ SSCG (3) ^ Googolplex ^ Rayo's number ^ TREE (3) ^ 97 Duodecillion ^ SSCG (3)
When you bring the idea of " I'm thinking your number +1" to a way new level
I don't get why this part is needed. Just saying that it's the biggest number that a mathematical language of 10¹⁰⁰ symbols can express seemed enough to me, knowing the other contestant can't use the +1 trick.
@@jobigoud
To do the +1 "trick" you need more symbols, so it can't work even without forbitting it in the first place.
And when the entire number is written, the first second of eternity will have passed
Not even, no. The first instant of eternity.
Bird sharpen his beak on the mountain
I’d throw my hat in the ring with the first googalplexian factorial (1 followed by a googalplex (1 followed by a googal zeros) zeros) prime numbers strung up like graham’s number (2^3^5^7^…)…
But I think you could define that number in first order set theory in way less than 10,000 characters being generous
That is one way to describe how large rayo’s number truly is
5:43 that wiring needs looking at...
I agree
lol, nice catch
I love how he went from largest numbers to astrophysics and plank time and Dark Energy...
😂 wow
Dude this is natural nothing is special about this when u do number theory related maths u r ought to know at least this much physics
@@chandrabitpal9151 chutiya
User 1 aeh?
@@morgiewthelord8648 it's the term for asshole in hindi
Hey Vsauce Michael here!
But what is the largest number?....
.... and that's how we will die in 10^34 years
“You’re truth” is a thing after all, just believe what feels right to you, and what’s true or false doesn’t matter, how nice
I'm a mathematician, so I'll simplify by using Hilbert's Hotel instead of memory …
Note it's roughly equivalent to think about program length rather than computer design length. It's also similar to ask how far the beaver has traveled, how many cells are in a given state, how many times a given state was used etc…
By the way the non computability is because (even if run in parallel) you don't know what programs are never going to halt. Presumably if some can be provably unprovable then they should count as never halting.
If you proof, that it is unproofable, that the programm stops, you also have proven, that you cant proof it, by just trying and waiting for the programm to end. So it doesn't end, witch is been proven by this contradiction.
I agree, I can't get my head around provably unprovable.
Proving something is unprovable is not the same as proving it is true (or false.) Its like proving you cant count to a trillion in your lifetime (10 numbers per second would take a hundred billion seconds, longer than a human lifetime) versus actually counting to a trillion.
@@unexpectedTrajectory I know :)
*sees title of video, smiles* "Ah, another classic big number Numberphile video" *clicks video*
I love these big number videos. 10:08 How do those sets of symbols work out to zero and to one? We need a video on set theory that explains this! That looks absolutely fascinating.
There exists "∃" a set x1 "x1" where there doesn't exist "¬∃" a set x2 "x2" where x2 "(x2" would be an element of "∈" x1 "x1)". This is a little awkward to read, but I tried to avoid grouping symbols to make sure their individual meaning becomes clear.
"Patreon supporters - Adam Savage"
...wait what.
What?
@@jonasrivers3675 Adam Savage is one of the Mythbusters.
Its actually Jamie Hyneman. I have a book with a picture of Jamie. The caption reads Jamie Hyneman (A.k.a Adam Savage). True story.
On Adam Savage's UA-cam channel, he had Matt Parker on as a guest and gushed about his love of Numberphile.
@@Ajax153 Are you trying to say that recognizable people are also able to enjoy and support someone else's content?
Get out of here with your tin foil theories!
I remember watching a clip of this big number duel years ago, but I can't find it anywhere on the internet anymore.
Sad.
This is my absolute favourite numberphile, with "All the numbers" in a very close second place
11:29 thats damn alien language lol
YES! Can you guys do the BIG(FOOT) function next???
You MEAN language of FOOT?
Big Foot would be too complicated to understand if you are not a mathematician, first you have to explain First Order Logic, then First Order Set Theory, you have to explain The Order Set Theories, and you have to explain First Order Oodle Theory (FOOT) which diagonalizes over a generalization of the nth Order Set Theory, it would be a 2-3 hours video, until at the end it turns out that Big Foot is ill-defined, and FOOT is inconsistent and not even equivalent to the Set Theory, since BIG FOOT = FOOT¹⁰(10¹⁰⁰), so we do not know if it is bigger than Rayo or not, you would have to show the proof that is ill-defined, if you had to explain it in a way in which EVERYONE could understand it would be a 5-10 hours video.
Tv screen when you get a strike: 7:44
5:42 that beaver is a magician... he turned the lights of an adjacent room off, instead of the light of his current room! XD