Surreal Numbers (writing the first book) - Numberphile

Поделиться
HTML-код
  • Опубликовано: 24 янв 2025

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

  • @nitowa
    @nitowa 8 лет назад +1106

    "My wife did visit me a couple times that week. Because we always wondered what it would be like to have an affair in a hotel room." The man, the legend Donald Knuth.

    • @bfolkens
      @bfolkens 5 лет назад +196

      nitowa1 wonder if there was any LaTeX involved in those visits

    • @basedadmin
      @basedadmin 10 месяцев назад +5

      average numberphile enjoyer

    • @noahgilbertson7530
      @noahgilbertson7530 7 месяцев назад +2

      I was thinking about the choice to leave that in the video 🤣

    • @Ayth1
      @Ayth1 19 дней назад

      Literally: We could have some pew pew

  • @stapler942
    @stapler942 4 года назад +879

    Kids on the playground: "Yeah, well I'm infinity plus one!"
    Grade school: "No such thing."
    First year calculus: "We have to be careful not to treat infinity as a number, but it's useful for some calculations."
    Mathematicians on a napkin over lunch: "The kid is onto something."

    • @jacobshirley3457
      @jacobshirley3457 4 года назад +59

      You have to know the rules before you can break them.

    • @SilverLining1
      @SilverLining1 4 года назад +75

      @@jacobshirley3457 I disagree strongly in the case of mathematics. All you need to do is have respect for the concept of rules and consistency. That is, it's okay to break the rules if you can still find a way for things to be consistent, and once you have done so, you have found something truly marvelous.

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

      and now we know that at least some math is completely absurd and should be discarded. There is no such thing as infinity +1 as by definition infinity is infinitely greater than the largest known number and adding one still yields infinity.

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

      @@kennethgee2004 That's only with cardinal numbers. In ordinals, there is a family of infinities. There literally is infinity + 1. Aleph Null and such. There are also smaller and larger infinities. The whole numbers (1, 2, 3, 4, ... ∞) is a smaller infinity than [0, 1], or the real numbers that are in between 0 and 1 are larger than all the whole numbers, it's a larger infinity. 0, ... 0.00001 ... 0.0001 ... 0.3, ..... 0.6, ... 0.99 ... 0.99999999 ... 0.999999999999999999 ... 1.

    • @Parmeisan
      @Parmeisan 3 года назад +14

      @Kenneth Gee Math has been known to be absurd for a long time, but that doesn't mean it should be discarded. Negative numbers were considered absurd at first because math was always done with geometry - multiplication for example is just rectangles, and you can't have a negative length on one side. But they're useful, so we've kept them. Imaginary numbers are even more absurd. We cannot imagine a physical basis for them, and yet they can be used to solve complicated problems and, once used in that manner, were discovered to be present in real world equations describing wave / quantum mechanics. Infinity is similarly absurd, yet equations manipulating different *types* of infinity turn out to be incredibly useful. I had to learn about it in my electrical engineering degree because we use infinity in real world applications all the time. So yes, math is absurd, but no, those parts of math should not be discarded. They are incredibly useful for recording and communicating information about how the world functions.

  • @Name-yw3pc
    @Name-yw3pc 8 лет назад +309

    Some quick googling turns up "The theory of well-quasi-ordering: A frequently discovered concept", which cites a French paper in footnote 9 as the origin of the name surordinal, almost certainly the one Knuth refers to. Someone want to tell him?
    'In 1967, writing in French, Pierre Jullien [9] generalized the concept of an ordinal slightly to what he called a “surordinal.” He announced several results, among which is the statement that the class of “surordinaux” are wqo.9. P. JULLIEN, Theorie des relations. - Sur la comparaison des types d’ordres disperses, C. R. Acad. Sci. Paris, Se’r. A 264 (1967), 594-595.'

    • @anselmschueler
      @anselmschueler 5 лет назад +12

      Cool

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

      Name awesome! I hope he got this information

  • @KauanRMKlein
    @KauanRMKlein 8 лет назад +86

    It's always fun to see a legendary genius speaking as a normal guy in a one-on-one interview.

  • @cosmicpaudel9430
    @cosmicpaudel9430 8 лет назад +1408

    Wrote it in 6 days and rested on the 7th
    Is Donald Kunth god?

    • @Timidjango9
      @Timidjango9 8 лет назад +236

      He's surreal.

    • @tj12711
      @tj12711 8 лет назад +73

      Conway is according to the book

    • @emmamay3820
      @emmamay3820 8 лет назад +57

      He created Life.
      Edit: He *could have* created Life, if he were Conway.

    • @emmamay3820
      @emmamay3820 8 лет назад +10

      *****
      D'oh! That's right.
      I'm being oppressed by facts!

    • @zwz.zdenek
      @zwz.zdenek 8 лет назад +3

      No; the rhetoric was successful the first time, why not try it again?
      He was just trying to be interesting. IMO, dragging religious connotations into this just fouls it up.

  • @rafal_czerwinski
    @rafal_czerwinski 8 лет назад +62

    This guy is a legend. One of the few names I remember from times when I studied CS in the 90-s. And now for the first time I actually see him talking ;)

  • @Robi2009
    @Robi2009 8 лет назад +763

    Is this the man who invented the arrow notation?

    • @numberphile
      @numberphile  8 лет назад +651

      yes

    • @MrRyanroberson1
      @MrRyanroberson1 8 лет назад +20

      how does one write square roots? or ANY non-[in between |or extended from] function?

    • @DraftyCrevice
      @DraftyCrevice 8 лет назад +160

      Also the man who invented TeX?

    • @twwc960
      @twwc960 8 лет назад +155

      Yes, and he also wrote The Art of Computer Programming.

    • @timwunderlich227
      @timwunderlich227 8 лет назад +86

      Actually, he’s still writing it.

  • @MrPoutsesMple
    @MrPoutsesMple 7 лет назад +23

    So in other words the book was the program Knuth wrote to help him remember (rediscover, via the help of two abstract entities in the universe he created) the proofs Conway provided. Sounds about right.
    I can't thank you enough Numberphile for getting Donald tell the story live on camera. This is pure gold, and future generations will thank you for this :).

  • @LeiosLabs
    @LeiosLabs 8 лет назад +35

    Man, right off the bat: I love this guy's creativity!

  • @Massiah82
    @Massiah82 8 лет назад +13

    This guy reminds me of my father who passed away last year, meekness & gentleness covering a awe inspiring intellect!

  • @JLConawayII
    @JLConawayII 8 лет назад +670

    Fifty years behind on his writing? Wow, he procrastinates worse than I do.

    • @callummunro7380
      @callummunro7380 8 лет назад +66

      I would worship him, but I'm watching RUclips

    • @turun_ambartanen
      @turun_ambartanen 8 лет назад +9

      +Callum Munro I'll do it after I finished watching RUclips XD

    • @Tsuyara
      @Tsuyara 8 лет назад +8

      Because it obviously wasn't obvious?

    • @felipevasconcelos6736
      @felipevasconcelos6736 8 лет назад +1

      +Callum Munro I'll worship him tomorrow! Or maybe later, since I have many important RUclips videos to watch…

    • @turun_ambartanen
      @turun_ambartanen 8 лет назад +4

      +true reality writing ", obviously" IS a valid way to symbolise sarcasm.
      Kappa makes as much sense as "obviously" - language is just what it is. I think "obviously" isn't as obvious at marking sarcasm as other methods tho.
      BTW: what does kappa actually mean?

  • @Dan-ud8hz
    @Dan-ud8hz 5 лет назад +51

    "There's no reason for us to think that the universe obeys the laws of real numbers."

  • @Darxide23
    @Darxide23 8 лет назад +809

    I'm starting to come to the conclusion that a large part of Mathematics is really just a branch of Philosophy.

    • @willfairweather177
      @willfairweather177 8 лет назад +106

      Most systems of thought are defined as being a specific branch of philosophy (e.g Science) . You would be correct

    • @KaiCalimatinus
      @KaiCalimatinus 8 лет назад +56

      I think along similar lines too. If philosophy is putting forward an argument by making a premise and initial statements and following them to a logical conclusion with words, then maths could well be described as philosophy codified in numbers.

    • @Darxide23
      @Darxide23 8 лет назад +11

      Will Fairweather
      I didn't mean philosophy in the classical sense where everything is a philosophy. I meant in the existential "what does it all mean?" kind of philosophy. You knew what I meant. You're just trying to be contrary.

    • @roytinker9923
      @roytinker9923 8 лет назад +14

      +TheDarxide23 You're asking a worldview question -- this has more to do with starting points (or initial premises) than logical conclusions. To arrive at viable premises, the best tools we have (as far as I know) are to evaluate existing belief systems for (1) correspondence to reality and (2) internal consistency.

    • @pookz3067
      @pookz3067 8 лет назад +29

      The biggest difference between math and philosophy is that philosophers almost always disagree on premises--what we are accepting as true, what we are taking as definitions. Mathematicians rarely disagree on this. They will when something is first introduce, and over the years the best way of thinking about thing will be established. This is a HUGE difference between philosophy and mathematics. Math only need to accept the definitions that makes the math work out the way WE want. We don't actually need it to be "true" in the sense philosophers do. This makes mathematics much less restrictive.

  • @ramiel555
    @ramiel555 8 лет назад +146

    You can tell by the way he talks that this is someone with ALOOOOOOOOOT going on in his mind :O

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

      He's just old. Not a bad thing as much as an inevitable thing, if you live long enough.

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

      @@jacobshirley3457 Try getting old and tell me again that it's not so bad.

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

      @@megamaser that's not what he meant

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

      @@megamaser It's better than the alternative

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

      @@iank2615 only up to a point

  • @JAN0L
    @JAN0L 8 лет назад +121

    Get Donald Knuth to make a computerphile video.

    • @betabenja
      @betabenja 8 лет назад +26

      get donald kunth to make any video

    • @LLorfa
      @LLorfa 8 лет назад +3

      Yeah totally. Could talk about the failure of itanium for example. I think it's something he weighed in on before. Well anything really. He's one of the all time greats for sure.

    • @CengTolga
      @CengTolga 8 лет назад +1

      Get Donald Knuth.

    • @00bean00
      @00bean00 7 лет назад

      University/Graduate Mathematics : Numberphile :: Art of Programming : (???)

  • @lordofhatred510
    @lordofhatred510 8 лет назад +157

    Is this the guy who invented TeX?

    • @ridderjan5373
      @ridderjan5373 8 лет назад +43

      yes

    • @NowhereManForever
      @NowhereManForever 8 лет назад +34

      Yes, also invented Knuth Up Arrow Notation

    • @NowhereManForever
      @NowhereManForever 5 лет назад +40

      @@hamiltonianpathondodecahed5236 This is a difference in opinion, and some people tend to believe mathematics is inventyed, others believe it is discovered. Personally, I tend to be on the more "discovered" side of thinking. However, notation is not a fundamental fact of the universe. There are multiple ways to represent the operations which can be represented in Knuth Up-Arrow Notation, and there is nothing inherent about using arrows to represent them. Your argument is like saying I "discovered" the word "florbifod" despite just making it up just now.

    • @Tapecutter59
      @Tapecutter59 5 лет назад +13

      @@hamiltonianpathondodecahed5236 It's a bit of both. We invent axioms/definitions then discover facts about them.

    • @federicovolpe3389
      @federicovolpe3389 5 лет назад +10

      Arnav kumar Sinha Well, notation isn’t discovered since it’s pretty arbitrary if you think about it. It’s invented ti describe concept that are discovered (e.g. hyperoperators). Still, Knuth’s a genius. No doubt about that ;)

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

    How simple and humble was JC in referring to his own death.
    Now, killed by the virus of COVID19 it seems to me a synchronicity.
    Something surreal.
    To infinity, and beyond John Conway!

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

      Nino Meloni I didn’t know! I’m so sorry to hear this.

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

      Fake. Comorbidity.

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

      @@nintendo9231889 Monster group

  • @cmilkau
    @cmilkau 4 года назад +8

    It seems so much a theoretical and outlandish concept, but actually I just recently used these to simplify an algorithm significantly. Basically I stripped all of border handling from the algorithm by only looking at the numbers between the reals (where no border could be) instead of the reals themselves. It went from about 250 LOC to 30 LOC (plus about 80 for obvious but many-cases back-and-forth transformation to ordinary reals). It is now also much easier to read and understand. It wasn't even a particularly sophisticated algorithm, it just simplified some filter expressions for number data.

  • @bfolkens
    @bfolkens 5 лет назад +17

    lol this is so brilliant... “the mistakes that I would make, the characters in the story would make those same mistakes”

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

      Bradford Folkens I loved that :)

  • @TheFuktastic
    @TheFuktastic 8 лет назад +33

    Thanks for the TeX, Don!

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

    Man we got to bring 70s math back. Dialogues, games, fantastic stuff

  • @timotheuspeter734
    @timotheuspeter734 5 лет назад +8

    1:02 - probably it was Pierre Jullien, „Sur la comparaison des types d’ordres dispersés“ from 1967

  • @Stealthypancake101
    @Stealthypancake101 8 лет назад +4

    I really enjoyed this, seems like such a genuine dude as well. Will have to give his book a read

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

    When he said that about dropping slithers into holes we did not know that they existed that reminded me of fractals and the problem of measuring the length of the coastline, because there you also zoom closer and closer and find more and more nooks and stuff.
    Numbers are fractals in that way.
    Same when he talked about creating universes from simple rules. That reminds me of fractal curves.

  • @douggwyn9656
    @douggwyn9656 8 лет назад +4

    The main application of Conway's version of surreal numbers is in game theory, where the advantage to a player of some well-balanced games is more than 0 but smaller than any positive real number. The books "Winning Ways" by Conway, Guy, and Berlecamp give details.

  • @arkapointer
    @arkapointer 7 лет назад +2

    Probably one the best videos by Numberphile.

  • @tasede
    @tasede 8 лет назад +366

    watching this was sad he has so much to say but cant say it....

    • @stefanozurich
      @stefanozurich 8 лет назад

      Who should explain it?

    • @frtard
      @frtard 8 лет назад +23

      stefanozurich Like a stutter? I do the same thing but, for me, it's more like diarrhea of the mouth, constipation of the brain.

    • @stefanozurich
      @stefanozurich 8 лет назад +1

      frtard Cool, who should explain it though? Who can explain it better?

    • @owenstrawbridge4711
      @owenstrawbridge4711 8 лет назад +6

      He tries so hard

    • @davidcollins6164
      @davidcollins6164 8 лет назад +3

      #SAVETHENUMBERS

  • @hanniffydinn6019
    @hanniffydinn6019 8 лет назад +2

    Fascinating , immediately purchased this book ! John Conway is a real genius !

  • @henloitsdiego
    @henloitsdiego 4 года назад +8

    knuth's stutters make me feel less insecure about my own :) since i stutter on words too because my mouth cant keep up as fast as im thinking

  • @TheAriusDural
    @TheAriusDural 8 лет назад +1

    That feeling, when you get back from a convention and are happy that you got a signature from someone you admire and the internets adds new people to that list immediately...

  • @matejljubicic6370
    @matejljubicic6370 8 лет назад +176

    Do the series of Millenium Problems.

    • @Proxyincognito
      @Proxyincognito 8 лет назад +17

      You mean gender studies? :)

    • @matejljubicic6370
      @matejljubicic6370 8 лет назад +3

      +Gazeth Sonica Huh?

    • @matejljubicic6370
      @matejljubicic6370 8 лет назад +10

      +Gazeth Sonica I meant the Millennium Problems (7) set by Clay Institute of Mathematics. One has been solved.

    • @Proxyincognito
      @Proxyincognito 8 лет назад +1

      Not gonna pretend i knew, but in was under the assumption you probably did mean something related to math. :)

    • @matejljubicic6370
      @matejljubicic6370 8 лет назад +3

      +Gazeth Sonica I think you heard of the Riemann Hypothesis. That is one of them, desperately waiting for someone to solve it.

  • @DustinRodriguez1_0
    @DustinRodriguez1_0 8 лет назад +1

    I bought On Numbers and Games by Conway several years ago, and I have tried to read it a few times, but always get lost after a few chapters. I'm definitely going to have to find a copy of Knuth's book, I imagine after reading it, On Numbers and Games might finally make sense! This was a fantastic video, both technically informative and a great insight into the creative, artistic side of intellectual exploration that many people don't even know exists. Most people picture intellectual work as very austere and devoid of passion or art, and the truth couldn't be further from that!

  • @MyRegularNameWasTaken
    @MyRegularNameWasTaken 8 лет назад +9

    I'm amazed. 3 years of being a Numberphile subscriber, and this is the first video that has made absolutely no sense to me. I thought at first that the guy was just crazy, but apparently this is the man who created arrow notation, among other things. So I'm assuming he's just speaking on a higher level of intelligence than I can comprehend.

    • @EGarrett01
      @EGarrett01 6 лет назад

      No, he just doesn't understand his own concept.

    • @grbadalamenti
      @grbadalamenti 5 лет назад

      Did you check on Wikipedia who the heck is this grandpa? Please do!

    • @gereonlanzerath9286
      @gereonlanzerath9286 2 года назад +2

      @@EGarrett01 its John Conways concept. And to understand it, you need to interprete the sides in the set as options for Alice and Bill playing a combinatorial game

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

      @@gereonlanzerath9286 He's the interviewee, he's presenting the idea. It's 'his own' in this case similar to how a person who burns meat would screw up "his own" steak that he was serving.

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

      @@EGarrett01 ok. Thought you were talking about the concept of surreal numbers

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

    after watching Numberphile for so many years, it's still blows my mind, finding 'a new topic for me' that you already explored 6 years ago. Feels a bit like a worldline-spacetime-dilation ;-) THANK YOU

  • @ricardo.mazeto
    @ricardo.mazeto 8 лет назад +46

    It sounds like the Genesis of math.
    "In the beginning there was nothing,
    therefore there was one thing one void,
    Thus there was two things, one and the void, zero."
    The book cover is quite pretty!
    Though I was also expecting some fancy math.

    • @Woodside235
      @Woodside235 8 лет назад +9

      The very existence of nothing means there exists one thing.
      It's beautiful.

    • @psdnuop9616
      @psdnuop9616 8 лет назад +3

      The 7 day hotel room story alludes to the bible even further (and for me, much more obviously).

    • @davidwuhrer6704
      @davidwuhrer6704 8 лет назад +12

      Nothing is not something, but the concept of nothing is not nothing.
      This is how numbers are constructed from set theory. For the natural numbers it is called the Zermelo-Fraenkel set, after the guys who worked it out. Surreal numbers take a just slightly different approach, and suddenly ε is a number. I still can't believe it is really a thing. (But surreally it is.)

    • @ionisator1
      @ionisator1 5 лет назад

      @@Woodside235 so are you Artrax from Das Dorf?

  • @curtiswfranks
    @curtiswfranks 8 лет назад +1

    I have wanted this video for ages. Thank you!

  • @Biliklok
    @Biliklok 8 лет назад +3

    Am I the only one that caught the "because we had always wondered what it would be like to have an affair in a hotel room" @ 5:30 ?
    Being so honest about this subject is really impressive ! Gogo Donald Knuth !

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

    I started this video after reading half of Knuths book on Surreal Numbers. It's really fun, funny and more detailed and so far, very easy to me, with little mathematical maturity. Recommended.

  • @AntoshaPushkin
    @AntoshaPushkin 8 лет назад +33

    "Book tells how mathematical research is done"
    "He gave me a napkin with some notes defining numbers"
    Sounds funny, mathematicians are nice guys (:

  • @WilliamLeeSims
    @WilliamLeeSims 8 лет назад +1

    I've been wanting you to do a video on surreals since your interviews with Conway. Excellent interview!

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

    RIP John Conway. Your works shall be remembered!

  • @jasondoe2596
    @jasondoe2596 8 лет назад +2

    Wow, the legend himself!
    Thank you, Numberphile :D

  • @tapolna
    @tapolna 8 лет назад +4

    9:44 "... It wasn't just me. There was something ... The ideas were
    coming to me as if they were being dictated by some muse. The last thing
    at night I turn out the light; the next several sentences would flow
    into my head; I couldn't sleep; so I turn on the light; I would write
    down those sentences; but they were coming in so fast I only had time
    to write the first letter of every word. ..."

  • @Tletna
    @Tletna 5 лет назад

    I'm so glad I ran across this interview. I should read more into the surreal numbers. I've been dissuaded by those stuck in the reals, but now that I'm no longer in school or stuck in endless internet debates, I think I should review the surreals.

  • @arturoe6957
    @arturoe6957 8 лет назад +72

    The voice of this man make me cry

    • @Frisenette
      @Frisenette 8 лет назад +14

      Never trust anyone who sounds to confident in himself. Such a person has not, and will never begin to grasp the universe.

    • @FernieCanto
      @FernieCanto 8 лет назад +32

      Only a very self-confident person would say that.

    • @arturoe6957
      @arturoe6957 8 лет назад +2

      Really, i didnt finish the video because of that

    • @arturoe6957
      @arturoe6957 8 лет назад

      Bronze To Challenger ?

    • @ricardo.mazeto
      @ricardo.mazeto 8 лет назад

      Why?

  • @user-vg7zv5us5r
    @user-vg7zv5us5r 2 года назад +1

    2:25 There exists an empty, a null set.
    2:27 Each number has one after it.
    It's the first two Russells' prepositions for his following reasonings in Principia Mathematica.
    6:53 Set of all set that does not contain themselves (Russell's paradox).
    Gentleman on the recording has recreated a set theory.
    7:45 Ok, synthetic, formal languages.
    11:15 Tape with whole numbers from a busy beaver POV.

  • @marksmod
    @marksmod 8 лет назад +26

    HAHAHAHA "...where Ibsen used to live, so I could get some of his VIBES..."

  • @NikolajLepka
    @NikolajLepka 8 лет назад +2

    Ah good old Don Knuth. Huge person in computer science... I still need to get and read his "Art of Computer Programming"

  • @tobylerone007
    @tobylerone007 5 лет назад +7

    I did my dissertation for a Masters on this - to this day still don't get it really.

  • @DatBoiFromIllinois
    @DatBoiFromIllinois 8 лет назад +1

    Seems like it took a lot of time and effort to edit this video. Thanks for making it flow well Brady!

  • @mattgilbert7347
    @mattgilbert7347 8 лет назад +74

    ...and on the seventh day he rested..

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

    This was a really fun book! Anyone who’s into recreational mathematics will enjoy it.

  • @Cyrusislikeawsome
    @Cyrusislikeawsome 8 лет назад +38

    I feeeeeeeel like they're just making stuff up XD

    • @ChronusZed
      @ChronusZed 8 лет назад +32

      Math is really the study of systems of rules and their logical consequences. Mathematicians are basically allowed to make up whatever rules they want as long as the rules don't contradict themselves and they have interesting consequences.

    • @Uejji
      @Uejji 8 лет назад +9

      I recommend the video "Mathematics: Measuring x Laziness^2" by Zogg from Betelgeuse.
      Mathematics is a series of games, laying some groundwork and seeing what structure we can build on top of it. It just so happens that so many of our games become these magnificent descriptions of the real world and enhance our scientific understanding of the universe immensely.

    • @Cyrusislikeawsome
      @Cyrusislikeawsome 8 лет назад +2

      I totally agree with you guys haha I just found it funny

    • @minch333
      @minch333 8 лет назад +3

      No... Surreal numbers are a byproduct of studying mathematics via model theory. Model theory isn't just some random rules that were created to create the surreal numbers, maths isn't done like that. You don't just decide that you want surreal numbers and find some convenient rules that imply their existence, model theory is a way of studying the fundamental structures of all mathematical universes, and the insights of studying mathematics at this level of generality, among other achievements, uncovered the existence of surreal numbers naturally.
      There is a whole area of mathematics, that features in most numberphile video not to do with number theory, done by mathematicians who do indeed just make rules up, but they do so to find interesting and challenging problems, not to create whole new theories of mathematics; mathematical theories come from studying first known 'natural' mathematical objects, then older theories that study general classes of these objects. Theory building is bottom up, not top down. The bottom however, as I've just explained, is not arbitrarily decided upon as you are suggesting.

  • @Math_oma
    @Math_oma 8 лет назад

    Does anyone know what's he's talking about at 12:40? That surreal numbers may have been invented before Dedekind cuts?

    • @douggwyn9656
      @douggwyn9656 8 лет назад

      He was saying that *if* surreal numbers had been invented earlier, at least following Conway's rules, there would have been no need for Dedekind cuts.

  • @Timidjango9
    @Timidjango9 8 лет назад +39

    I think after watching this video, NJ Wiildberger's would be loosing his mind over surreal numbers lololol
    you're still awesome, professor Wildberger ^_^

    • @QuoteVG
      @QuoteVG 8 лет назад +2

      He wouldn't buy any of this hehe ^__^

    • @Blackadder1620
      @Blackadder1620 8 лет назад +3

      He would have few things to say about it i would think.

    • @Timidjango9
      @Timidjango9 8 лет назад +2

      +Blackadder 1620 he might as well try to refute that surreal numbers do not exist. Honestly, I might have forgotten the whole video if they actually have a formal definition what a surreal number is and if it is a subset of the complex. I admire the construction tho. Very creative.

    • @Timidjango9
      @Timidjango9 8 лет назад +1

      +mdphdguy1 that I completely agree. I am curious to read his book.

    • @Blackadder1620
      @Blackadder1620 8 лет назад

      +Johanus Gauss he really makes you think about the basics but, we have algebra and, it's hard to live without it even if some of the foundations aren't as strong as we would like. Give it another 100 years or so, im sure we'll know more.

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

    Hearing Conway talking about his impending death at the end destroyed me.

  • @Velzen5
    @Velzen5 8 лет назад +20

    there is no number named infinity. Infinit means without end. it is not a number. only processes can be infinit in the sense that the proces has no definiit end.ตอบกลับ

    • @Rurexxx
      @Rurexxx 8 лет назад +28

      Yes and no. If you're interested in the subject I recommend a video "How To Count Past Infinity" from the channel Vsauce.

    • @UriGerhard
      @UriGerhard 8 лет назад +23

      That's why they use the lowercase Omega instead of the infinity symbol

    • @Zejgar
      @Zejgar 8 лет назад +8

      Infinity may mean that somewhere else, but here it means .

    • @andrejohnson4699
      @andrejohnson4699 8 лет назад

      Omega stands for infinity.

    • @MD-pg1fh
      @MD-pg1fh 8 лет назад +13

      There is no real number named infinity. There is a surreal number named infinity.
      At least that's what I gather from that video.

  • @f.osborn1579
    @f.osborn1579 5 лет назад +2

    I bought the book several years ago. I think it was mentioned in some other book(maybe some psychology book?) i was reading at the time. Very cool book.

  • @TheRealFOSFOR
    @TheRealFOSFOR 8 лет назад +118

    I just invented a number that is bigger than zero but smaller than any surreal number and still it is as big as any infinity and it is also a negative number and if you divide it with zero you get the answer twenty six. I call it Zsrlinmber and to write it you use the letter H

    • @YigitOktarMR
      @YigitOktarMR 8 лет назад +6

      Maan, I was keep getting 42 as the answer referring to an old research paper, idk it was in French, or maybe English, I can't recall. Thanks though

    • @raptorinator
      @raptorinator 8 лет назад +21

      So you literally need to break mathematics in order to obtain the Zsrlinmber. I'm intrigued.

    • @emmamay3820
      @emmamay3820 8 лет назад +6

      What happens when you divide H by plaid?

    • @raptorinator
      @raptorinator 8 лет назад +12

      Emma May I have a hunch you get somewhere in or near the North Pole. Don't quote me on that though.

    • @MikeRosoftJH
      @MikeRosoftJH 8 лет назад +2

      If you assume contradictory properties for the number, you can indeed prove anything - even that when you divide the number by 0, you get 26.

  • @IslandCave
    @IslandCave 5 лет назад +1

    When I was a kid I came up with the idea of 0.0 repeating 1 as the smallest number over 0, a few years ago I discovered from numberphile, that I was actually on to something, that number is an example of a surreal number!

  • @xgozulx
    @xgozulx 8 лет назад +3

    i actually loved how he speaks about how he created it, it's so cool

  • @Dudeguy217
    @Dudeguy217 5 лет назад +1

    Gave me some perspective on what genius really is. Such an abstract thinker that he can't even keep up with himself sometimes! Great man and a fascinating mind.

  • @craftingrecipeideas7629
    @craftingrecipeideas7629 8 лет назад +40

    Normal people: 70% water
    Gamers: 70% salt
    Mathematicians: 70% acid

    • @hamiltonianpathondodecahed5236
      @hamiltonianpathondodecahed5236 5 лет назад +3

      explanation needed

    • @m1lkweed
      @m1lkweed 5 лет назад +3

      Arnav kumar Sinha
      People are ~70% water by volume
      Gamers, or any competitive person tend to be upset when they lose, or "salty"
      The last line is obvious, so I won't waste time explaining it.
      Hope this helps!

    • @HelloHello-vk5ob
      @HelloHello-vk5ob 5 лет назад +1

      Conky im pretty sure he means the drug acid

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

      Conky I would say chemist

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

      Hel lo oh...! dang I feel dense - thanks

  • @PeregrineBF
    @PeregrineBF 8 лет назад +21

    The surreals are my favorite ordered field. They're very interesting, and as evidenced by the disbelief about their existence in the comments here they're highly counterintuitive.

  • @frankharr9466
    @frankharr9466 8 лет назад

    One over a tiny sliver would be a great big sliver. Which makes me smile to put it like that.

  • @HumanTypewriter
    @HumanTypewriter 8 лет назад +23

    did he break his brain thinking of this?

    • @Wafflical
      @Wafflical 8 лет назад +4

      well, he broke his ability to write a letter…

    • @HumanTypewriter
      @HumanTypewriter 8 лет назад +2

      edrudathec And to form words.

    • @mrbojangls
      @mrbojangls 8 лет назад +2

      Are you that dense?

    • @HumanTypewriter
      @HumanTypewriter 8 лет назад +3

      Luke M. Yes

    • @Xappreviews
      @Xappreviews 8 лет назад +10

      Be a little more respectful you spoiled brat, he accomplished more in 6 days than you ever will in your entire life.

  • @abuslinky
    @abuslinky 5 лет назад +2

    Last week I tried generalising the construction of the natural numbers and arithmetic operations from zero and the successor function to ask what if the successor functions are not all the same (obviously this has all been done before, as is the rule with maths). The definition of "+" didn't work any more, but what I ended up with was a functional language. So, given that it's all been done before, is there a programming langauge defined up from this construction of surreal numbers?

  • @rafagd
    @rafagd 8 лет назад +3

    Have we had Don on Computerphile yet?

  • @T0R2M4K5L2
    @T0R2M4K5L2 7 лет назад +1

    first time see him talking, une légende ... emotions ...

  • @timothyhayes9724
    @timothyhayes9724 8 лет назад +4

    Not trying to be rude, just curious, but does Mr. (Dr?) Knuth have a stutter?

    • @ZER0--
      @ZER0-- 8 лет назад +2

      No. Did you not listen?

    • @tfos993
      @tfos993 8 лет назад +4

      He wants to speak a lot of things but obviously no one can. So much information wanting to be put out and the mouth can't handle it.

    • @tristanrentz9923
      @tristanrentz9923 8 лет назад +2

      Wow, you registered it? It's a wonder your achievements will never even approach his.

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

    Donald is pure enthusiasm, intelligence and inspiration.

  • @boumbh
    @boumbh 8 лет назад +4

    8:33 These are smileys from an other planet.

  • @bassodivo1
    @bassodivo1 8 лет назад

    he is as pure and this is as pure as art can ever be! he is a true artist.

  • @StefanReich
    @StefanReich 7 лет назад +5

    10:00 How inspiration works

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

    Wow, that last comment from Conway has a new depth to it. RIP.

  • @levi12howell
    @levi12howell 8 лет назад +3

    Can we get more explanation on what exactly is going on and why this is helpful. It seems like he's just replacing normal numbers with dots and lines and then he starts writing in normal fractional numbers

    • @ridderjan5373
      @ridderjan5373 8 лет назад

      If you're interested in what's going on, the book "On Numbers and Games" by John Conway is arguably the best book.
      It does not only cover the surreal numbers, but also games, which has the surreal numbers as subset (crazy, i know).
      I agree with you that they should have gone much further.

    • @arcuesfanatic
      @arcuesfanatic 8 лет назад

      He replaced normal numbers with dots and lines to represent how surreal numbers can be used to define any numbering system. While I do agree it's more convenient to use numbers already in place, the book is more of a proof of concept than anything else.

  • @Buggaton
    @Buggaton 8 лет назад +1

    holy shit, numberphile got Donald Knuth!!! Way to go Brady!

  • @tobiasztopczewski8089
    @tobiasztopczewski8089 8 лет назад +24

    1:42
    "That's what almost everybody thought except Kanye"
    I soon realised that he didn't say 'Kanye'.

    • @decearing-egg
      @decearing-egg 5 лет назад +3

      Funnily enough, I remember going into a store during my teen years and asking for the new "Conway West" album 😆

  • @4franz4
    @4franz4 8 лет назад +1

    Soo cool!! Your books are amazing!!

  • @greg55666
    @greg55666 8 лет назад +5

    Um, why don't you just take more of whatever you were on during that week?

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

    This concept confronts me while I question the "reality" of real numbers. Interesting coincidence.

  • @sneakybeaver2625
    @sneakybeaver2625 8 лет назад +6

    5:26 slowly clicks away from the video...

  • @SomeoneCommenting
    @SomeoneCommenting 8 лет назад +1

    Dang, if this guy was teaching a course to me I would go crazy trying to follow what he says. It's like if he was not sure about what to say and starts to stutter, and tremble, and fear, and get excited, and hesitate, and get depressed, and ... drive me crazy.

  • @SKyrim190
    @SKyrim190 8 лет назад +5

    The concept seems rather similar to the one described in the video about "monads". I wonder what the technical differences are...

  • @AgentSmith911
    @AgentSmith911 8 лет назад +1

    7:37 smiley faces! (read in Ralph Wiggum's voice)

  • @hey8174
    @hey8174 8 лет назад +19

    His choppy speech is driving me insane. I'm trying to listen for his words but it's making me crazy.

    • @ZER0--
      @ZER0-- 8 лет назад +2

      I think he is getting old and you slow down a bit and the idea he was trying to explain is a complicated one.

    • @Deuce1042
      @Deuce1042 8 лет назад +3

      Get over yourself

    • @peterfireflylund
      @peterfireflylund 8 лет назад +2

      He sounds like that on 20-year-old lecture videos. Not as pronounced as here, though.

    • @hey8174
      @hey8174 8 лет назад +7

      His finished thoughts are great! He just has the habit of speaking before his brain has fully finished his thought.

    • @twistedbydsign99
      @twistedbydsign99 8 лет назад +1

      Pretty sure he is halting a stutter. Pretty well too I would say.

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

    "On the seventh day I rested"

  • @garryiglesias4074
    @garryiglesias4074 8 лет назад +3

    This man is "The Man"... As a programmer myself, he is one of my references, i admire him, I respect him, I wish I could have learn with him and had a chance to work with him...
    Those generation had great brains, Knuth, Kernighan & Richie, Aho Sethi And Ullman, van Dam, Foley, etc.
    When I read some post-2k kids who believe THEY are the digital generation and mock "elders" as if they knew nothing about "the net", it pisses me off. All this brain washing caused by hyped media, who only knows about facebook and twitter, confusing internet and www, etc...

  • @joshhickman77
    @joshhickman77 5 месяцев назад

    Sort of insane to see Grognor's book review briefly flash on screen. Rest in peace, George.

  • @Proxyincognito
    @Proxyincognito 8 лет назад +19

    Just wondering if i understand this right, because im a layman.
    1=0,99999_
    but if you use surreal numbers then X can exist where
    1>X>0,99999_
    Would that be true?

    • @cheongziyong8871
      @cheongziyong8871 8 лет назад +1

      Yup

    • @lawrencecalablaster568
      @lawrencecalablaster568 8 лет назад

      Surreals are weird.

    • @ZardoDhieldor
      @ZardoDhieldor 8 лет назад +19

      Well, I don't think that the notation 0.999... makes any sense here. And if 0.999...=1, then that's it, and there wouldn't be any X between, because then 0.999.. and 1 couldn't be equal anymore.

    • @Proxyincognito
      @Proxyincognito 8 лет назад +1

      Zardo Dhieldor
      I think that's the reason why X can only exist as a surreal number. What you describe is all still within real numbers.
      I'm not saying that with intent of 'correcting' you btw. As i mentioned earlier I'm a layman and quite ignorant of this topic.

    • @ZardoDhieldor
      @ZardoDhieldor 8 лет назад +1

      Gazeth Sonica
      Not really. It just depends on what you mean by 0.999...!

  • @Scerttle
    @Scerttle 8 лет назад +1

    Gosh, another gentleman with infectious enthusiasm. Math seems to bring that outta people...

  • @jacobkantor3886
    @jacobkantor3886 8 лет назад +5

    Lmao why was this posted at 4 am?

  • @dartagnanx1
    @dartagnanx1 8 лет назад +1

    That was amazing! Thank you!!

  • @TheUglydandy
    @TheUglydandy 8 лет назад +6

    What about cereal numbers? Are there any?

    • @SuperYtc1
      @SuperYtc1 5 лет назад

      There’s 0 , the cheerio number.

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

    I was taught AP Calculus AB by his son. Needless to say, he was a great teacher.

  • @jeffx3242
    @jeffx3242 8 лет назад +40

    Donald Knuth

    • @tapolna
      @tapolna 8 лет назад +3

      Mr Trump! What an opportunity to ask you a question that has troubled me. Some psychologists, although they haven't met with you personally, have published a description of your behavior as that of an "extreme narcissist." This obviously a serious diagnosis. It means that you may be suffering from a near-psychotic condition, which means you may actually be delusional. My question to you is, have you personally ever sought the help of a psychiatrist or psychologist? If so, what was their diagnoses? If you haven't been to a psychiatrist or psychologist, don't you feel it is time for you to consult one? After all, you yourself ought to be sympathetic to the notion that the commander-in-chief of US military should not be led by a madman.
      Of course, I realize I speaking to a wall. A narcissist, especially an extreme one, seldom ever acknowledges his faults.

    • @patbak235
      @patbak235 5 лет назад

      @@tapolna lern sum gramer

  • @MarkAStephan
    @MarkAStephan 8 лет назад +1

    It's rare to get the chance to listen to genius

  • @stijnvandrongelen5625
    @stijnvandrongelen5625 8 лет назад +5

    To be honest, I've never been able to read much of Knuth's writings. It's quite annoying to be constantly interrupted by someone who thinks their jokes are really funny, while all you're trying to do is to learn something. That includes the TEXbook.

  • @recalcitrantmisanthr
    @recalcitrantmisanthr 8 лет назад +2

    He has the same copy of wolfram's A New Kind of Science on his shelf as I have on my shelf. I like him

  • @Frahamen
    @Frahamen 8 лет назад +6

    I would be frustrated as hell reading that book. It's Alice and Bob! Not Alice and Bill!

    • @Taric25
      @Taric25 8 лет назад

      I was just about to say the same thing!