TREE vs Graham's Number - Numberphile

Поделиться
HTML-код
  • Опубликовано: 17 июн 2024
  • The biggest number we've ever tackled - TREE of Graham's Number.
    Supporting #TeamTrees on a quest to plant 20 million trees - www.teamtrees.org/ (Original brown papers from this video available to support the campaign - bit.ly/brownpapers)
    More links & stuff in full description below ↓↓↓
    Extra footage from this interview: • TREE(Graham's Number) ...
    Big Numbers: bit.ly/Big_Numbers
    More on Graham's Number: • Graham's Number - Numb...
    Ron Graham videos: bit.ly/Ron_Graham
    More on TREE(3): • The Enormous TREE(3) -...
    Moon Trees: • MOON TREES - Sixty Sym...
    Video guides to Tree Species: bit.ly/TreesPlants
    Numberphile is supported by the Mathematical Sciences Research Institute (MSRI): bit.ly/MSRINumberphile
    We are also supported by Science Sandbox, a Simons Foundation initiative dedicated to engaging everyone with the process of science. www.simonsfoundation.org/outr...
    And support from Math For America - www.mathforamerica.org/
    NUMBERPHILE
    Website: www.numberphile.com/
    Numberphile on Facebook: / numberphile
    Numberphile tweets: / numberphile
    Subscribe: bit.ly/Numberphile_Sub
    Videos by Brady Haran
    Patreon: / numberphile
    Numberphile T-Shirts: teespring.com/stores/numberphile
    Brady's videos subreddit: / bradyharan
    Brady's latest videos across all channels: www.bradyharanblog.com/
    Sign up for (occasional) emails: eepurl.com/YdjL9
  • НаукаНаука

Комментарии • 3,1 тыс.

  • @numberphile
    @numberphile  4 года назад +910

    Supporting #TeamTrees on a quest to plant 20 million trees - www.teamtrees.org/
    Original brown papers from this video available to support the campaign - bit.ly/brownpapers

    • @yubullyme2884
      @yubullyme2884 4 года назад +37

      Numberphile you should do tree 20 million

    • @whatisthis2809
      @whatisthis2809 4 года назад +25

      Tree(20,000,000)

    • @altfist
      @altfist 4 года назад +10

      Oh can you do a video on SCG(13)?

    • @whatisthis2809
      @whatisthis2809 4 года назад +15

      *_WHY IS THERE INFINITE FINITE NUMBERS?!_*

    • @whatisthis2809
      @whatisthis2809 4 года назад +15

      More googology please :3

  • @Alex_Deam
    @Alex_Deam 4 года назад +5857

    "TREE vs Graham's Number" is basically clickbait for mathematicians

    • @Adraria8
      @Adraria8 4 года назад +186

      I mean yeah it’s clickbate but in fairness they weren’t lying

    • @Danilego
      @Danilego 4 года назад +126

      TREE won by a landslide... A landslide of orders of infinities!

    • @undercoverdetective463
      @undercoverdetective463 4 года назад +18

      no coz if u know this its obvious whats bigger and u gain nothing new from the vid. but people who didnt knew can gain something

    • @bsinita_wokeone
      @bsinita_wokeone 4 года назад +31

      I'm not mathematically smart.......but i due enjoy learning about big numbers and I mean BIG numbers like the ones larger than the ones in this video. Like Fish number, etc

    • @edghe119
      @edghe119 4 года назад +16

      The Gogeta vs Broly of the math world

  • @MagruderSpoots
    @MagruderSpoots 4 года назад +2874

    If each of my brain cells was a brain, lets just call that an omega brain, I still wouldn't understand this.

    • @BaldAndroid
      @BaldAndroid 4 года назад +179

      This makes my brain feel like it is a brain cell.

    • @jonadabtheunsightly
      @jonadabtheunsightly 4 года назад +145

      Yeah, but what if each of your brain cells contained as many brains, as your brain has brain cells? No, wait, what if each of your brain cells contained as many brains, as the number of possible permutations on the set of all brain cells in all of the brains in all universes real and imaginary? No, wait, what if all brains were like that, and then what if each of your brain cells could produce that many new brains per nanosecond, for each possible permutation on the set of all of the brain cells in all of those brains?

    • @dahemac
      @dahemac 4 года назад +2

      😂

    • @U014B
      @U014B 4 года назад +70

      If I had a TREE(g(Γ₀!))-brain for every 1/(TREE(g(Γ₀!))) Planck Volume within the known universe (let's just call that a Ж-brain), and then had Ж Ж-brains for every one of those,
      I would probably die.

    • @timothymonk1356
      @timothymonk1356 4 года назад +35

      @@jonadabtheunsightly Even if each of those brains had the combined capacity of the greatest scientists in the history of humanity, you still wouldn't come close to comprehending these numbers

  • @sudoku0095
    @sudoku0095 3 года назад +2269

    A couple years ago, I planted a tree
    After one year, it was 1m tall
    After two years, it was 3m tall
    How tall will it grow in year 3?

    • @scoutgaming737
      @scoutgaming737 2 года назад +401

      We are gonna die

    • @petergriffinhentai4724
      @petergriffinhentai4724 2 года назад +386

      Sit on top if you want to evade tax forever

    • @it_genfailure
      @it_genfailure 2 года назад +265

      * tree pierces the outer shell of the universe *

    • @OllyGucci
      @OllyGucci 2 года назад +33

      @@petergriffinhentai4724 lol

    • @super-awesome-funplanet3704
      @super-awesome-funplanet3704 2 года назад +36

      Can you please show me a spread sheet with the heights that the tree has had Not just exactly 1 year after you planted it and exactly 2 years after you planted it but also provide values between 0 years after you planted it and 1 year after you planted it and values between 1 year after you planted it and 2 years after you planted and all the way to now. Ps it should not be too hard to figure out the heights for whole numbers like 0,1,2,3,4... even if some of them you have to use a weird mathematical function to show the answer (Like even weirder than power towers.).

  • @bigpopakap
    @bigpopakap 4 года назад +740

    5:16 "You're giving the TREE more juice". This was the funniest, most succinct way to describe the same intuition I had!

    • @dialecticalmonist3405
      @dialecticalmonist3405 3 года назад +22

      I'm not sure what the term is for "rate expansion".
      For now "rate expansion" = juice.

    • @flagmuffin1221
      @flagmuffin1221 2 года назад +1

      Juicing the equation

    • @adarshmohapatra5058
      @adarshmohapatra5058 2 года назад +1

      I thought of it like this. The tree function gives much larger values than the g function. So at the enormous scales that we're talking about, all that matters is what is inside the tree function. So tree(g64) is better than g(tree(64)) because you're giving a bigger number to tree. It doesn't even matter what g is doing at this point.

    • @bigpopakap
      @bigpopakap 2 года назад +1

      ...in other words, giving the juice to TREE, not g 😉. Give that tree more juice!

    • @namelastname4077
      @namelastname4077 2 года назад

      some would say he gave it more sauce, not juice

  • @krozjr5009
    @krozjr5009 4 года назад +2494

    Remember this meme?
    Marvel: Infinity War is the most ambitious crossover in history.
    Numberphile: TREE(Graham’s Number).

    • @MuzikBike
      @MuzikBike 4 года назад +65

      Nah, let's do TREE(TREE(TREE(...TREE(g64)...))), where TREE is repeated G64 times.

    • @sinom
      @sinom 4 года назад +28

      @@MuzikBike why stop there? why not repeat it TREE(G64) times? Or TREE(TREE(G64)) times?

    • @Theboss24611
      @Theboss24611 4 года назад +15

      Or just the crossover of Numberphile and Mr Beast.

    • @simohayha6031
      @simohayha6031 4 года назад +5

      @@sinom how bout ∞?

    • @ganaraminukshuk0
      @ganaraminukshuk0 4 года назад +20

      What if we planted TREE(g64) trees?

  • @salientsoul
    @salientsoul 4 года назад +798

    19:15 - “if omega’s so great, why isn’t there an omega 2, huh?”
    19:20 - “oh ok I’ll shut up now”

    • @sugarfrosted2005
      @sugarfrosted2005 4 года назад +5

      Incidentally, this doesn't work for uncountable ordinals, like omega_2.

    • @godoverlordquacken4003
      @godoverlordquacken4003 4 года назад +14

      *Omega timea 2 wants to know your location*

    • @want-diversecontent3887
      @want-diversecontent3887 4 года назад +2

      sugarfrosted
      Yeah, it only works up to ε_0. (ω^ω^ω^ω^...)

    • @ObjcetSohwRael
      @ObjcetSohwRael 4 года назад +2

      Wut about cantor's ordinal?

    • @PanduPoluan
      @PanduPoluan 2 месяца назад +1

      Omega acting all gangsta until Epsilon arrives.

  • @sean..L
    @sean..L 4 года назад +472

    "But I don't need to stop!" He's gone mad with power.

    • @anhbui-bc4ew
      @anhbui-bc4ew 3 года назад +1

      don;'t

    • @oz_jones
      @oz_jones 3 года назад +5

      *math

    • @hardnrg8000
      @hardnrg8000 2 года назад +1

      @Nicholas Natale yes.

    • @finnnaginnn
      @finnnaginnn Год назад +3

      I've gone madder.

    • @PC_Simo
      @PC_Simo 8 месяцев назад +4

      Yes. Next, he’ll go mad with tetration. 😅😮😨😱🤯

  • @GeoffBeggs
    @GeoffBeggs Год назад +627

    So sure, Tree(Graham’s Number) is big. But I have just been exploring the harmonic series (1 + 1/2 + 1/3 + 1/4 + 1/5 …). It is divergent. It takes around 10^43 terms just to get it to sum to a hundred, and it gets way way slower after that.
    So my number (‘Geoff’s Number’ if no one has claimed this before) is:
    “The number of terms required for the harmonic series to sum to Tree (Graham’s Number)”.

    • @prod_EYES
      @prod_EYES Год назад +57

      Pin this comment

    • @hybmnzz2658
      @hybmnzz2658 Год назад +148

      The amount of terms needed is approximately e^(Tree(Grahamsnumber)-gamma)
      where gamma is the euler mascheroni constant

    • @GeoffBeggs
      @GeoffBeggs Год назад +83

      @@hybmnzz2658 I’ll have to take your word on that. Sounds big.

    • @rafiihsanalfathin9479
      @rafiihsanalfathin9479 Год назад +29

      @@GeoffBeggswell 1+1/2+1/3+...+1/n approximately ln(n)+euler m constant and the approximation gets better and better the larger the n. Because tree(g(64)) is so massive, e^(tree(g(64)-euler m constant) number of term is super sccurate approximation

    • @StoicTheGeek
      @StoicTheGeek Год назад +33

      @@GeoffBeggs yes, it is the same size as TREE(Graham’s number). When you are dealing with numbers this big, raising them to a power doesn’t make much difference.

  • @Sakkura1
    @Sakkura1 4 года назад +904

    Aleph-null bottles of beer on the wall, aleph-null bottles of beer, take one down, pass it around, aleph-null bottles of beer on the wall.

    • @ThorHC11
      @ThorHC11 4 года назад +87

      Best part is that "aleph-null" has the same number of syllables as "ninety-nine." So the rhythm keeps up!

    • @naresu
      @naresu 4 года назад +21

      that's a lovely one

    • @InsertPi
      @InsertPi 4 года назад +21

      unfortunately subtraction isn't defined for infinite cardinals

    • @nate_storm
      @nate_storm 4 года назад +22

      Infinity (aleph null) minus one is infinity

    • @pst9056
      @pst9056 4 года назад +17

      Klein bottles?

  • @emoglobin2195
    @emoglobin2195 4 года назад +2635

    Is it me, or does 20 million suddenly sound like a pathetically small number

    • @sadhlife
      @sadhlife 4 года назад +289

      time to plant TREE(3) trees

    • @anixias
      @anixias 4 года назад +96

      Time to plant TREE(TREE(TREE(....tree(64) times...))) trees

    • @yvesnyfelerph.d.8297
      @yvesnyfelerph.d.8297 4 года назад +84

      120million digits sounds like nothing at all, given what they are looking at

    • @DirtyRobot
      @DirtyRobot 4 года назад +32

      That's basically a day's worth of disposable chopsticks in China.
      Thanks internet, Now Chinese can enjoy eating for an extra day.

    • @schenkov
      @schenkov 4 года назад +15

      Actually first thing I thought when I heard about that project was:"20 million threes are not so much at all"

  • @johnathanmonsen6567
    @johnathanmonsen6567 Год назад +81

    This is absolutely the best explanation I've seen of just how much more massive TREE(3) is than g64.

    • @AymanTravelTransport
      @AymanTravelTransport Год назад +12

      If you look at it through the levels of googology: level 0 is all the single digit and small numbers tending to zero; then level 1 goes from double-digits to a million; then level 2 goes beyond this all the way to a million digits (yes, googol and virtually every number we can practically deal with in our observable universe doesn't even get past level 2); level 3 starts entering the realms of tetration with googolplex and the likes; level 4 goes well beyond googolplexian and so on. You can see how going up just one level in the realms of googology gets to even greater magnitudes much further away than the levels before it. Well, G1 sits around level 6 or 7 and then G64 is much further at level 12, with fw(n) starting here or the level before it (11) let that sink in. So you can see that the difference between 12 levels is the difference between mere counting and shooting past G64 by iterating the number of arrows. Now you run through all the ordinals from omega through epsilon, zeta, eta until you reach the insane gamma-zero; the latter is all the way up to level 100 in the fast-growing hierarchy, meaning that counting to even G(G(...G(64))) [G64 iterations] would be much faster than using the G(n) function (or even f-epsilon0 for that matter) to reach the monsters produced by fgamma-zero(n). However, even then TREE(3) would laugh at this, as it's all the way up in level 120. That's right, an entire 20 levels ahead of fgamma-zero(n), which is insanely further apart than 0-1 and G64 which is merely 12 levels. This means even using fgamma-zero(n) to reach TREE(3) would be much slower (which is still an understatement) than merely counting to G64, even if you were to count in base 1/G64.

  • @iau
    @iau 4 года назад +108

    It's crazy that such a simple "game" to explain, like TREE(n), which you may easily explain to even a first grader, is so insanely more powerful than even Γ₀, which requires pretty advanced mathematics to even begin conceptualizing.
    Mathematics is beautiful!

    • @R3cce
      @R3cce Год назад +8

      TREE(n) lies between the SVO and LVO in fast growing hierarchy. The SVO is lower bound and LVO the upper bound. It is much closer to the SVO but slightly faster than that

    • @R3cce
      @R3cce Год назад +11

      The SVO and LVO is just ridiculous just to let you know. If you want i can link a video to explain these ordinals. Then you will understand why Tony said in the video that anything beyond gamma gets messy😂😂

    • @bdjfw2681
      @bdjfw2681 Год назад +2

      @@R3cce sound fun , link pls.

    • @AymanTravelTransport
      @AymanTravelTransport Год назад +10

      @@R3cce If you look at it through the levels of googology: level 0 is all the single digit and small numbers tending to zero; then level 1 goes from double-digits to a million; then level 2 goes beyond this all the way to a million digits (yes, googol and virtually every number we can practically deal with in our observable universe doesn't even get past level 2); level 3 starts entering the realms of tetration with googolplex and the likes; level 4 goes well beyond googolplexian and so on. You can see how going up just one level in the realms of googology gets to even greater magnitudes much further away than the levels before it. Well, G1 sits around level 6 or 7 and then G64 is much further at level 12, with fw(n) starting here or the level before it (11) let that sink in. So you can see that the difference between 12 levels is the difference between mere counting and shooting past G64 by iterating the number of arrows. Now you run through all the ordinals from omega through epsilon, zeta, eta until you reach the insane gamma-zero; the latter is all the way up to level 100 in the fast-growing hierarchy, meaning that counting to even G(G(...G(64))) [G64 iterations] would be much faster than using the G(n) function (or even f-epsilon0 for that matter) to reach the monsters produced by fgamma-zero(n). However, even then TREE(3) would laugh at this, as it's all the way up in level 120. That's right, an entire 20 levels ahead of fgamma-zero(n), which is insanely further apart than 0-1 and G64 which is merely 12 levels. This means even using fgamma-zero(n) to reach TREE(3) would be much slower (which is still an understatement) than merely counting to G64, even if you were to count in base 1/G64.

    • @R3cce
      @R3cce Год назад +6

      @@AymanTravelTransport
      According to Googology, the TREE sequence has the ordinal of (SVO times Omega) in the fast growing hierarchy

  • @EGarrett01
    @EGarrett01 4 года назад +459

    Now this video lives up to the name Numberphile.

    • @MrBlaDiBla68
      @MrBlaDiBla68 3 года назад

      Indeed, in math, chess, soccer and boxing, *drive* is important to "win" ;-)

  • @GermaphobeMusic
    @GermaphobeMusic 4 года назад +790

    _looking at all the youtubers making tree videos_
    "Oh yeah. It's all coming together."

    • @jinjunliu2401
      @jinjunliu2401 4 года назад +31

      although some trees were probably harmed due to the amount of brown paper used here

    • @Snort70
      @Snort70 4 года назад

      Hey it’s me you stole my comment cool idc

    • @Snort70
      @Snort70 4 года назад

      Germaphobe I don’t care tho

    • @carbrickscity
      @carbrickscity 4 года назад +1

      Nothing beats this one since pretty sure none of the others could come up with something like TREE(3)

  • @swirlingtoilets
    @swirlingtoilets 3 года назад +218

    I love that he sounds like a mad scientist while talking about the function growth. Mathematicians working with these impossibly large numbers definitely feels like the mathematical equivalent of reading from the Necronomicon or discovering the sunken city of Ry'leh. Finding something that was not meant to be found

    • @joeblog2672
      @joeblog2672 8 месяцев назад +2

      Ah but then man would never have learned how to fly, rocketed to the moon and back or explored the ocean's deepest expanses (in a safe submersible!). All of these were said to be impossible throughout history. As a species gifted with reason (though not always accepted) we must stride boldly towards new humility for humility is always the beginning of knowledge! That said, these math guys are just plain out of their gourds here!

    • @thebaconguy1661
      @thebaconguy1661 8 месяцев назад

      @@joeblog2672safe submersible..

  • @Darkness2179
    @Darkness2179 3 года назад +198

    Man I love this guy's charisma, he's so genuine.

    • @notmarr2000
      @notmarr2000 Год назад +5

      His book is amazing as well: "Fantastic numbers and where to find them."

    • @fernandourquiza4593
      @fernandourquiza4593 Год назад +5

      @@notmarr2000 can you like this comment just to remember myself to buy it?

    • @notmarr2000
      @notmarr2000 Год назад +4

      @@fernandourquiza4593 the book is utterly mind blowing. I am half through (last chapter "Graham's Number, current chapter TREE (3)). The book is more than about math - he gets into a lot of physics, the concept of how big would the universe have to be before you would find an exact double of yourself, is the universe that big? Ect.

    • @SyenPie
      @SyenPie 10 месяцев назад

      @@fernandourquiza4593 4th like after 8 months just checking in if you bought it 😄

  • @TheTwick
    @TheTwick 4 года назад +960

    I remember, on the schoolyard, when the biggest number was “a BAZILLION”🤯

    • @boudicawasnotreallyallthat1020
      @boudicawasnotreallyallthat1020 4 года назад +107

      Bazillion + 1.

    • @xexpo
      @xexpo 4 года назад +66

      @@boudicawasnotreallyallthat1020 I don't mean to obliterate you.. but I raise you 2 bazillion.

    • @teriww
      @teriww 4 года назад +45

      ....2 bazillion plus infinity🙀🙀🙀🙀

    • @user-fk6cb9en8v
      @user-fk6cb9en8v 4 года назад +16

      @@xexpo 2 bazillion-fantastillion

    • @wallonice
      @wallonice 4 года назад +13

      I remember it being "uncountable"

  • @CylonDorado
    @CylonDorado 4 года назад +1071

    Last time on Number Ball Z!
    Graham’s Number: “It’s no use, he’s too strong!”
    TREE (3) : “We have one option. We have to combine!”

  • @grantchapman640
    @grantchapman640 3 года назад +25

    21:17 you can’t fool me, you’re just drawing squiggles now

  • @hylens5111
    @hylens5111 3 месяца назад +3

    "This next guy, I'm not going to write it out, because it has 121 million digits."
    This has to be in the top ten Numberphile videos of all time. Maybe top three even?

  • @3dtesseract853
    @3dtesseract853 4 года назад +1359

    Every other RUclipsr: "let's plant 20,000,000 trees!" Numberphile: “let's plant TREE(Graham’s Number)!”

    • @AlabasterJazz
      @AlabasterJazz 4 года назад +93

      Not enough matter in the conceivable universe to plant that many trees

    • @ABaumstumpf
      @ABaumstumpf 4 года назад +49

      i would highly advise against turning the entire observable universe into to strange matter with more than tree(3) trees in every possible location..... Also it would cost a lot of money.

    • @Ken-no5ip
      @Ken-no5ip 4 года назад +17

      BACHOMP There probably isnt enough quarks to reach that number

    • @ABaumstumpf
      @ABaumstumpf 4 года назад +26

      @@Ken-no5ip in the entire observable universe, filled to the limits of the pauli exclusion principle, would not be nearly large enough. Those numbers are just too insanely large.

    • @theheckl
      @theheckl 4 года назад +53

      that factorial at the end

  • @Lucasinbrawl
    @Lucasinbrawl 4 года назад +723

    "Anything beyond gamma zero gets really messy." Yes, all was beautifully in order before then ;)

    • @TheAlps36
      @TheAlps36 4 года назад +37

      Ironic that they're called "ordinals"

    • @chaohongyang
      @chaohongyang 3 года назад +21

      I can confirm this, many post gamma zero notations are off the scale complex for new people to understand

    • @The360MlgNoscoper
      @The360MlgNoscoper 3 года назад +4

      Gamma gamma zero (;

    • @j.hawkins8779
      @j.hawkins8779 2 года назад +3

      @@chaohongyang actually, its ridiculously easy to go past it.

    • @scathiebaby
      @scathiebaby 2 года назад +16

      @@j.hawkins8779 Add 1

  • @grugruu
    @grugruu 3 года назад +35

    This is the most intense AND my favorite part of this whole channel.

  • @RedDesertRoz
    @RedDesertRoz 4 года назад +73

    I'm at just over 14 minutes and am going to have to rest my mind and finish this tomorrow. Have just watched the 2 videos on tree(3) beforehand. This feels like staring into the abyss and it's rather terrifying, and as well, my mind feels like it's melting down from struggling to comprehend such enormity. Who knew that maths could get kind of terrifying?!

  • @PTNLemay
    @PTNLemay 4 года назад +519

    Brady's "more juice power" proof. I like it.

    • @DFPercush
      @DFPercush 4 года назад +26

      Graham-ade, it's got what TREE craves!

    • @bigpopakap
      @bigpopakap 4 года назад +11

      it's rigorous enough for me!

    • @PC_Simo
      @PC_Simo 8 месяцев назад +2

      So do I 🧃.
      P.S. You’re welcome for your 512th like. 👍🏻

    • @PC_Simo
      @PC_Simo 8 месяцев назад

      @@DFPercush Exactly 👌🏻🎯😅.

    • @PC_Simo
      @PC_Simo 8 месяцев назад

      @@bigpopakap Same here 😌.

  • @MilesEques
    @MilesEques 4 года назад +407

    "This is starting to terrify me now."
    "But I don't need to stop!"

    • @jolez_4869
      @jolez_4869 4 года назад +7

      ITS TIME TO STOP

    • @ValexNihilist
      @ValexNihilist 3 года назад

      @@jolez_4869 laughed too hard at that

    • @renanmaas3502
      @renanmaas3502 3 года назад +6

      That guy: Reaches an Unthinkably fast growing function that starts to bend the fabric of space-time.
      Also That guy: i CaN CArRy oN...

    • @TheAlps36
      @TheAlps36 3 года назад +1

      Please...please stop. In the name of sanity please stop

    • @Parasmunt
      @Parasmunt 2 года назад +1

      Don't go into the TREES stop stop.

  • @happygimp0
    @happygimp0 4 года назад +112

    "512, quite big number"
    7:10

    • @LeBronJames-sj7ds
      @LeBronJames-sj7ds 3 года назад +2

      LOLOLO

    • @dylanmcadam8509
      @dylanmcadam8509 3 года назад +13

      Compared to the number in this video there is like no difference between 512 and -googleplex

  • @kylebroussard5952
    @kylebroussard5952 Год назад +13

    I love how mathematicians get to a point where they're so smart they start making up numbers a 5 year old would spout off and then act profoundly amazed by a finite number within infinity.

    • @homer4340
      @homer4340 8 месяцев назад

      Mathematicians after creating the number galleohalivitoxipityisnlotopiscisis22: 😮

  • @kingbranden1369
    @kingbranden1369 4 года назад +491

    They pulled out ordinal collapsing functions on us. They really brought the big guns for this fundraiser.

    • @AndrewBlechinger
      @AndrewBlechinger 4 года назад +34

      And yet they didn't get to Aleph-one

    • @DarkestValar
      @DarkestValar 4 года назад +16

      A Large countable ordinal, but not quite an ordinal collapsing function.

    • @imperialguardsman135
      @imperialguardsman135 4 года назад +3

      Ordinal what?

    • @Peter_Schluss-Mit-Lustig
      @Peter_Schluss-Mit-Lustig 4 года назад +5

      Well they didn't even talk about fundamental sequences

    • @ig2d
      @ig2d 4 года назад +13

      It's all about the juice

  • @joshuamiller5599
    @joshuamiller5599 4 года назад +519

    “Well, the problem is that you’re just dealing with finites.”
    This problem is indeed found in so many situations.

    • @etfo714
      @etfo714 4 года назад +30

      Newton/Leibniz be like this when inventing calculus.

    • @antonhelsgaun
      @antonhelsgaun 3 года назад +29

      A problem when looking at my account balance

    • @dAvrilthebear
      @dAvrilthebear 2 года назад +5

      I encounter this problrem when paying for my gaughter's tutors)

    • @douche8980
      @douche8980 2 года назад

      Sounds like a racist statement :(

    • @miaomiaochan
      @miaomiaochan Год назад

      The only finite thing that's a problem is the finite nature of human intelligence.

  • @TheOriginalMaxGForce
    @TheOriginalMaxGForce 2 года назад +5

    I have a PhD in nodding along.

  • @KYZ__1
    @KYZ__1 5 месяцев назад +1

    These big number videos make me unimaginably excited...

  • @dvkprod
    @dvkprod 4 года назад +527

    Recommended reading for the course - Vsauce's How to count past infinity.

    • @NoriMori1992
      @NoriMori1992 4 года назад +87

      Dyani K. Seriously. That video's the only reason I had the slightest understanding of the omega stuff.

    • @zmaj12321
      @zmaj12321 4 года назад +37

      If I haven't already seen that video I would have no clue what I was watching.

    • @gdash6925
      @gdash6925 4 года назад +9

      Yea that inspired me to watch this numberphile video.

    • @billvolk4236
      @billvolk4236 3 года назад +10

      Vsauce, where we give disingenuous answers to clickbaity loaded questions without ever explaining what's fundamentally wrong with them.

    • @dvkprod
      @dvkprod 3 года назад +24

      @@billvolk4236 dude, what is your problem

  • @thurston2235
    @thurston2235 4 года назад +160

    The paper change is the real reason we watch this channel.

    • @BobStein
      @BobStein 4 года назад +7

      Yep. That joke's got layers, man.

    • @AndrewTyberg
      @AndrewTyberg 4 года назад +1

      Ummm... Not true....

    • @pleasuretokill
      @pleasuretokill 4 года назад +4

      It's the one thing here I can comprehend

    • @Ishub
      @Ishub 2 года назад

      @@pleasuretokill same

    • @waldothewalrus294
      @waldothewalrus294 8 месяцев назад

      The jingle on it keeps me living

  • @felooosailing957
    @felooosailing957 2 года назад +11

    Fascinating that g and TREE are so fast growing that you need transfinite ordinals to put them in a hierarchy. This is probably the best way to convey their power.

  • @Uranyus36
    @Uranyus36 4 года назад +72

    It's amazing that even without the ordinal Mathematics, we can still tell that TREE function grows (way) more quickly than Graham's function. TREE(n) literally goes from 1 to 3 to something that is way way way way way bigger than Graham's number, while G(n) needs 64 layers to go from 3^^^^3 to Graham's number. It's absolutely safe to say that at least the numbers G(1) to G(64) are all within the gap between 3 and TREE(3). The jumping between G(n) is essentially stationary compared to that between TREE(n).

    • @PC_Simo
      @PC_Simo Год назад

      Exactly 👌🏻.

    • @caringheart34
      @caringheart34 Год назад +3

      G(0) is also 4 so basically the entire graham sequence

    • @PC_Simo
      @PC_Simo Год назад

      @@caringheart34 I thought the same thing 🎯.

    • @R3cce
      @R3cce Год назад +1

      @@PC_SimoTREE(n) grows at a rate between the SVO and LVO in fast growing hierarchy.
      These ordinals are beyond gamma. I can link a video to explain these ordinals if you want. You will then understand why Tony said in this video that anything beyond gamma gets messy😂

    • @Empiro3
      @Empiro3 Год назад +4

      Things can start slowly then get really big later though. Tree is still a computable function. The Busy Beaver function has pretty reasonable values for small values, but it grows much faster than any computable function.

  • @juliankneaz6893
    @juliankneaz6893 4 года назад +291

    The mathematicians went out of control, somebody please stop them

  • @TheAngelsHaveThePhoneBox
    @TheAngelsHaveThePhoneBox 4 года назад +69

    12:28 My brain just collapsed into a black hole.
    Edit: Now after seeing the whole video, my brain collapsed into so many black holes that the number of black holes itself collapsed into a black hole and then another black hole and this happened so many times that the number describing it also collapsed into a black hole.

  • @denverbax6329
    @denverbax6329 4 месяца назад +3

    22:51 Yoooo that is actually scary. I knew TREE was big, but I did not expect that.

    • @R3cce
      @R3cce 3 месяца назад +2

      TREE(n) is believed to grow at least as fast as the Small Veblen Ordinal or SVO for short. SVO is beyond Gamma in strength

  • @jeff-8511
    @jeff-8511 2 года назад +1

    I love hoe much passion he has for numbers!!

  • @BedrockBlocker
    @BedrockBlocker 4 года назад +83

    The TREE function impresses me everytime. It's so simple yet it blows everything away.

    • @knightoflambda
      @knightoflambda 4 года назад +11

      Just wait, one day they'll finally explain the Busy Beaver function BB(n), which grows so fast there literally cannot exist a function that can compute any of its digits. It's insane just how fast it grows. I heard that even getting a lower bound on BB(20000) is impossible in ZFC. Of course, BB(n) is tiny compared to its relativized cousins. And we aren't even out of the lower attic yet. In the middle and upper attic, there are numbers so large that you need to add extra axioms to ZFC in order for them to exist.

    • @yogaardianto2269
      @yogaardianto2269 4 года назад +1

      @@knightoflambda what is the most faster growing fiction in googology?

    • @pierrecurie
      @pierrecurie 4 года назад

      @@knightoflambda I think they already did an episode on BB. Scott Aaronson proved that computing BB(~8000) requires proving the (in)consistency of ZFC (basically brute forces some statement that is true IFF ZFC is consistent).

    • @purpleapple4052
      @purpleapple4052 3 года назад

      @@knightoflambda they mentioned and explained some Busy Beaver stuff in the video about Rayo's number

    • @isuller
      @isuller 3 года назад +1

      @@knightoflambda actually it is true that BB(n)>TREE(n) for n>k for some k value. But my guess is that "k" is huge itself - I mean it may be bigger than Graham's number. So while it is true that BB is a faster growing function than TREE it doesn't mean that in the region of "normal" numbers BB(n) is bigger than TREE(n) :-)

  • @jetzeschaafsma1211
    @jetzeschaafsma1211 4 года назад +213

    David Metzler has an excellent 40 part series on the fast growing hierarchy, ordinals and much much further.

    • @michellejirak9945
      @michellejirak9945 3 года назад +39

      I thought this was a joke until I looked it up. Well, now I know what I'll be doing for the next month.

    • @OrbitalNebula
      @OrbitalNebula 3 года назад +10

      There's also Giroux Studios

    • @chaohongyang
      @chaohongyang 3 года назад +8

      @@OrbitalNebula And you, btw you need to make more FGH vids, they are so damn gud

    • @OrbitalNebula
      @OrbitalNebula 3 года назад +5

      Oh yeah. I'm now actually on the progress of making the next big numbers vid. It's just taking me quite long to make.

    • @chaohongyang
      @chaohongyang 3 года назад +4

      @@OrbitalNebula i fully support you, do whatever you want at your own pace homie :)

  • @mAximUm123451
    @mAximUm123451 2 года назад +3

    18:50 "this terrifies me... but I don't need to stop!"
    A true classic

  • @lgbfjb7160
    @lgbfjb7160 5 месяцев назад +1

    Im terrible at math but I'm facinated at how incomprehensible these numbers are and how i still feel that somehow i could fathom it knowing i never will.

  • @jonipaliares5475
    @jonipaliares5475 4 года назад +56

    Never thought transfinite ordinals could be useful with something finite like sequences of integers.
    Amazing video!

    • @martinshoosterman
      @martinshoosterman 4 года назад +3

      Oh man. You should look up the proof of Goodsteins theorem, using trans finite ordinals.
      Its a statement about sequences of numbers which is proven using ordinals.

    • @watcher8582
      @watcher8582 4 года назад +1

      All the ordinals that were mentioned in this video were still countable, i.e. they can be viewed as representing a (non-standard) ordering of the natural numbers. That is to say, the transfinite ordinals play the role of intrudcing jumps (in this case the jump is taking the diagonal in the constuction of f's). As such, the cardinalities of any of those ordinals is N, and thus all still smaller than that of the reals R.

    • @Lexivor
      @Lexivor 4 года назад

      @@martinshoosterman Goodstein's theorm is fun. The function that calculates the length of Goodstein sequences has an ordinal of epsilon_0, much bigger than Graham's, but nothing compared to TREE.

  • @NoahTopper
    @NoahTopper 4 года назад +57

    The amount of times I just yelled "No way!" alone in my room is only slightly embarrassing.

  • @neotaharrah6478
    @neotaharrah6478 Год назад +2

    This is one of the most mind blowing mathematical things I have ever seen. This is completely outrageous!

  • @srizic1136
    @srizic1136 4 года назад +57

    Vsauce: What's the biggest number you can think of?
    Me a googol
    Numberphile: Tree(g(64))

    • @Eric4372
      @Eric4372 4 года назад +4

      A googolplex factorial to the power of a googolplex squared, times Graham’s number!

    • @srizic1136
      @srizic1136 4 года назад +2

      @@Eric4372 To the tree(g(64))th tetration

    • @zzasdfwas
      @zzasdfwas 4 года назад +1

      But you can always define something bigger by iteration. Tree(tree(g(64))). Or tree(tree(...n times) (g(64))). And then you can iterate that.

    • @haeilsey
      @haeilsey 4 года назад

      zzasdfwas and then you develop notation to recursively iterate the iteration, like idk Conway chain arrows on steroids in hyperspace as the gods

    • @FlowiYT
      @FlowiYT 3 года назад +2

      Me: TREE(TREE(TREE(TREE(TREE(TREE(TREE(TREE(TREE(TREE(g64)))))))))))

  • @TheDanksNewGroove
    @TheDanksNewGroove 4 года назад +38

    Even when ignoring the awesome fundraiser, I think this is the coolest video you guys have ever made. Talking about stupidly giant numbers with no physical significance just because it’s fun. I love it, congratulations.

  • @hewhomustnotbenamed5912
    @hewhomustnotbenamed5912 4 года назад +25

    This is literally the biggest collaboration in RUclips history.
    And it's for the best possible cause.
    I'm genuinely proud of this community.

    • @erik-ic3tp
      @erik-ic3tp 4 года назад +1

      Me too. This's a 10 out of 10 for Humanity today.

    • @googleuser7771
      @googleuser7771 4 года назад

      @@erik-ic3tp is 20 million trees a lot of trees?

    • @erik-ic3tp
      @erik-ic3tp 4 года назад

      Google User, Yes.🙂

  • @modernwarriorsystems7347
    @modernwarriorsystems7347 3 года назад +2

    When I was in engineering classes, I would have LOVED to have him as my teacher.

  • @aliroostaei9122
    @aliroostaei9122 Год назад +2

    These videos are so amusing to watch, even for a nerdy med student❤

  • @Megamegalomane92
    @Megamegalomane92 4 года назад +100

    You can go beyond gamma zero.
    f gamma zero: "This isn't even my final form!!!"

    • @martinshoosterman
      @martinshoosterman 4 года назад +5

      Yeah. As far as I know you can go as far as f ω₁ ie, you can have f of anything smaller than ω₁ but you cannot define f for ω₁

    • @donandremikhaelibarra6421
      @donandremikhaelibarra6421 2 года назад

      @@martinshoosterman yes but you surely can’t have an f of an inaccessible cardinal right?

    • @martinshoosterman
      @martinshoosterman 2 года назад

      @@donandremikhaelibarra6421 you can't even do f(omega_1) much less an inaccessible cardinal.

    • @donandremikhaelibarra6421
      @donandremikhaelibarra6421 2 года назад

      @@martinshoosterman is the inaccessible cardinal bigger than an infinite amount of alephs nested together?

  • @armityle29
    @armityle29 4 года назад +9

    This was geniunely one of my favorite videos ever to have been uploaded to this channel.

  • @JasonVacare
    @JasonVacare 4 года назад +7

    This is a tremendous video, thank you Brady and Ron! With TREE and G and Busy Beaver numbers, I've always wondered how to categorically compare their growth. BTW, you should totally do a video on the Busy Beaver number sequence!

  • @blipmachine
    @blipmachine 4 года назад +5

    "You're giving the tree less juice there but more juice here"
    The cameraman really gets the limitations of my brain power 😂

  • @limbridk
    @limbridk 4 года назад +6

    For sure one of the best videos on my favorite channel.
    Such elegant insanity.
    Love it!

  • @HeroDarkStorn
    @HeroDarkStorn 4 года назад +47

    RUclips: Let's all talk about trees.
    Numberphile: Challenge accepted

  • @kerbodynamicx472
    @kerbodynamicx472 3 года назад +107

    I’m kinda scared when a toddler says “I can count two trees!”

    • @xerosfs
      @xerosfs 3 года назад +6

      _”I can count three trees!”_

    • @xerosfs
      @xerosfs 2 года назад +1

      @Lakshya Gadhwal lol

  • @jaybingham3711
    @jaybingham3711 4 года назад +1

    Super fun ride here. Thanks. Had previously caught Vsauce's Supertasks video (as well as NP Graham/Tree videos). That helped my orientation as the ride got wild. Fascinating stuff.

  • @SoleaGalilei
    @SoleaGalilei 4 года назад +18

    I'm no mathematician, but thanks to your past videos I laughed out loud when I saw what this one was about, knowing we were in for another round of "STUPID big"!

  • @tspander
    @tspander 4 года назад +3

    So nice to see so many channels contribute to #TeamTrees

  • @felixlehrman1112
    @felixlehrman1112 2 года назад +4

    the thing I dislike about numberphile is that they never explain how people figured out anything and so you're just left feeling as though you didn't really learn anything but instead just heard of something

    • @smallkloon
      @smallkloon 2 года назад

      I agree, but I understand why they don't.

    • @douche8980
      @douche8980 2 года назад

      Its pretty easy for folk like me with an IQ of 80 so these folks with IQ nearly fifty percent higher can understand these numbers and the growth rate by which numbers are made. That is true but the FGH they mention in this video is like addition compared to the highest ordinal they mentioned ok said video. This process goes on for infinity. So absolutely infinity can't exist since there is more than an infinite amount of such.

  • @BigDBrian
    @BigDBrian 2 года назад +1

    Half this video is just Tony trying to find words to express the magnitude of these sizes, and we love it

  • @coreyburton8
    @coreyburton8 4 года назад +3

    You have combined my two favorite numberphile videos! Thank you!

  • @Veptis
    @Veptis 4 года назад +32

    in the first 3 hours they are past 1 Million, hope this keeps afloat for a while

    • @erik-ic3tp
      @erik-ic3tp 4 года назад +1

      It's mind-blowing what crowdfunding could do if done right.

    • @Veptis
      @Veptis 4 года назад +1

      @@erik-ic3tp it's a giant collaboration, so that is unprecedented.

    • @pluto8404
      @pluto8404 4 года назад

      @@Veptis "collobaration"
      you mean the 1% sit back and take all the credit while their followers donate all the money.

    • @Veptis
      @Veptis 4 года назад +12

      @@pluto8404 no, if it weren't for those people to initiate it and produce unified content on the topic. such an effort wouldn't be possible uncoordinated.

    • @pluto8404
      @pluto8404 4 года назад +1

      @@Veptis I suppose we do need a large unification to combat all the carbon their Manson's and sports cars put out.

  • @sejdatalukder6798
    @sejdatalukder6798 2 года назад +8

    one thing that i find interesting is that tree(65) is already way bigger than g(tree(64))

  • @IamtheLordofDoom
    @IamtheLordofDoom 2 месяца назад

    I've been watching David Metzler's videos and these Numberphile videos (multiple times!) and this is the first time I've understood how diagonalisation works to produce omega. Supercool!

  • @parkerwest6658
    @parkerwest6658 4 года назад +38

    Just got flashbacks to the vsause vid about ordinal numbers

    • @SpektralJo
      @SpektralJo 4 года назад +3

      But his video was about cradinals

    • @twigwick
      @twigwick 4 года назад

      same lol

    • @naresu
      @naresu 4 года назад +1

      Was reminded about aleph

  • @KhalidTemawi
    @KhalidTemawi 4 года назад +15

    One of the best videos of Numberphile!

  • @maximilianhubner4851
    @maximilianhubner4851 4 года назад

    wow today at work i ask me that question what sequence is bigger (actually) and now i find a video where u explain it perfectly!! ty so much

  • @PickyMcCritical
    @PickyMcCritical 4 года назад +7

    21:00 Right about here he starts foaming at the mouth. I love this guy lol

  • @leo17921
    @leo17921 4 года назад +36

    20:40 funny how its called epsilon 0 cause usually epsilon is used for small numbers

  • @lordheaviside2605
    @lordheaviside2605 4 года назад +7

    Your original videos on Graham’s number are what got me so into googology in the first place. I can’t express how incredible it feels to see a Numberphile video on the fast-growing hierarchy! I love your videos so much!

  • @PXKMProductionsGaming
    @PXKMProductionsGaming Год назад +7

    I'd love to see more explanation videos on these higher level infinities. Also, despite being messy, I'm so curious about what stuff comes after Gamma Zero (or f(gamma zero)!
    I come back to this video a lot. how big numbers can get is so interesting to me.

    • @R3cce
      @R3cce Год назад +4

      The Small Veblen Ordinal (SVO) is the next ordinal after Gamma zero. After the SVO comes the Large Veblen Ordinal (LVO)

  • @luciancorneev2822
    @luciancorneev2822 4 года назад

    This should be a thing done every year!

  • @zmaj12321
    @zmaj12321 4 года назад +40

    Best Numberphile video in a while, but NOT for the faint of heart.

  • @non-inertialobserver946
    @non-inertialobserver946 4 года назад +59

    TREE(g64): exists
    g(TREE64): Finally, a worthy opponent. Our battle will be legendary

    • @jolez_4869
      @jolez_4869 4 года назад +24

      TREE(TREE(3)) joins the game

    • @AndrewTyberg
      @AndrewTyberg 4 года назад +6

      But the second number is basically 0 compared to the first number.

    • @mapari00
      @mapari00 4 года назад +7

      This could be perfectly fine in the context of the quote, as tai lung thought he would defeat the dragon warrior, but in fact got stomped as if he was nothing.
      Later in the fight: “The Wu Shi finger hold?!?!?! Shi Fu didn’t teach you that!!!!!!!”
      “Nah, I figured it out. Scadoosh!!”

    • @isaacwebb7918
      @isaacwebb7918 4 года назад +11

      @@jolez_4869 Even TREE(TREE(3)) won't match SSCG(3). SSCG is for 'simple sub-cubic graph,' and it works similarly to the tree problem and resulting function, except there are fewer rules for simple sub-cubic graphs, making more graphs possible, and therefore (much, much, much...) longer sequences. SSCG(n) forms a similar sequence to TREE(n) (in that it describes maximum lengths of non-repeating sequences for a given number of tags, and in starting small and exploding by n=3), but outpaces it easily -- SSCG(3) is greater than TREE(TREE(TREE(TREE(TREE(...TREE(3)))))) -- if you nested that TREE(3) layers deep.
      TM,DR (Too math, didn't read) -- there's always a bigger function.

    • @jolez_4869
      @jolez_4869 4 года назад

      @@isaacwebb7918 Wow damn. Thats interesting!

  • @jitterygta5558
    @jitterygta5558 2 года назад

    This channel is 100x more interesting than any math class I have ever had

  • @yeahuh4128
    @yeahuh4128 3 года назад +8

    Numberphile: Donate for Trees!
    Also Numberphile: USES TREMENDUS AMOUNT OF PAPER

    • @franzlyonheart4362
      @franzlyonheart4362 3 года назад

      Entirely logical. They need many MANY moar trees for all their paper. So they ask people to fund more trees. Makes eminent sense to me!

  • @spyguy318
    @spyguy318 4 года назад +17

    I remember the VSauce video on Ordinal Numbers and Infinities; I was prepared for this one. Still amazing that TREE grows even faster than that!

  • @yuvalne
    @yuvalne 4 года назад +182

    People: there's no way Numberphile can join the #teamtrees thing
    Numberphile: hold my beer

    • @masterimbecile
      @masterimbecile 4 года назад +35

      Hold my Klein bottle.

    • @yuvalne
      @yuvalne 4 года назад +6

      @@masterimbecile darn it should have seen that joke

    • @TheScarrMann
      @TheScarrMann 4 года назад +2

      With the amount of paper used in these videos I'd be shocked if they didn't

    • @triqky9301
      @triqky9301 4 года назад +2

      Well he did use paper...

    • @trevorx7872
      @trevorx7872 4 года назад +1

      Hold my juice

  • @bryanc1975
    @bryanc1975 2 года назад +13

    I read a cool description of Graham's number somewhere, in terms of trying to picture it in universal physical terms. If my memory serves me, it went like this: It said that even the integer describing the number of digits in Grahams number could not be represented if you made every particle in the universe a digit, and the same would be true for the number of digits in THAT number, and even if you went down that "number-of-digits-in-the-previous number" scale, with each level down being represented by a single particle in the universe, you still would not able able to fit it into the known universe. I wish I could find that again.

    • @r.a.6459
      @r.a.6459 Год назад +2

      In fact, g(1) itself, defined as 3↑↑↑↑3, is bigger than googolplexplex...plexplex (with googolplex 'plex'es)

    • @vokuheila
      @vokuheila 8 месяцев назад

      In fact, the number of digits in Graham's number is approximately Graham's number...

    • @hurricane3518
      @hurricane3518 3 месяца назад

      its on wikipedia

  • @TheChondriac
    @TheChondriac 4 года назад

    LOVED this video.

  • @illogicmath
    @illogicmath 4 года назад +15

    Making all these videos Brady practically became a mathematician.

  • @jj.wahlberg
    @jj.wahlberg 4 года назад +17

    Ah the iconic “Paper Change” music returns

  • @steves3948
    @steves3948 2 года назад

    These videos are fascinating.

  • @kanishkachakraborty
    @kanishkachakraborty 4 года назад +10

    15:20 *THAT ESCALATED QUICKLY* XD

  • @NoswadYT
    @NoswadYT 4 года назад +34

    I remember being outside his office when they were filming this 😂

  • @illogicmath
    @illogicmath 4 года назад +23

    This really exceeds my ability to comprehend.

    • @DFPercush
      @DFPercush 4 года назад +7

      Don't worry, it exceeds the physical universe's ability to comprehend too.

  • @toydotgame
    @toydotgame Год назад

    i love in a video about combining graham's number and TREE(3), just the integer 3 on its own is described as a "big number" also

  • @jonciobanu4546
    @jonciobanu4546 2 года назад +1

    Just the fact that no finite f(n) hierarchy could describe the growth rate of Graham's number, let alone TREE(n), blows mind mind. Truly shows how unimaginably large those numbers are.

  • @00blaat00
    @00blaat00 4 года назад +4

    I love the hint of fear that trickles through his enthusiasm when discussing the functions over Gamma-Naught: "We must tread lightly here, lest we disturb the Old Ones who dwell in these regions..."

  • @TheTwick
    @TheTwick 4 года назад +3

    Oh, I’ve missed the “Brown Paper Chronicles”. Thank you for this 😚

  • @luciengrondin5802
    @luciengrondin5802 Год назад

    15:19 "that escalated quickly"
    best use of that idiom ever.

  • @katherineg9396
    @katherineg9396 Год назад

    It's been nice knowing you guys. My head is going to explode now.

  • @danielstephenson7558
    @danielstephenson7558 4 года назад +74

    And as everyone knows we get Omega-3 from fish. So this video is telling me: plant Trees using fish.

  • @andrew_cunningham
    @andrew_cunningham 4 года назад +11

    At this point my entire subscription feed has been replaced by trees. I guess I'm okay with that.

  • @lennonsiurua620
    @lennonsiurua620 4 года назад +3

    Understanding the math sequence is beyond me. But watching Tony get excited about math is so entertaining.