Surreal Numbers (Don Knuth Extra Footage) - Numberphile

Поділитися
Вставка
  • Опубліковано 26 вер 2024

КОМЕНТАРІ • 139

  • @David_Last_Name
    @David_Last_Name 8 років тому +66

    I love cereal numbers. They go great with milk!

  • @PI227
    @PI227 8 років тому +196

    The st comment.

    • @PI227
      @PI227 8 років тому +9

      Yes, but i thought that would be inconsistent because conventionally we state the primary position as 1st rather than 0th.

    • @you_tube618
      @you_tube618 8 років тому +10

      +Rai Paribesh Not always. My house has a 0th floor (ground) and my cpu has a 0th core.

    • @yosefmacgruber1920
      @yosefmacgruber1920 8 років тому +1

      But you could sometimes start building something at 0?
      The 0th day of the month, is simply the last day of the previous month.

    • @ChristopherKing288
      @ChristopherKing288 8 років тому

      +Rai Paribesh On Numbers and Games had two parts: the zeroth and the first.

    • @loftyblond
      @loftyblond 8 років тому +1

      :●>

  • @jan_kulawa
    @jan_kulawa 5 років тому +23

    Dr. D. Knuth is such a sweet man in these interviews. I can hardly believe he designed TeX.

    • @zokalyx
      @zokalyx 4 роки тому +2

      He did?

    • @MuffinsAPlenty
      @MuffinsAPlenty 3 роки тому +1

      @@zokalyx Yes, he did :)

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

      He has reformed himself in his later years. He is no longer the monster he once was.

  • @EmmettFarley
    @EmmettFarley 8 років тому +48

    Regarding Brady's question about 'how to get to infinity', I think Knuth kinda nailed it in his book. In "Surreal Numbers", Alice and Bill are the only two characters on an island going back and forth trying to understand these rules and constructing a number system based on them. When they run into the necessity of infinite sets to define the number "3", Knuth writes Conway's voice in as a god-like rumble of thunder in the sky foreshadowing the students' later realization. It isn't until the system begins to reveal itself that Bill and Alice are able to understand where things are headed and the necessity of infinity to account for the world around them that infinite sets and infinity itself is introduced.
    It's so subtle that even the characters in the book mistake Conway's interjection as thunder, a harbinger of the upcoming monsoon season. The readers of the book are left with a puzzlement. Is this an actual editorial comment John Conway had of Knuth's book? Is this is the "JHWH Conway" character from the stone carving in the story? Is Conway speaking to the characters or to us?
    It's an amazing storytelling device that forces us to become aware of a new dimension of reality. The story exists as a story : the reader as the reader. Those who contributed to the story are on one side : the reader's growing curiosity and understanding on the other. Alice and Bill shrink to slivers smaller than the smallest piece of our reality : while realization fills us and we look up from the book to stare beyond the reality we once knew.

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

      Don't they need infinity for a third? In the surreal number system you need infinite numbers to get to 2/3. Normal 3 should just be {0,1,2 | }

    • @user-uw7cr4os4r
      @user-uw7cr4os4r 3 місяці тому

      @@plushloler How is ` = 3`? Can you explain how you arrived at that result, with cross-references to the rules of surreals?

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

      @@user-uw7cr4os4r you can go to wikipedia and in the "description" section you will find that {2: } = 3, it's not essential to write 0 and 1 as well, but it would not change the number and it's allowed, as they are both less than 2. In general, to get the next integer in the surreals you put the previous one, or all of the previous ones. On the same wikipedia page you can look at the induction rule for that, but they only generate 1 and 2 this way in the example there.

  • @jonny5825
    @jonny5825 8 років тому +11

    PLEASE do more videos with this guy, maybe one on Knuth's up arrow notation?

  • @andrewsauer2729
    @andrewsauer2729 8 років тому +11

    I have no problem whatsoever with accepting any self-consistent number system as mathematically valid, completely regardless of whether there is any real-world analogue or use for it. Whether I spend much time contemplating it is another matter, but I will not hesitate to accept it for what it is.

    • @federook78
      @federook78 7 років тому +2

      I agree. But, that said, the surreal numbers do portray something outside their self contained system, namely games. Conway found them when looking into game theory.

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

      Also remember that math isn't only useful for decrypting the universe but also engineering and understanding our own creations.

  • @AlderDragon
    @AlderDragon 8 років тому +2

    Thanks for doing another video with Dr. Knuth. A true genius.

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

    I pondered over what the difference could be between "greater than or equal to" and "not less than", but then some fellow somewhere here pointed out that the empty set is not greater than or equal to any numbers on the left, and yet is also not less than those same numbers. And thinking about that, as a programmer, it makes sense, considering that there is a sort of equivalent for floating point: NaN.
    NaN >= x is false, and at the same time, NaN < x is also false.

    • @tomkerruish2982
      @tomkerruish2982 7 місяців тому +2

      The difference is that you first need to prove that all numbers are comparable. This does happen to be true but is false in the larger world of games (what Knuth terms pseudonumbers). For example, the game {0|0}, termed 'star', is neither greater than, less than, nor equal to 0; it's incomparable with (or 'confused with') 0. In this more general arena, 'not greater than or equal to' is very definitely distinct from 'less than'.
      There's a video (his only one, tragically) by Owen Maitzen on this subject titled 'HACKENBUSH: a window to a new world of math', which I cannot recommend highly enough.

  • @luckyluckydog123
    @luckyluckydog123 8 років тому +4

    I would like to see more videos about surreal numbers and about their relation with Robinson's non-standard analysis

    • @EebstertheGreat
      @EebstertheGreat 8 років тому +1

      I'm no expert, but I think non-standard analysis uses subsets of the class of surreals called hyperreal sets (or more precisely, hyperreal fields).

  • @PhilBagels
    @PhilBagels 8 років тому +29

    So what exactly is the difference between "greater than or equal to" and "not less than"?

    • @DustinRodriguez1_0
      @DustinRodriguez1_0 8 років тому +19

      Since he said that it makes the development of the system easier to use 'not less than' I would imagine that it's probably primarily a matter of how you prove things. To prove "greater than or equal to", you have to prove both that the case of equality and the case of greater-than are both valid, but with 'not less than', you only have to prove that the less-than condition produces a contradiction. But it might be more than just that since the surreal numbers deal so much in infinitesimals, I'm not entirely sure.

    • @thomasr.jackson2940
      @thomasr.jackson2940 8 років тому +22

      It caught my ear as well and I went searching. Apparently, it has to do with the law of trichotomy. The real numbers obey this law and every pair of real numbers, x and y, x is either less than, equal to, or greater than y. Other numbers do not necessarily obey this law, including the complex numbers. A fourth category arises of numbers being potentially incomparable.
      All this is just from som quick reading. I don't claim to understand it and I might be getting it all squiggly. But thought it might still be welcome, in a blind leading blind sort of way. What a fascinating mathematics!

    • @NikolajLepka
      @NikolajLepka 8 років тому

      can you list your sources?

    • @thomasr.jackson2940
      @thomasr.jackson2940 8 років тому +1

      +Nikolaj Lepka nothing fancy. Just Wikipedia.

    • @NikolajLepka
      @NikolajLepka 8 років тому

      Thomas R. Jackson yeah I tried to Wikipedia it but I guess my search terms were too loose to get any tangible results
      Hence why I'm asking :3

  • @marcthatcher
    @marcthatcher 8 років тому +7

    fantastic book. and knuth talking about Conway - could there be a better video?

    • @cappucino7908
      @cappucino7908 8 років тому +1

      Yes, a similar video twice as long.

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

    legend

  • @popcorn00109
    @popcorn00109 8 років тому +3

    Really love this way of looking at serial numbers

  • @Hecatonicosachoron
    @Hecatonicosachoron 8 років тому +1

    Very interesting interview!

  • @AaronHollander314
    @AaronHollander314 3 роки тому +1

    Are we sure he wasn't in Amsterdam instead of Norway?

  • @TimmahDee
    @TimmahDee 8 років тому +4

    Can anyone explain why 'greater than or equal" is not the same as "not less than"?

    • @donaldb1
      @donaldb1 8 років тому +6

      Of the top of my head I guess the difference might be relevant in the earlier stages of creation when one or other the sets involved is the empty set. You can't really say that the empty set is "greater than or equal to" anything, but you can say that it is "not less than" anything.

    • @carly09et
      @carly09et 4 роки тому

      Handedness: the greater is on the right . Not less than can be the ordering, greater than or equal cheats the ordering. The logic holds only if the ordering holds. Thus the comment on proofs.

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

    I feel like 1/infinity should really be 1/(2^infinity), at least the way that was defined in the video. {1/2,1/4,1/8,1/16,...|} and I think 1/infinity should be defined on day infinity plus 1 {1/1,1/2,1/3,1/4,...|}
    Just a thought that popped into my head.

  • @yuyurtrtrt2160
    @yuyurtrtrt2160 8 років тому +5

    Is this the arrow guy?

    • @Xnoob545
      @Xnoob545 4 роки тому

      Yes

    • @katakana1
      @katakana1 4 роки тому

      @@Xnoob545 WHY AM I SEEING YOU HERE?!?!?

    • @Xnoob545
      @Xnoob545 4 роки тому

      @@katakana1 i watch like 60 different channels

    • @Xnoob545
      @Xnoob545 4 роки тому

      @@katakana1 also a reaction channel with over 10m subs: Infinite

    • @Xnoob545
      @Xnoob545 4 роки тому

      @@katakana1 ALSO music channels like roomieofficial

  • @gocrazy432
    @gocrazy432 4 роки тому +1

    This seems like a notation variant of the hyperreals. What's the difference besides notation?

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

      The hyperreals are a subfield of the surreals. Every hyperreal number is a surreal number, but there are many, many more surreal numbers than hyperreal numbers. To say that 0% of all surreal numbers are hyperreal numbers would be an understatement. The collection of surreal numbers is actually too big to be a set - it's a proper class.

  • @replicaacliper
    @replicaacliper 7 років тому

    from what I understand, the surreal number statement implies infinitely small quantities. therefore the universe cannot work within this system because we have set limits such as a planks length

    • @jbt-qu6lm
      @jbt-qu6lm 5 років тому +3

      plancks length is not a set limit. i am two years late but i cannot let this stand. its the minimum MEASURABLE distance but you can move half a planck length and until quantized space is empirically proven its not able to be called a set limit.

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

      By that logic, the universe can't work with real numbers either, or even all the rationals.

  • @thedarkspeedninjashadittsux
    @thedarkspeedninjashadittsux 6 років тому +1

    But what would pi be in surreal notation?

    • @katakana1
      @katakana1 4 роки тому +1

      First, you need to know binary...

  • @jojobeaums9004
    @jojobeaums9004 8 років тому +4

    What I find especially surreal is that the same axioms can have different interpretations.
    His formal description of a number strictly greater than 0 but less than any positive fraction has no home in standard analysis. The limit concept is 'too strong' in the sense that it deletes the information about the inequalities presented. The limit of (1/n) is 0, after all.
    To think of a such a surreal number is beyond analysis. The sequence of sets ( [0,1/n] ) 'approaches' {0}. I suppose [0,1/w] can be used to describe 'the set just before the limit set' but experience tells me that set won't be unique.
    Like 1/w can be but then 1/w can also be .
    I think what we have here is a model of the extended number line generated by the axioms. You have a way to generate all the fractions, you have a way to write any inequality and thus you have a way to refer to all the real numbers... and more.

    • @arcuesfanatic
      @arcuesfanatic 8 років тому +3

      Actually, it is not needed to represent 1/w as . This is because you need 1/w (and therefore w) to even get to 1/3. Without w, you can only get fractions with 2^n as the denominator.

    • @jojobeaums9004
      @jojobeaums9004 8 років тому

      +arcuesfanatic lol, what's up with your definition of fraction? You can totes have them in any numerator and denominator before dabbling in the infinitely small.

    • @arcuesfanatic
      @arcuesfanatic 8 років тому +2

      ***** Before you get to omega (written as "w" here), you can only have fractions with 2^n as the denominator and anything as the numerator, due to the way surreal numbers are built. And while you can get a whole load of fractions that way, you never quite get to stuff like 1/3 or 1/5.

    • @arcuesfanatic
      @arcuesfanatic 8 років тому +2

      If you have a surreal number where neither the left set nor the right set are empty, the resultant number is right in between the largest element in the left set and the smallest number in the right set. For example: is 1/2 as that is right in between 0 and 1. Due to this exact middle behavior, fractions before the infiniteth generation is dyadic (denominator is 2^n).
      Once you get to the infiniteth generation, every real number can be created. For 1/3, you can use for any "y" value on either side that fits that side's inequality. These inequalities simplify down to y1/3. The number right in the middle of that is y=1/3.
      As for adding infintely, we have shortcuts to simplify the equations.

    • @jojobeaums9004
      @jojobeaums9004 8 років тому

      Interesting but I still feel that you could have alternate interpretations of the pair of sets that make for a more deep structure

  • @piotao
    @piotao 2 роки тому

    Is there a polish translation?

  • @Ryuuuuuk
    @Ryuuuuuk 8 років тому +2

    I just looked it up - they have the book in our library. :-)

  • @user-vg7zv5us5r
    @user-vg7zv5us5r Рік тому

    Woo

  • @adityakhanna113
    @adityakhanna113 8 років тому

    Okay.... So, isn't the concept of Smallest /largest present here even?
    And isn't a differential pretty much the same?
    And is half of a differential less than a differential?

  • @mechwarreir2
    @mechwarreir2 8 років тому

    Does anyone know if "pi" is a surreal number? It was hard enough to figure out if it was transcendental back in the day, but how can we prove that it has a countably infinite amount of digits? And for that matter, what about e or phi?

    • @arcuesfanatic
      @arcuesfanatic 8 років тому +4

      Yes, "pi" is a surreal number. Once you reach "omega" (which is defined as a number larger than every other positive number, causing it to be misunderstood as "infinity"), you start getting a whole bunch of new numbers, filling in gaps you weren't aware were there. Until you reach "omega", the only fractions achievable have a denominator of 2^n, but with "omega", you can get to stuff like 1/3 and "pi" very easily (easy in the sense of surreal numbers).

    • @frankfranksen996
      @frankfranksen996 8 років тому +7

      every number is a surreal number

    • @katnos4609
      @katnos4609 7 років тому

      frank franksen What about complex numbers

    • @arcuesfanatic
      @arcuesfanatic 7 років тому +4

      Ekaterina Nosenko They're called surcomplex numbers. They keep the form a+bi, but now a and b can be any surreal number.

  • @thesimulacre
    @thesimulacre 7 років тому +1

    Maybe the real world is not discrete at all, but instead defined by the constructive interferences of waves which would make it more akin to octaves and harmonics.

  • @jimtwisted1984
    @jimtwisted1984 5 років тому

    Do surreal numbers contain irrational numbers?

  • @hklausen
    @hklausen 7 років тому

    Is Surreal Numbers algebraic?

    • @KasiaGoclowski
      @KasiaGoclowski 7 років тому

      Interesting point!

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

      I'd say no, because they include all the real numbers, which include all the (non-algebraic) transcendental numbers. And that's before you even get to the transfinite or infinitesimal ones.

  • @alleycatsphinx
    @alleycatsphinx 5 років тому

    We discovered the surreal numbers before numbers - we called them many things - rocks, stars, crystals, swarms, hopes : )

  • @yosefmacgruber1920
    @yosefmacgruber1920 8 років тому +1

    So whatever are surreal numbers useful for? Absolutely nothing? Why have all these alternate number systems, when we already have a number system that works wonderfully?
    What does infinity + 1 even mean? The ordinary number system simply describes reality in that ∞ + 1 = ∞. Numbers are already abstract, so what is the point of surreal numbers making an abstraction of an abstraction? I would rather just have surreal art.

    •  8 років тому +1

      infinity isn't a number

    • @yosefmacgruber1920
      @yosefmacgruber1920 8 років тому

      Romário Rios
      Infinity is not a constant.
      Thus, ∞ - ∞ = undef, according to my TI89 graphing calculator.

    •  8 років тому

      +Yosef MacGruber of course it is undefined, you're subtracting two non-numbers.
      similarly, infinity + 1 is also undefined, because infinity is not a number

    • @yosefmacgruber1920
      @yosefmacgruber1920 8 років тому

      Romário Rios
      Wrong. Infinity is a concept, and such a calculator would simply give the answer to ∞ + 1 as infinity.
      Infinity is an answer on my calculator, and it is also a type-able character on my TI89 calculator. Calculators that do symbolic math, rather than just decimal approximations, seem to be able to deal with infinity, and also complex numbers. Well at least that is the case with my TI89.
      undef simply means there is not enough information to determine an answer. For example, my TI89 says that 1/0 = undef. Simply looking at a graph of 1/x as x approaches 0, shows what the problem is. The graph diverges at 0 going towards both -∞ and +∞. Since it does not converge towards a single answer, the calculator says undef. But when I put it in as limit(1/x) as x approaches 0 from the positive direction, my TI89 gave the expected answer of ∞.
      ∞ - ∞ = undef, because it is one of the listed indeterminate forms. We can not simplify, because ∞ is not a constant, and not all infinities are equal.
      A line can not be defined by only one point, right? So consider what happens with the line slope formula, based upon 2 points, when both points are actually the same point. We have
      Slope = (y2-y1)/(x2-x1)
      We know that y1=y2 and x1=x2, so let's substitute.
      Slope = (y1-y1)/(x1-x1) or 0/0, which is a recognized indeterminate form. Slope = undef. We just can not find the slope of the line, because one point is not enough information. Based on only that point, the slope could be of any value. If you can find the coordinates of another different point, then we can find the slope.
      Why do we even care what the slope is? One reason is, with that information, plus the y value when x=0, we can give the equation of the line. All lines that have a y=0 point and a x=0 on them, can be written in the form of y=ax+b. (Well except for the line x=0.) Or Slope • x + b, in which b is the value of y when x=0. The exception would be, horizontal lines, which are written in form of y=b. But that is not an exception is it? The slope of a horizontal line is 0, and 0x is of course 0, so y=ax+b simplifies to y=b. Maybe the exception is x=c, a vertical line, in which slope = ∞, or is that undef, as do we say it is +∞ or -∞?
      Come to think of it, that would be an interesting program assignment. Given any 2 points, the program should correctly calculate the equation of the line connecting those points, handling all normal special cases of horizontal and vertical lines correctly. If both points are the same point, it should correctly give the result as Undefined. It should be decided whether allowed input values are to be integers, rational numbers, irrational numbers, decimal approximations, mathematical expression of the combinations of these (example: [2*√3,2/π] [2*√3,2/π] Answer => Undefined), or what? Maybe we would just go with decimal approximations, since that is what programming languages generally use.
      Can any graphing calculators solve for this already? I know some calculators can solve equations, but points are not equations?

    • @arcuesfanatic
      @arcuesfanatic 8 років тому +5

      Surreal numbers have been useful in determining the outcome of games. If we have two perfect players, L and R, and a surreal number x = , we can get four different outcomes:
      x > 0, Player L is guaranteed to win regardless of who goes first
      x < 0, Player R is guaranteed to win regardless of who goes first
      x = 0, the player who moves second is guaranteed to win
      x || 0(incomparable), the player who moves first is guaranteed to win.

  • @Krone37Io
    @Krone37Io 8 років тому

    aw! how cute that he think we can reach infinity because he doesnt understand how the internet work.

    • @ironDsteele
      @ironDsteele 8 років тому +42

      The principals that man understands would give you nightmares.

    • @SendyTheEndless
      @SendyTheEndless 8 років тому +16

      To the OP: How cute that you completely missed his point.

    • @DeathBringer769
      @DeathBringer769 6 років тому +3

      Stunning display of the Dunning-Kruger effect, wow...

    • @ludiProjects
      @ludiProjects 4 роки тому

      Ironic

    • @joshuascholar3220
      @joshuascholar3220 4 роки тому

      I think he was slightly dumbstruck by how naive and imprecise the question was, but he interpreted it as a poetically philosophical question instead of a mathematical one, which is the most generous interpretation.