You CANNOT imagine this number! (Graham's Number)

Поділитися
Вставка
  • Опубліковано 19 чер 2024
  • 👉 In this video we look at what energy actually is, and how we can reduce energy to the motion of particles.
    ⭐️ Related content:
    How much does the atmosphere weigh? • What Is The Weight Of ...
    Why is it colder during winter? • Why Are Temperatures C...
    Why do Icebergs float? • Why Icebergs Float. Bu...
    ⏱ Timestamps:
    00:00 Intro
    01:03 1: Standard Notation
    01:30 2: Scientific Notation
    03:48 3. Factorial Notation
    06:23 4. UP-arrow Notation
    11:17 5. Stupidly large numbers...
    12:00 6. Unimaginable...
    13:26 7. The Final Boss
    🙋‍♀️ If you have any questions, remarks, or suggestions for future topics, let me know in the comment section below or join the Discord Server!
    -- / discord
    🎥 Subscribe:
    ua-cam.com/users/timok?sub_confirmat...
    👍 Thanks for watching!
    #LargeNumbers #GrahamsNumber #OnlineEducation

КОМЕНТАРІ • 104

  • @lilyboo2404
    @lilyboo2404 2 роки тому +13

    And yet these unimaginable numbers are still closer to zero than to infinity, i still can't wrap my head around it.

    • @PenandPaperScience
      @PenandPaperScience  2 роки тому +5

      Yeah, that's a very accurate statement! :D Thanks for that :)

    • @vizart2045
      @vizart2045 2 роки тому +6

      Depends on the metric. If you use d(x,y)=atan(y/x) then the midpoint between 0 and infinity is 1.

    • @PenandPaperScience
      @PenandPaperScience  2 роки тому +3

      @@vizart2045 That is a true and interesting statement. However, when are such measures for distance used to compare points on a number-scale? I'm curious.

    • @vizart2045
      @vizart2045 2 роки тому +3

      @@PenandPaperScience You can project the numberline to a circle, where infinity is exactly opposite to 0 and 1 is halfway between them. I am not an expert, just a mathematician with some knowledge of this.

    • @Gimodon
      @Gimodon 7 днів тому

      No matter how big of a number you think of there's still an infinite number of numbers that are bigger than it

  • @timoose3960
    @timoose3960 2 роки тому +8

    Phew!

  • @JosefNovak-ge9sn
    @JosefNovak-ge9sn 2 дні тому +1

    you are amazing in mathematic. SUper.

  • @AymanTravelTransport
    @AymanTravelTransport Рік тому +6

    Beyond Graham's Number, you'll need transfinite ordinals in the fast-growing hierarchy (diagonalisation of functions to create something faster than any function that can be expressed via strictly finite terms) in order to express how big they are, with the lower bound of TREE(3) being very far into this.

    • @PenandPaperScience
      @PenandPaperScience  Рік тому +3

      Wow, that's very interesting, I didn't know that.
      Thanks for teaching me something :D

    • @AymanTravelTransport
      @AymanTravelTransport Рік тому +5

      @@PenandPaperScience an easier way to look at the scale of Googology is via the Psi Levels (from Googology Wiki) where all numbers from 0 to 10 (some say 0 to 6) are in level 0 and then level 1 is double digits to a million. Thereafter, level 2 covers everything from there to a million digits, so pretty much every number that is practically feasible within our observable universe is barely into level 2 within this insanely growing scale, with the Googolplex we all know and love (a number that won't fit in our observable universe if written down in full) being within level 3. Remember, as you go up one level, the numbers increase at an incomprehensibly faster rate than the level before it to the point where each successive level is further apart from the previous than that from level 0. For example, level 5 is much further away from level 4 than level 4 is from 0 and so on.
      Okay, now we got that out of the way, what if I told you Graham's Number (between the first transfinite ordinals omega and omega+1 in FGH) is level 12? Yeah, that's right and what's more, level 13 is reached through iterating that G(n) function that build's Graham's number, so basically G(G(64)) or even G(G(G(64))) and so on until you get a Graham's number of these iterations, which is omega+2 and hitting level 14 or 15. Then this gives a new function which iterates itself even further to reach the next level and so on until you reach omega+omega (omega*2) which diagonalises all of this (level 17). Rinse and repeat all those hyperoperations until you're at omega^2 (level 24) and this carries on until you reach omega^omega (level 31). Thereafter, you build power towers of omega (there aren't enough dimensions to express the layers of iterations happening here) until you reach one infinite high (each time you exhaust all finite numbers you diagonalise similar to how n^1, n^2, n^3, etc. becomes n^n but on crack) which becomes the next ordinal epsilon0 (level 51).
      Rinse and repeat with epsilon0 similar to omega and you reach epsilon1 (infinite power tower of epsilon0) until you get epsilon-epsilon, then epsilon-epsilon-epsilon, etc. Eventually, you have an infinite nesting of epsilon (pentation on steroids) which becomes zeta0 (level 70). Repeat every hyperoperation (diagonalise through each one) with zeta the way you did with epsilon, you reach eta0 (level 80). After that, you'll need phi-numbers or else you'll run out of Greek letters (epsilon0 is phi1, zeta0 is phi2, eta0 is phi3, etc.). Hence an infinite nesting (and I'm talking diagonalising through 5 orders of hyperoperation each time) of eta0 is phi4 and then phi(n) is an infinite nesting of phi(n-1) until you have phi(phi(4)) and then you iterate the phi(phi(phi(so on...))) an infinite times (further diagonalisation) until you reach the insane gamma0 (level 100).
      Letting all that sink in, I bet you're thinking "surely we'll have passed TREE(3) right?" WRONG! Even diagonalising the iterations-upon-iterations of fgamma0(n) [an incomprehensibly fast growing function] to reach TREE(3) would be much slower than reaching Graham's Number via mere COUNTING, forget addition! This is because TREE(3) is all the way up in level 120 of this Googology scale requiring the Veblen Ordinals to actually approximate its lower bound; that's right, I mean 20 levels beyond even the gamma0 ordinal. For comparison, 1 and Graham's Number are only 12 levels apart. On the other hand, TREE(3) is a whopping 108 levels ahead of Graham's Number. Meanwhile, SCG(13) at level 170 is 50 levels ahead of TREE(3) and (brace yourself for this one) then Rayo's Number is all the way at level 700.
      TL;DR: If all numbers from 0 to 10 are level 0, double digits to a million in level 1 and level 2 runs up to a million digits, with level n to n+1 being greater than level n to 0, G64 is in level 12 and TREE(3) is all the way up in level 120. Basically, reaching TREE(3) using Graham's function (even iterating its iterations) will be FAAAAR slower than counting to Graham's Number and that's not even an exaggeration. In fact, it's actually a MASSIVE understatement!

    • @berspective1
      @berspective1 Рік тому +3

      @@AymanTravelTransport Are there mathematical problems that need this notation. Or is it just available in case there are solutions to mathematical problems that cannot be conviently expresed without it.

    • @laxxius
      @laxxius 7 місяців тому

      ​@@AymanTravelTransportwhere in the world did you get these levels from?

    • @tobiaswilhelmi4819
      @tobiaswilhelmi4819 5 місяців тому

      Tree(3) isn't "very far into it", as Graham's number is in the region of Omega+1 and tree(3) around Omega+2. And 'the Omegas' are only one family of many within the Fast Growing Hierarchies.

  • @laxxius
    @laxxius Рік тому +8

    Graham's Number is probably the most popular super huge number after googolplex, but there are a bunch of numbers larger (however they are not used in any mathematical proof like graham's number).
    TREE(3) is another kinda famous number that's bigger than G(64). It wasn't used for a mathematical proof, but it was used in an example for a proof, iirc.
    SSCG(3) or SCG(13) is in a similar boat to TREE(3).
    Busy Beaver numbers are much larger than all of these, and have to do with uncomputable sequences.
    Rayo's Number is the grand champion of all big numbers (well, not really but it's most known)

    • @PenandPaperScience
      @PenandPaperScience  Рік тому +3

      Very interesting! Yes, I chose Graham's number because it was actually a solution to a tangible problem in combinatorics mathematicians had at the time. I might do a video on this problem :) Thanks for the additional information. ^^

    • @they-call-me-martin3837
      @they-call-me-martin3837 7 місяців тому

      Sam's number is bigger than Rayo's Number, right? what's the biggest number we got a name for?

    • @laxxius
      @laxxius 7 місяців тому

      @@they-call-me-martin3837 Sam's number is nothing. it's just a meme made by some dude several years ago that somehow snuck its way into people's brains.
      Large Number Garden Number is generally considered the biggest number atm.

    • @laxxius
      @laxxius 5 місяців тому

      ​@@they-call-me-martin3837Sam's number doesn't exist, it's just a joke. Biggest number is generally agreed to be Large Number Gardeb Number rn

  • @pthleigh
    @pthleigh 3 місяці тому +1

    Thankyou! This is the clearest explanation of up-arrow notation I've seen on UA-cam. Great job!

  • @icebeartwo
    @icebeartwo 2 роки тому +14

    The largest one is Rayo's Number right?

    • @PenandPaperScience
      @PenandPaperScience  2 роки тому +9

      Well, I haven't heard of that one, will look it up! :D Thanks :)

    • @icebeartwo
      @icebeartwo 2 роки тому +7

      @@PenandPaperScience yeah sure!

    • @PenandPaperScience
      @PenandPaperScience  2 роки тому +8

      @@icebeartwo So it seems Rayo's number is indeed vastly larger than Graham's number. This is because Rayo's number defines large numbers by the number of symbols that are used to describe them (an up-arrow can also be a symbol). However, I did not find a "practical" application for this number. Still, incredibly interesting! :)

    • @icebeartwo
      @icebeartwo 2 роки тому +5

      @@PenandPaperScience Yup, you are absolutely correct.

    • @XtreeM_FaiL
      @XtreeM_FaiL Рік тому +2

      @@PenandPaperScience The practical part is that it won a competition.

  • @nikhilbontha1621
    @nikhilbontha1621 Місяць тому +1

    Simple: 2022 - 2024 = -2. 2022 will be a factor of Graham's number of years ago within eight months.

  • @sreser111
    @sreser111 Місяць тому +1

    that's funny i was in bed and listening to the videos and never had herd this one before. My first thought was Grahams number when you started and asked us. of course i had no idea the title of this vid. So yea not all people think of small numbers.

    • @PenandPaperScience
      @PenandPaperScience  Місяць тому +1

      Yeah, that's a good point :D
      Though, I think you are one of the few ;)

  • @pacman52280
    @pacman52280 5 місяців тому +1

    I think I read on Wikipedia awhile ago, they have figured out the last 16 million digits of G64.

    • @PenandPaperScience
      @PenandPaperScience  5 місяців тому

      It is so funny to me that they know the *last* figures of this number, but have no clue about the first ones. :D

    • @pacman52280
      @pacman52280 5 місяців тому

      @@PenandPaperScience, I have also heard that the actual number of digits in G64 is just as impossible to comprehend as the number itself. Yet, even G64 is microscopically tiny when compared to TREE(3). That number is so big, they haven't calculated even what a single confirmed digit is. I would imagine it has millions and millions each of the digits 0-9, but where they are and in what order is unknown. By the way, my favorite number starts with 3.14 and goes on forever after that. Saw a video about it. They figured out the 100 TRILLIONTH digit after the decimal point is 0.

    • @Game_Ender4
      @Game_Ender4 Місяць тому

      ​@pacman52280 The number of digits in Graham's number is effectively as large as the number itself. If you take the number of digits in G64, and then take the number of digits in thar number, and keep repeating the process, where you take the number of digits in the new number, you could do this 1,000 times and still be left with an unimaginably large number. In fact, the number of times you would need to do this process before you would reach a calculatable number is in itself too large to comprehend. The number of times you would have to do it would itself have to be reduced too many times to comprehend. Also, there's probably no way to ever find out any digit of TREE(3), since there's no formula to reach the number.

  • @martins2462
    @martins2462 2 роки тому +6

    It is g1 that equals 3 ^^^^ 3, not g0, I think…
    en.wikipedia.org/wiki/Graham%27s_number
    Otherwise, good video.

    • @PenandPaperScience
      @PenandPaperScience  2 роки тому +2

      Oh, you are of course correct! It should be g1 instead of g0. My bad. Thank you for pointing that out. :)

  • @nikhilbontha1621
    @nikhilbontha1621 Місяць тому

    _3(3) is an unnecessarily large factor of Graham's number.

  • @user-xm8qc9yp5j
    @user-xm8qc9yp5j 3 місяці тому +1

    Tan 90 degree - 1 is the greatest number

    • @PenandPaperScience
      @PenandPaperScience  3 місяці тому +1

      That's infinity - 1, which is still infinity, strictly not a number :D
      But good try ;)

  • @9181shreyasbhatt
    @9181shreyasbhatt 9 місяців тому +1

    Great video!!!
    Ok, there is a little problem defining g(0), this has been discussed in the comment section already. but I might as well add a drop in the ocean.
    If we define g(0) equal to 3↑↑↑↑3 then the grahm number is g(63). and if we define g(1) equal to 3↑↑↑↑3 then Grahm number is g(64).

    • @PenandPaperScience
      @PenandPaperScience  9 місяців тому +1

      Thanks!!
      Yes, I think your are correct. Though it is not fashionable to define mathematical constants differently than what is the norm.

  • @PenandPaperScience
    @PenandPaperScience  2 роки тому +8

    🚀 Those are some big numbers! :)
    Join our discord server! -> discord.gg/mrdvf6VK6k

  • @crazymanyt4667
    @crazymanyt4667 Рік тому +7

    There’s no such thing as g 0 it starts at g1

    • @PenandPaperScience
      @PenandPaperScience  Рік тому +5

      You are indeed correct! That's an error on my behalf, thank for pointing that out :)

    • @Itzthevice
      @Itzthevice Рік тому +5

      there is a g0 which is literally 4

    • @xyz.ijk.
      @xyz.ijk. Рік тому +1

      That was excellent. I'm glad I found your channel.

    • @PenandPaperScience
      @PenandPaperScience  Рік тому +1

      @@xyz.ijk. Awesome! Good to hear! :))

    • @regina3an250
      @regina3an250 10 місяців тому

      @@Itzthevice what is g-1

  • @fabioML93
    @fabioML93 Рік тому +3

    So the number of the atoms that compose the earth is 10^50... and the total atom in the universe is only 10^80?
    How can this be possible? 🤔🤔

    • @PenandPaperScience
      @PenandPaperScience  Рік тому +4

      The difference between these two numbers is unfathomably large! 10^30 to be exactly. What is says is that an atom compared to the earth is still much smaller than the earth compared to the total mass in the universe.
      Also, empty space does not contain that much atoms; stars and planets are really, really far away from each other.

    • @fabioML93
      @fabioML93 Рік тому

      @@PenandPaperScience Okok thanks for the explanation 😁😁

    • @nickronca1562
      @nickronca1562 Рік тому +3

      I think what you meant to ask was how can the particles in the observable universe only be 10^80 when the number of grains of sand you can fill the observable universe with is 10^90? Well the answer is because the universe is mostly empty space. The number of particles in the universe is no where near the number of particles that could fill up the universe.

  • @parkershaw8529
    @parkershaw8529 Рік тому +2

    Let X=3^^^3, a power tower of 3 with 7.6T layers.
    g0=3^^^^3=3^^^3^^^3=3^^^X
    =3^^3.......3^^3, a tower with X layers, each layer is another (progressively taller from top down) tower!!!
    I have no way to imagine g1, let alone g64!!!!

  • @MABfan11
    @MABfan11 Рік тому +3

    posted this on r/googology

  • @Bfrsf4
    @Bfrsf4 2 роки тому +3

    Cool g64

  • @user-rs5ps1rz5c
    @user-rs5ps1rz5c 4 місяці тому +1

    F(1)=3
    F(x)=3^f(x-1)
    3^^^3=f(f(3))
    3^^^^3=f^f(f(3))-1(3)

  • @gamingxpromax
    @gamingxpromax 3 місяці тому

    tree of grahams number tetrated to tree of grahams number

    • @PenandPaperScience
      @PenandPaperScience  3 місяці тому

      Mind blowing :D
      But, does your number have a practical use? :)

  • @csabafarago1673
    @csabafarago1673 8 місяців тому +1

    3↑↑↑↑3 is the first number in the Graham series, not the zeroth.

    • @PenandPaperScience
      @PenandPaperScience  8 місяців тому +3

      Yes, you are correct, that's a mistake on my part. Thanks for pointing it out! Years ago you could add annotations to videos correcting errors, but that feature has been removed.

  • @SAKURA8023o
    @SAKURA8023o Рік тому +2

    10:28 is this an error? How does the 3 ↑ ↑4 has the same digits with 3 ↑ ↑3?

    • @PenandPaperScience
      @PenandPaperScience  Рік тому +7

      3 ↑ ↑3 is roughly 7.6 trillion (13 digits), whereas 3 ↑ ↑4 has 3.5 trillion *digits*.
      They definitely do not have the same number of digits :D
      Does that answer your question?

  • @regina3an250
    @regina3an250 10 місяців тому +2

    g1 is 3 arrow arrow arrow arrow 3

    • @PenandPaperScience
      @PenandPaperScience  10 місяців тому +1

      You're completely right, thanks for pointing that out! (:

  • @alexandravendeirogomes230
    @alexandravendeirogomes230 Рік тому

    3, g63 flèches 4 et beaucoup plus grand que 3, g63 flèches 3.

  • @DrLawIrk
    @DrLawIrk 5 місяців тому

    3 four arrows 3 is G1, not G0

    • @PenandPaperScience
      @PenandPaperScience  5 місяців тому

      You are completely correct! That's my mistake. Well spotted :)

  • @kenwiley8453
    @kenwiley8453 Рік тому +1

    Alrigt Bet... Done I Imagined It Wanna Know Why Cause Imma Be A Theorical Scientist After Medical School

    • @PenandPaperScience
      @PenandPaperScience  Рік тому

      Why do you want to become a Theoretical Physicist? And why did you choose medical school?

    • @kenwiley8453
      @kenwiley8453 Рік тому

      @@PenandPaperScience Medical School Because I Need To Control The Degree That I Suffer From My Choices Of Making Complicated Medical Mistakes and Theoritical Scientist Because They Will Provide Solutions for Cool Projects Like Space Exploration, Or High Valued Products, & They Always Learning New Concepts That Will be Taught to Medical Doctors which Means I Will Be Exploring a lot of Uncharter Territory Allegedely

  • @gtziavelis
    @gtziavelis Рік тому +1

    at 10:27 you said that 3 double up arrow 3 is a number with 3.5 trillion digits, which is wrong -- it only has 13 digits -- and at 2:15, you counted 12 zeroes and came up with 15 zeroes. as this is the first of your videos I've seen, let it be the last; it's getting in the way of my learning 😁 cool academic accent, though.

    • @PenandPaperScience
      @PenandPaperScience  Рік тому +1

      Hi there, thank you for your corrections, you are right, I am aware of them.
      You will find less errors in my physics videos, as that is my field of expertise. Best of luck on your learning endeavours (:

  • @nikhilbontha1621
    @nikhilbontha1621 Місяць тому +1

    Infinity is not a real number, so it'sn't allowed.

  • @thiennhanvo2591
    @thiennhanvo2591 Рік тому +1

    I thought Scientfic notation its : 1e100(googol aka 10^100(e up arrow notation))

    • @PenandPaperScience
      @PenandPaperScience  Рік тому +1

      Grahams number is much larger than one googol. A googol is 10^100 (100 digits). A googol-plex is a 1 with googol zeros! :D

    • @thiennhanvo2591
      @thiennhanvo2591 Рік тому

      ​​@@PenandPaperScience oh well theres googolplexian basically its a 1 followed by a googolplex zero

    • @thiennhanvo2591
      @thiennhanvo2591 Рік тому

      ​@@PenandPaperScience well Tree(3) seeing G belike
      Oh wow a baby =)

    • @PenandPaperScience
      @PenandPaperScience  Рік тому

      @@thiennhanvo2591 :D Tree(3) is huge!

    • @thiennhanvo2591
      @thiennhanvo2591 Рік тому

      @@PenandPaperScience also dont forget that sscg(3) exist(scg and sscg grow at the same rate but sscg is more easy than scg)

  • @christopherjohnson1803
    @christopherjohnson1803 Рік тому +2

    Googolplex is the largest number thar makes any practical sense or is useful in reality. Anything higher is a theoretical function. Just my 2€

    • @PenandPaperScience
      @PenandPaperScience  Рік тому +4

      In fact, a googolplex would be a prime example of a non-useful large number: it's only significance is that it's a 1 with a googol zeros. Graham's number on the other hand is a solution to a tangible, albeit theoretical, problem in mathematics (more specifically Ramsay theory).

    • @christopherjohnson1803
      @christopherjohnson1803 Рік тому

      @@PenandPaperScience Thanks for the input...sometimes these numbers can boggle the mind!!