The Most Underrated Concept in Number Theory

Поделиться
HTML-код
  • Опубликовано: 31 май 2024
  • This is probably my favorite video I've made yet. It's about an underrated mathematical concept known as "integer complexity" and my personal journey to discover it.
    0:00 - Introduction
    1:20 - A Mathematical Question I Stumbled Into
    3:23 - Discoveries Among the First Dozen Numbers
    6:49 - What is the Largest Number We Can Build?
    11:19 - Number Webs With Mysterious Gaps
    13:54 - Incorporating Subtraction and Division
    17:23 - How I Found the Name of This Concept
    21:00 - Further Directions We Could Take This
    24:40 - A Philosophical Question I Stumbled Into
    27:27 - Outroduction
    Clarifications/corrections:
    - When I draw the web of which numbers you can build with eight ones I forgot to draw a dot for 14, which should also be on that web.
    - During one of the whiteboard b-roll shots, it showed 4 as being built by "1+1+1+1+1" which is one too many ones.
    Special thanks to all of my supporters on Patreon! (Supporting the show not only helps me keep improving my content, but also lets me avoid needing to incorporate any product placements from brands in episodes)
    Evan Clark, Max, George Carozzi, Peter Offut, Tybie Fitzhugh, Henry Spencer, Mitch Harding, YbabFlow, Joseph Rissler, Plenty W, Quinn Moyer, Julius 420, Philip Rogers, Ilmori Fajt, Brandon, August Taub, Ira Sanborn, Matthew Chudleigh, Cornelis Van Der Bent, Craig Butz, Mark S, Thorbjorn M H, Mathias Ermatinger, Edward Clarke, and Christopher Masto, Joshua S, Joost Doesberg, Adam, Chris Reisenbichler, Stan Seibert, Izeck, Beugul, OmegaRogue, Florian, William Hawkes, Michael Friemann, Claudio Fanelli, The Green Way, Julian Zassenhaus, Bailey Douglass, Jan Bosenberg, Brooks Boutwell, David Irvine, qe, George Sharabidze, Jack Dwyer, Fredrik, Dave Brondsema, and Chandler Smith!
    If you want to help support this channel (and get your name on that list) and get some bonus content, check out the Patreon here: / comboclass
    Combo Class Discord server: / discord
    Subreddit: / comboclass
    If you want to try to help with Combo Class in some way, or collaborate in some form, reach out at combouniversity(at)gmail(dot)com
    In case anybody searches any of these terms to learn about them, some topics in this video include: number sequences, the OEIS (or "Online Encyclopedia of Integer Sequences"), Mahler-Popken "integer complexity" and extensions to it, my fun personal mathematical journeys, and more.
    This episode was directed/edited/soundtracked by me (Domotro) and was filmed by Rishi Amutas and Carlo Trappenberg.
    Disclaimer: Do NOT copy any dangerous-seeming actions you may see in this video, such as any actions related to fire.

Комментарии • 819

  • @ComboClass
    @ComboClass  26 дней назад +317

    This is probably my favorite video I've made yet. It's about an underrated mathematical concept known as "integer complexity" and my personal journey to discover it.
    0:00 - Introduction
    1:20 - A Mathematical Question I Stumbled Into
    3:23 - Discoveries Among the First Dozen Numbers
    6:49 - What is the Largest Number We Can Build?
    11:19 - Number Webs With Mysterious Gaps
    13:54 - Incorporating Subtraction and Division
    17:23 - How I Found the Name of this Concept
    21:00 - Further Directions We Could Take This
    24:40 - A Philosophical Question I Stumbled Into
    27:27 - Outroduction
    (see video description for more links and info!)

    • @johnjeffreys6440
      @johnjeffreys6440 26 дней назад +1

      sounds like Kevin from Vsauce.

    • @konstantinbachem9800
      @konstantinbachem9800 26 дней назад +6

      here is a programm that generates all numbers with complexety 25 or lower by using multiplication or addition.
      maxlen=25
      numbers=[(1,)]
      representation=dict()
      representation[1]=(1,"1")
      for w in range(2,maxlen+1):
      newnum=[]
      for i in range((len(numbers)+1)//2):
      a=numbers[i]
      b=numbers[-1-i]
      for x in a:
      for y in b:
      if x+y not in representation:
      n=x+y
      newnum.append(n)
      representation[n]=(w,f"({representation[x][1]}+{representation[y][1]})")
      if x*y not in representation:
      n=x*y
      newnum.append(n)
      representation[n]=(w,f"({representation[x][1]}*{representation[y][1]})")
      numbers.append(newnum)
      print(f"found {len(newnum)} new numbers of length {w}")
      for i in range(1000):
      if i in representation:
      length,r=representation[i]
      print(i,length,r)
      else:
      print(f"could not find {i}")

    • @KenFullman
      @KenFullman 26 дней назад +2

      I can't help wondering if this might form part of the proof of Collatz conjecture.

    • @stickmcskunky4345
      @stickmcskunky4345 26 дней назад

      Absolutely riveting! I have been digging into the sequence (of integer complexity) for a few days and found some cool stuff, but you brought up the e thing and I hadn't even realized that was why the (2^a)(3^b).. that's so cool.

    • @daniel_77.
      @daniel_77. 26 дней назад

      Hey you could try creating a video in numberphile!

  • @infinitesimalperinfinitum
    @infinitesimalperinfinitum 26 дней назад +1119

    I'm glad you're free-range, I'd be terrified to see what would happen if you were contained

    • @TymexComputing
      @TymexComputing 26 дней назад +14

      The fires are locally unstable, if it starts it finishes long before it could start again :) lastly I've seen some math freethinker video about the planet diameter that would need to be to be Able to keep an alcohol vapour flame to keep up with sunset cycle or so on, Mr Mould

    • @publiconions6313
      @publiconions6313 26 дней назад +3

      Lol!

    • @lloydgush
      @lloydgush 25 дней назад

      Industrial mathematicians aren't good for your arteries...

    • @joefarrow1599
      @joefarrow1599 25 дней назад +4

      Looks to me like he's been kept caged for a long time

    • @adamsheaffer
      @adamsheaffer 25 дней назад +3

      @@joefarrow1599 Chastity? 😳

  • @undr3s1
    @undr3s1 26 дней назад +773

    "Dad, why is there smoke in our neighbor's house?" "Damn it, it's that guy again"

    • @BboyKeny
      @BboyKeny 26 дней назад +43

      "Why don't you stop him dad?"
      "Son, he might be reckless but his math checks out"

    • @muskyoxes
      @muskyoxes 26 дней назад +12

      The whiteboard was retrieved from a future apocalypse

    • @Teapotman2
      @Teapotman2 23 дня назад +3

      “it’s that guy again”

    • @t_ylr
      @t_ylr 13 дней назад +4

      ​@@Teapotman2 like guess I can assume nobody died cause the videos out lol, but I was genuinely concerned about how big that fire was and how close it was to a structure 😅

    • @xX_dash_Xx
      @xX_dash_Xx 8 дней назад +1

      Most unfunny comment on this platform

  • @soingpeirce
    @soingpeirce 26 дней назад +497

    This is the most flat earth theory vibe I've ever seen on a video that has actual substance

    • @yurisich
      @yurisich 26 дней назад +37

      I imagine he also has an interest in the cosmos and geology. So technically he can introduce himself as someone who studies astronomy, crystals, and number theory. Bonus points if he switches out the lab coat for a woven hemp poncho.

    • @DLBeatty
      @DLBeatty 26 дней назад +4

      @soingpeirce LOL What a wonderful way to describe it!

    • @lukehuntington7983
      @lukehuntington7983 22 дня назад +3

      I read this reply and chuckled and then he said "threeven" and I understood it

    • @Bozeman42
      @Bozeman42 22 дня назад +4

      The difference being that a flat-earther will never actually do the math.

    • @ulti-mantis
      @ulti-mantis 21 день назад +2

      ​@@yurisich not astronomy, "the stars"

  • @EionBlue
    @EionBlue 26 дней назад +675

    I fully believe that one day Domotro will discover some sort of eldritch mathematical concept that opens his mind to some horrific elder god which will drive him absolutely mad.
    And nobody will notice the difference.

    • @defenestrated23
      @defenestrated23 26 дней назад +35

      I was about to say, how do you know that hasn't already happened?

    • @user-ec8xg3yq3f
      @user-ec8xg3yq3f 25 дней назад +2

      That seems to have already happened

    • @recursiveslacker7730
      @recursiveslacker7730 24 дня назад

      “There's evidence in the arithmetic record that the study of formal systems reached a pernicious apex in the Long Before. Advancements made by mathematicians such as Russell, Gödel, Eisencruft, Atufu, Wheatgrass, and System Star contributed to the understanding of notions like undecidability, pointed regularism, and abyssalism. Upon reaching this minimal degree of mathematical maturity, equipped with sophisticated grammars, researchers set out to experiment with the limits of expressibility. They contrived bold research programs and galloped into the mathematical wood, unwitting of the dangers that brood there.
      The record is even scarcer than usual, due to the efforts of successive generations to obfuscate the venture. As best as I can gather, at some point in the course of inquiry, a theorist from a mathematical seminary called the Cupola formulated a conjecture on the fragility of formal semantics. The conjecture ripened to a broader theory, out of which spawned a formal system called the penumbra calculus. In the few fragments of texts that predate the obfuscation, it's stated that, in the penumbra calculus, certain theorems are provable, but are falsified upon the completion of their proofs. As much as this result is at odds with the systems of thought I've encountered in my own inquiries, I find little reason to doubt the veracity of the authors. Nevertheless, it's certainly a peculiar property.
      The Cupola theorist's results erupted into a grand investigation into the expressibility of the penumbra calculus. The conclusions were troubling. Pushing further, researchers constructed sister systems with alternate axioms. These systems were still more fragile, with the systems' inference rules themselves unraveling upon the completion of certain proofs.
      Convinced that their discoveries were made possible by some idiosyncrasy of self-awareness, but synchronously fearful of the implications of their results, some schools of theorists engineered complex automated deduction systems to probe boundary theorems and launched them into neutron stars. The outcome is undocumented, but the result convinced theorists across the Coven to abandon research and blacklist anyone who studied the penumbra calculus and its derivative systems.
      Peculiarly, support for the injunction was unanimous. Of note, even the spacefolder Ptoh agreed to abandon its investigation into the forbidden calculi from the reaches of its bleak star. Though the manner of its consent was not without controversy; to announce its accord, it inverted the color charge of quarks in a small region of space, causing a research station to collapse in on itself. Nonetheless, Ptoh's consent is testament to the degree of existential anxiety that could cause investigation into the penumbra calculus to go dark.”
      - On the Origins and Nature of the Dark Calculus

    • @recursiveslacker7730
      @recursiveslacker7730 24 дня назад

      Not even Ptoh would mess with the Penumbra Calculus.

    • @harriehausenman8623
      @harriehausenman8623 22 дня назад +1

      @@recursiveslacker7730 All hail YOG-SOTHOTH !

  • @M42-Orion-Nebula
    @M42-Orion-Nebula 26 дней назад +294

    1. You don't have enough clocks.
    2. The "e" reveal was beautiful.

    • @eric23232323
      @eric23232323 26 дней назад +5

      I loved seeing the mini connect four in the middle of the clocks lounging on the chaise lounge.

    • @johnnye87
      @johnnye87 15 дней назад +2

      It had never occurred to me before that 3 is equal to both e and pi (to 0 decimal places).

  • @anonemos
    @anonemos 26 дней назад +218

    I like to imagine that he's just going through his day and suddenly he thinks up a next sentence to say in his video, so he records it in any place where he is at that moment.

    • @DLBeatty
      @DLBeatty 26 дней назад +6

      @anonemos, I kinda thot of it as steam punk b4 steam power was invented -- but looking at it thru a Picasso lens.

  • @lincolnuland5443
    @lincolnuland5443 26 дней назад +190

    How does this guy only have 40k subs!? He lit stuff on fire and then started talking about math.

    • @gary.h.turner
      @gary.h.turner 26 дней назад +3

      Well, there are people who think that's weird and therefore refuse to subscribe! 😱

    • @Faroshkas
      @Faroshkas 25 дней назад

      What? Only 40k????

    • @michaelneufeld4515
      @michaelneufeld4515 25 дней назад +3

      His other channel has 200k

    • @Faroshkas
      @Faroshkas 25 дней назад

      @@michaelneufeld4515 what other channel?

    • @Faroshkas
      @Faroshkas 25 дней назад +1

      @@michaelneufeld4515 what other channel?? I didnt know he had another one

  • @jansustar4565
    @jansustar4565 26 дней назад +235

    I thought that the whole "i couldnt find the numbers in the millions since i wasnt a programmer" segment would lead to a Brillinat sponsor.

    • @redpepper74
      @redpepper74 26 дней назад +16

      Classic Brillinat

    • @ArtArtisian
      @ArtArtisian 26 дней назад +4

      Dark - Internet sure is cluttered now

    • @RibusPQR
      @RibusPQR 25 дней назад +7

      "Now before I go into how I found out about numbers that large, let me tell you about" today's sponsor, Brillinat.

    • @plasma2942
      @plasma2942 17 дней назад +1

      Thank god it wasn't

    • @matthewlennon6289
      @matthewlennon6289 10 дней назад +1

      Dimitro > Brilliant

  • @curtiswfranks
    @curtiswfranks 26 дней назад +133

    The OEIS is one of the most-important websites ever.

    • @alexpotts6520
      @alexpotts6520 25 дней назад +14

      Worth remembering as well, while it's a website these days, it's actually far older than the web. For decades it was stored on paper in filing cabinets.

    • @ConManAU
      @ConManAU 25 дней назад +13

      Also don’t sleep on their superseeker function - send an appropriately formatted email with a sequence and it will not only check if it matches any existing entry but it will perform a variety of transformations to try to find a match.

    • @harriehausenman8623
      @harriehausenman8623 22 дня назад +2

      Sloan would approve this comment 👍

  • @auztenz
    @auztenz 26 дней назад +330

    Watching the first minute; pls dont burn ur self.

    • @servvo
      @servvo 26 дней назад +42

      you must be new here,,, domotro never burns

    • @profquiz1730
      @profquiz1730 26 дней назад +14

      don't worry, he's a highly trained professional

    • @AlexBaklanov
      @AlexBaklanov 26 дней назад +9

      There's also a highly trained professional cameraman behind the camera that always have his hose ready to make the scene wet =)

    • @eric23232323
      @eric23232323 25 дней назад

      @@profquiz1730 professional what? /ferris

    • @auztenz
      @auztenz 25 дней назад +3

      Im pretty sure he almost tripped

  • @TheDJRiffin
    @TheDJRiffin 26 дней назад +83

    Never heard of "throdd" and "threeven" before, love it.

    • @DigitalJedi
      @DigitalJedi 26 дней назад +9

      I think it's fun to extend this to other numbers. For example with 4, you get the funny possibility that fodd sounds like quad, but every thing made of quads must be feven.

    • @tinyturtle1898
      @tinyturtle1898 25 дней назад +4

      Its a funny way to describe dividing and taking the remainder. It has its own operator "modulo" and is defined as % in programming languages. So if your Integer has remainder 0 when divided by 3 its "threven", and remainder 1 is "throdd" but what is remainder 2 called?

    • @linktristen5
      @linktristen5 25 дней назад +2

      ​@@tinyturtle1898pretty sure that is still throdd. The only threeven numbers are those evenly divisible by three. Just like the only even numbers are those evenly divisible by 2.

    • @BridgeBum
      @BridgeBum 25 дней назад

      As far as I know they are terms he made up. He specifically defined "threeven" in a previous video as divisible by 3 but it is such a great portmanteau that no definition is required. Truly inspired.

    • @kenthartig7065
      @kenthartig7065 16 дней назад

      We found the new viewer

  • @jvcmarc
    @jvcmarc 26 дней назад +92

    I was bizarrely discussing about this same thing with my cat the other day while high. However, I wasn't able to find anything about it on the internet and ended up forgetting it. It's such a mystique coincidence for you to have posted this video so close to those thoughts, thank you

    • @Ring13Dad
      @Ring13Dad 24 дня назад +3

      Math is so rad when you're high!

    • @itismethatguy
      @itismethatguy 23 дня назад

      That's absolutely crazy

    • @harriehausenman8623
      @harriehausenman8623 22 дня назад

      Smart cat!

    • @joeblog2672
      @joeblog2672 10 дней назад

      Did you ask your cat at the time? Perhaps you missed something from him / her.

  • @m3morizes
    @m3morizes 26 дней назад +104

    On that last philosophical point: there's also this feeling that if the new thing you discovered hasn't been researched before, that it's perhaps too contrived or useless or uninteresting. It's not too difficult to discover a sequence that isn't on the OEIS, but you have to ask yourself if you were motivated purely by the math, or if you were motivated by finding the lowest hanging fruit of undiscovered (uninteresting) math.
    If something you discovered has been researched before, at least you know it's important enough to have been worthy of the time and effort of serious mathematicians. If not, you're left wondering how important your discovery really is, even if it is new.
    To analogize this to exploring islands, if you discover a new island, and it's extremely rich in natural resources, nature, hospitable for humans, spacious, etc., chances are, someone has already discovered the island, and people already live on it. If, however, you discover an island that truly no one has discovered before, chances are, it's probably just a small rock full of bird poop. Should you be excited in the first case or in the second case? The second case is your original discovery, but it's also less meaningful and useful than the first case, but the first case isn't your original discovery.
    Rather than be disappointed in either case, may as well be excited in both cases. Like you said, if it hasn't been discovered before, that's an awesome feeling. Even if the reason for it not having been discovered before is that it is somewhat contrived, it was clearly interesting enough for you to stumble across naturally. You should feel proud in that case. If the thing you discovered has been discovered before, and researched before, you should feel proud that your mathematical intuition is well-honed enough to tread the same paths that the giants before you have. You should also feel excited that you can skip to the front of the line. The foundations and path has been built for you, so you have no excuse to not rush to the frontier as fast as you can (by learning and studying and catching up on research) so you can start making new discoveries from a different (more developed, new) starting point.

    • @josephsummer777
      @josephsummer777 26 дней назад +16

      Minor point: bird poop islands have been very important to humans, lucrative even.

    • @josephsummer777
      @josephsummer777 26 дней назад +10

      Quoting: Seabird poop-sometimes called guano-was the “white gold” of fertilizers for humans for millennia. Rich in nitrogen and phosphorus from birds’ fish-based diets, the substance shaped trade routes and powered economies

    • @m3morizes
      @m3morizes 26 дней назад +17

      @@josephsummer777 I was half joking when I said bird poop because of that, but maybe that's a point in and of itself. Even what seems like the most useless of discoveries can turn out to be a life-changing resource.

    • @rlstine4982
      @rlstine4982 25 дней назад +6

      I went from number theories to bird poop islands. Thank you, RUclips comments 🤗

    • @MrWeebable
      @MrWeebable 25 дней назад +5

      Flawed logic. Implies both the valuable and worthless islands have all been discovered before you, but the worthless islands were just never claimed or inhabited. So the discovery wasn'tnovel in either case. However, the assumption is that somebody has been there before, which isn't necessary. Over time it becomes more unlikely but still possible to discover truly novel things, both valuable and worthless novel things. Some unclaimed sequence in OEIS may have never been found before you found it.

  • @nissantzvitovey
    @nissantzvitovey 26 дней назад +28

    This just showed up in my feed, first time watching one of your videos. As a math major myself, I truly admire your mad mathematician vibes, with your calculations done in the wold with no clear uses, the true calling of all mathematicians.

    • @dynamotexan
      @dynamotexan 26 дней назад +3

      Just hang around with this guy. He started way back with much more simple principles and systems and it has been fun seeing the progression; from the maths and the mad mathematician

  • @joshuazelinsky5213
    @joshuazelinsky5213 26 дней назад +44

    Hi! I'm one of the mathematicians who has done some work on Integer Complexity, especially work with Harry Altman.
    A few quick notes: A related fun open problem: do powers of 2 have the obvious complexity? That is for any n>1, is the complexity of 2^n just 2n?
    Also, I gave a version of the Gaussian problem as a research problem to a student group a while ago. There work is I believe still under review.
    Edit: Your thoughts about rationals are interesting. I think you are correct that that problem has not had much work (or at least if there is work on it, I don't know of it). To some extent, your 5/6 example seems to be taken advantage of "Egyptian fractions" which are ways of writing a number as the sum of fractions of the form 1/a for various distinct a. In particular, for 5/6, you are using that 1/2 + 1/3=5/6. Frequently it seems that using an efficient Egyptian fraction representation for a number will give rise to a low cost way of writing that fraction.

    • @aadfg0
      @aadfg0 25 дней назад +3

      For the open problem: yes assuming a strong version of the generalized Catalan conjecture. Conversely, if we can prove this then we have some control on the subcase |2^m - 3^n| = k in the conjecture.

    • @joshuazelinsky5213
      @joshuazelinsky5213 25 дней назад +3

      @@aadfg0 Yes, they are closely related. It turns out also to be related to what the base 3 expansion of power of 2 can look like. The claim implies roughly speaking that powers of 2 cannot have disproportionately many zeros in their base 3 expansion.

  • @owdeezstrauz
    @owdeezstrauz 26 дней назад +52

    Friend: 📞 "Hey D, wanna come out tonight? Have some fun with people?"
    D: "No way, I'm figuring out how many 1's go into numbers tonight and for 2 weeks straight."

    • @cdorman11
      @cdorman11 6 дней назад

      That's the thing about being the most interesting person at a party. It takes weeks of experiences to be interesting for 15 minutes.

  • @Corvo-lh9iy
    @Corvo-lh9iy 26 дней назад +45

    bro finally got those chickens lol, lets go

  • @ediza.8485
    @ediza.8485 26 дней назад +35

    Combo Class is the most underrated concept in youtube algorithm theory

  • @joecassidy2887
    @joecassidy2887 26 дней назад +55

    math gremlin's back

    • @travcollier
      @travcollier 26 дней назад

      More goblin than gremlin ;)

    • @fairygoodmuller8065
      @fairygoodmuller8065 22 дня назад +1

      Ma, there's a weird cat outside. It's spouting maths at me, the weird fuckin thing

  • @ratiogmd
    @ratiogmd 22 дня назад +9

    Very entertaining. You're the Explosions&Fire of math

  • @MrSleazey
    @MrSleazey 9 дней назад +5

    This guy also gets a good workout while making these videos; lots of hiking, climbing, carrying stuff, stomping out fires off camera.

  • @yasin_karaaslan
    @yasin_karaaslan 11 дней назад +4

    Thank you for filming this outside. It is strangely comforting to see surfaces illuminated by the sun or places covered in mud due to rain, maybe it's because I don't go out much

  • @Maukustus
    @Maukustus 24 дня назад +2

    really interesting how all of the low numbers feel like they have a pattern until you reach a big number and that pattern just shatters, incredible how common it is (talking about the primes being one bigger than the ones below)

  • @theultimatereductionist7592
    @theultimatereductionist7592 25 дней назад +14

    I have studied the unique way to write a positive integer using only the prime function: p(n)= the n-th prime, and the integer 1.
    2=p(1) = ()
    3=p(2)=p(p(1)) =(())
    4=2*2=p(1)*p(1) =()()
    5=p(3)=p(p(p(1))) = ((()))
    6=p(1)*p(p(1)) = ()(())
    This can be mapped into the number of ways of Dyck numbers: counting the number of ways of a string of Xs and Os
    (X = left parentheses O = right parentheses) so that in any initial segment there are more Xs than Os.

    • @quinn7894
      @quinn7894 2 дня назад

      I discovered something very similar, where p(n) is indicated by wrapping the number in a circle: ruclips.net/video/CrvSmxf8tPs/видео.html

  • @pomtubes1205
    @pomtubes1205 26 дней назад +17

    dude these shots are underratedly amazing

  • @X3MgamePlays
    @X3MgamePlays 26 дней назад +19

    16:30
    Well yeah, you build up with multiplications of 2 and 3. Of course a division would cost even more one's.
    Moments later, WTF?! HOW???
    Also, I expected you to mention something like "to the power of".
    (1+1)^(1+1+1) = 8
    Which reduces the number of ones from 6 to 5.
    Great video. Happy THE squirrel is still around. Have you named it yet?

    • @quentind1924
      @quentind1924 26 дней назад +3

      Why would we stop to powers ? What about tetration or even stronger ones ?
      The question i had myself is about if substraction was allowed or not, since i’m pretty sure numbers 31 or 63 would be more optimized by taking (the formula for 32/64)-1 than the formula for 31/63 without substraction. Same for numbers like 62, that would be the most efficient by doing 31×2, with 31 having a substraction in it’s formula
      Edit: i literally wrote that when i was 1 minute before he was talking to it, nvm

    • @ethanbottomley-mason8447
      @ethanbottomley-mason8447 25 дней назад +2

      Division is helpful since if you have your number, call it n, and you are trying to make it, then there are four basic ways, you write n = a * b, a + b, a - b, a/b. If division is ever useful, then some number needs to have a minimal cost of the form n = a/b. Now how can this happen? You want a number n such that bn has a small cost. If bn is very close to a number of the form 3^k, then its cost will be small. In fact, I would not be surprised if the cost of numbers of the form (3^k+1)/2 have this as their form with the least cost for k sufficiently large.

    • @gaborszarka7596
      @gaborszarka7596 9 дней назад

      @@quentind1924 when you introduce new operations, information is added to the recipe, therefore the complexity must go down

  • @MatesMonchis
    @MatesMonchis 25 дней назад +6

    I was inspired to come up with the following generalization:
    Let the cost of one 1 be zero, the cost of addition be A and the cost of multiplication be B. What's the cheapest that we can buy an integer for?
    The integer complexity defined in the video is equivalent to letting A = B = 1 (and adding 1, as you set the cost of 1 to be one, while it would be zero for me).
    I think a very interesting case comes up when we set B = 0. The first few values of the cost of n are equal to the optimal values for something called "addition chains". The first value where they differ is n = 23.
    I think I might study this more in detail! Thank you for letting me know about this topic.

  • @its_elkku135
    @its_elkku135 26 дней назад +18

    Your style is wildly creative and entertaining. I love it

  • @joshuasims5421
    @joshuasims5421 26 дней назад +3

    This video was enthralling, I'm so glad you survived filming it. But most of all, your philosophical point at the end was important for anyone working in research.

  • @andrewbarth8157
    @andrewbarth8157 18 дней назад +2

    Small correction, but for the mysterious gaps at around 12:04, 14 has 8 one's constructed by 7*2, or ((1+1+1)(1+1)+1)(1+1). Great video.

  • @fearstreak7462
    @fearstreak7462 26 дней назад +147

    Bro wake up, new ComboClass just dropped

    • @ilovecats_og
      @ilovecats_og 26 дней назад +1

      WAKE UP!
      -ITS THE FIRST OF THE MONTH-
      COMBO CLASS UPLOADED!

    • @TymexComputing
      @TymexComputing 26 дней назад +1

      I also love it, i just dont accept that arsonistic approach

    • @ilovecats_og
      @ilovecats_og 26 дней назад

      @@TymexComputing ok, i get it

    • @BenWard29
      @BenWard29 24 дня назад +1

      Nope. I’m getting a restraining order. This comment causes cancer.

  • @EngineerNick
    @EngineerNick 26 дней назад +45

    Your intros are just fantastic

  • @andrewdemos3009
    @andrewdemos3009 18 дней назад +2

    you're my hero part of the reason I'm going back for my bachelors in mathematics!!

  • @ElusiveEllie
    @ElusiveEllie 24 дня назад +1

    The fact that you just found some interesting little problem, worked out some solutions, and struggled to find out other ways people had experimented with this idea until you found the OEIS, and THEN you learned that plugging in your solutions brought you to this whole concept... It is so freaking cool and I'm so happy for you that you found it like this. This is insanely fun!

  • @AshburnArmorerDan
    @AshburnArmorerDan 24 дня назад +3

    You've got Weird AL energy. I hope you recognize how big of a compliment that is.

  • @SirNobleIZH
    @SirNobleIZH 8 дней назад +1

    That revelation with e reminds me of when i realized a^b will always be greater than b^a so long as a is closer to e than b

  • @memyselfishness
    @memyselfishness 26 дней назад +12

    This was a rather interesting concept. It reminds me a bit of floating point arithmetic. In fact, in many ways, your question about non-integer numbers is a question of floating point representations. Floating point might not be the right word to use, but I think you might understand what I'm saying.

  • @videoDemon
    @videoDemon 26 дней назад +11

    _for a messy guy - in a messy neighbourhood - you've sure got a clean lab coat_

    • @alexneckoyami
      @alexneckoyami 11 дней назад

      Disappointed you didn't go through with the haiku you started

  • @toferg.8264
    @toferg.8264 2 дня назад

    Wow! I feel like each number has had a tarp over it my whole life, and you lifted the tarp, letting me see the framework inside. Thank you!

  • @jordanrodrigues1279
    @jordanrodrigues1279 26 дней назад +10

    Have you considered doing a collab with Explosions and Fire? Something like "doubling cubanes"?

    • @emilyrln
      @emilyrln 26 дней назад +1

      They are the perfect chaos power duo!

  • @user-rh5lk8xh3s
    @user-rh5lk8xh3s 25 дней назад

    I really liked it. Super interesting. This channel is underrated. Good job man

  • @frantisekjanecek1641
    @frantisekjanecek1641 26 дней назад +23

    4:14 The "cost" of number 4 is 4, but the example for number 4 in the column has 5 ones.

    • @bennik8845
      @bennik8845 26 дней назад +18

      thank god this man is just a human

    • @lyrimetacurl0
      @lyrimetacurl0 26 дней назад +3

      in the thumbnail it's (1+1)(1+1)

    • @DLBeatty
      @DLBeatty 26 дней назад +2

      The extra '1' was just a tip that I left the good doc.

    • @quentind1924
      @quentind1924 26 дней назад

      It’s obviously an editing mistake, it doesn’t even add up to 4

    • @frantisekjanecek1641
      @frantisekjanecek1641 25 дней назад +5

      @@quentind1924 Of course, this is a very silly little mistake. I am learning english and my math background is not the best, so I am happy for any mistakes I find. The videos from this channel are great.

  • @aryst0krat
    @aryst0krat 8 часов назад

    This feels tailor-made for people with ADHD. There's never a moment to get bored because there's always something new on screen to pay attention to while listening.

  • @DDDTTT-jm9dr
    @DDDTTT-jm9dr 26 дней назад +3

    It's crazy to see a video on my home page of the almost exact topic that I was investigating yesterday. I was trying to find an answer to the problem: What is the minimum of ones that I need to use to form all the numbers? (using addition, multiplication, exponentiation, tetration...) Great video!

  • @elitettelbach4247
    @elitettelbach4247 18 дней назад

    Absolutely loving the aesthetics and contents of this video! And now I'm considering the implications of the terms threven and throdd.

  • @louisrustenholz7642
    @louisrustenholz7642 26 дней назад +3

    This is super interesting!
    This sounds a bit related to height functions in diophantine geometry, where they are used to quantify the "complexities" of solutions (complexities of rationals, Weil complexity of algebraic numbers, etc.), although integer complexity seems to have a more "combinatorics" feel to it.
    I wonder if the connection goes beyond face value, that would be super cool!

  • @harriehausenman8623
    @harriehausenman8623 22 дня назад

    The way you inspire curiosity - brilliant as ever! 🤗
    Especially how you show genuine research and exploration is fun ! 🥳

  • @DLBeatty
    @DLBeatty 26 дней назад +1

    Love your persona with the unpolished surreal props and backgrounds!

  • @eric23232323
    @eric23232323 26 дней назад

    DUDE. I just found this video, first of yours, I'm subscribed now to both of your channels. LOVE! I'm only half through (we're on a dinner break) and I'm on the edge of my seat for the ending. Your delivery and presentation is TOPS. Love it so much. FWIW you remind me of my (decidedly off the beaten path) fraternity at RHIT. I'm sure you and they would get along like gangbusters. I'm only sad to see you don't have a hundred or more videos for me to watch. I'll have to patiently drag it out and watch one a week. Do you have a patreon? WHY NOT? :-) (PS. Auto-correct changed that to "Do you have a pattern?" Gold.)

  • @J0R1AN
    @J0R1AN 15 дней назад +1

    Incredible coincidence that this video found its way into my recommendations.
    A few weeks ago I encountered exactly this problem while working on an idea about bypassing some filter in a program that blocked digits, but allowed string like ‘true’. By using things like ‘true+true+true’ which equals 3, I could create numbers that I needed. But it would take a lot of text to create, say, the number 100.
    I realized that through multiplication and parentheses I could create larger numbers more quickly but had to figure out an algorithm to generate these. It ended up being a pretty messy brute-force algorithm but I could generate the equations for the numbers I needed with exactly this idea!

  • @alexdamman6805
    @alexdamman6805 25 дней назад +1

    Dom keep going! I love your work. This complexity subject is very promising.

  • @brianpalmer967
    @brianpalmer967 25 дней назад

    This video was waaaay better than I thought it would be.
    Never seen this guy before, but I'm officially subscribed~

  • @CHagen240
    @CHagen240 9 дней назад

    so many vibey creative choices in the presentation. love it.

  • @who.u
    @who.u 26 дней назад +2

    This reminds me of some recent homework I was doing for computer science in university! First we had to write a dialect of the esoteric language P′′ (P double prime) in C. Then we had to write code in this language to do something basic like add two numbers together or print a message to terminal. Each character of the code is a single instruction/operation such as incrementing or decrementing by 1, or performing something in a loop (functionally the same as parentheses for multiplication). Long story short, I went down a bit of a rabbit hole trying to optimise my program to make it as short as possible and I found similar patterns to yours, especially around Euler's number.

  • @mcmakers8850
    @mcmakers8850 26 дней назад +3

    Giving me Explosions and Fire energy.
    Glad to be a new subscriber.

  • @robbo415
    @robbo415 26 дней назад

    Absolutely loved this episode - the math and the locations!

  • @1234567zeek
    @1234567zeek 25 дней назад

    Thank you very much! This was top-notch unique content. Nice work!

  • @xgozulx
    @xgozulx 15 дней назад +1

    the video set is so crazy, i love it

  • @n20games52
    @n20games52 24 дня назад

    Loved the video and look forward to investigating the channel more.

  • @NoPodcastsHere
    @NoPodcastsHere 26 дней назад +1

    Really powerful point about being grateful for those who have already solved the problems we're working on. I think the fire and destruction is probably unnecessary, what you do is already cool enough.

  • @leadlime29
    @leadlime29 25 дней назад +15

    congrats; you invented the french numbering system

  • @tinkeringtim7999
    @tinkeringtim7999 26 дней назад +25

    This guy has totally embraced his neurodiversity in engaging people and I'm so here for it!
    Brilliantly crafted content and delivery. Subscribed.

    • @defenestrated23
      @defenestrated23 26 дней назад +3

      I have a very similar flavor of spicy brain (light stuff on fire and geek out about math) so this channel is pure gold

    • @tinkeringtim7999
      @tinkeringtim7999 26 дней назад

      @@defenestrated23 Me too, although I think I have a twist that prevents me from being able to actually string those clips together into a whole thing other people can see.

    • @thecoolv130
      @thecoolv130 18 дней назад +2

      Lol I could be wrong but as far as I know this guy never said anything about being neurodivergent. Maybe he makes a video like this because he has a unique personality and perspective on the world, just like anyone else. Funny how we can essentially call people mentally ill with no blowback using this new PC word “neurodiversity”.

    • @tinkeringtim7999
      @tinkeringtim7999 18 дней назад +1

      @thecoolv130 He doesn't have to say it to be true. It's more common than you think for people to not realise or find out until they're 40.
      He's either a truly incredible actor or he is on the spectrum, heck he's the kind of person one would be better off calibrating the tests to!

    • @MarceccMC
      @MarceccMC 12 дней назад

      Ffs

  • @porglezomp7235
    @porglezomp7235 8 дней назад

    The most satisfying situation I got to was when I was doing some personal programming languages research during university and got to the point where some of the questions I was coming up with were things that people were only investigating in the past few years. I could still go look at other people's thoughts about it, but it was confirmation that I really was approaching new stuff.

  • @Harrold251
    @Harrold251 25 дней назад

    Y'know I've been watching your channel for a few years, it always very enjoyable having maths explained by a dishevelled madman. . . . I've only just realised you only have 40K subs, WTH?

  • @qbasic16
    @qbasic16 10 дней назад +1

    You're the new definition for Chaotic-Good™

  • @Rapnnex
    @Rapnnex 16 дней назад

    Love your enthusiasm for presenting obscure mathematics with the most chaotic energy possible. Changing the set of available operations from {+, *} to instead include all hyperoperations {+, *, ^, tetration, pentation, ...} might be an interesting way to extend the topic, to me it "feels" less arbitrary than cutting off the set of operations off after the first two.

  • @TroyWarr1980
    @TroyWarr1980 25 дней назад +1

    I lost it when you said "throdd" with such conviction 😂

  • @cobracoder6123
    @cobracoder6123 13 дней назад

    Other math youtubers: Makes their videos in their office
    Combo Class: "Let's find the most random and obscure locations to record videos"

  • @syfp4769
    @syfp4769 26 дней назад

    I ran into this concept in a coding project I did a few years ago. Cool to see someone else has researched it

  • @user-fo7fd6yj9p
    @user-fo7fd6yj9p 2 дня назад

    Your mind seems wildly tempered in wonderful ways, I would love to sit down and talk shop about large number theory and complex relative maths. The video was a wild ride and is worth recommending to a friend.

    • @user-fo7fd6yj9p
      @user-fo7fd6yj9p 2 дня назад

      Additively I'd like to give you another indexing idea that I think will lead to the future of number theory, if Pi is infinite we could theoretically have all numbers derived from Pi and using either their integer value to return different values (0 gives 3, 1 gives 1, 2 gives 4 but say 0~2 would be 14) to eventually have computers look at all numbers as their related index of pi, depth of relation of numbers and since it goes on indefinitely you could get all values eventually when they are all tallied.

  • @CruseCtrl
    @CruseCtrl День назад

    I'm loving these new locations!

  • @WildEngineering
    @WildEngineering 21 день назад

    i dont think ive ever witnessed a video like this before, you got me hooked

  • @ambu.6707
    @ambu.6707 4 дня назад

    rly interesting how this method is used to construct integers irrespective of bases. rly looking forward to the video on eulers constant. its role in number bases is rly intriguing and im excited to learn more

  • @mhm6421
    @mhm6421 13 дней назад +1

    10:35 For anyone seeking explanation, imagine you split 10 into x pieces.
    In this case he set x=4 which results in (2.5)(2.5)(2.5)(2.5)=(2.5)^4
    Using this pattern we can define this as:
    f(x) = (a/x)^x
    =e^(x ln(a/x))
    (The variable a is the amount of ones we can use, in this case it would be 10)
    Which if you derive you get: a^x (1/x)^x (ln(1/x) - 1 + ln(a)) = 0
    First two cannot be 0 since x is a real number
    -ln(x) - 1 + ln(a) = 0
    x=e^(ln(a)-1)
    x=a/e
    But remember that we split "a" ones into "x" pieces
    So every piece would have the value a/x, plugging x=a/e
    You get that it should be exactly e!

  • @onlyguitar1001
    @onlyguitar1001 25 дней назад +1

    This is cool. I always had trouble making sense of shuffling patterns. In high school I would shuffle poker chips and looked at how many times it takes for a stack to return to it's original permutation when doing perfect shuffles. I made a small program on my calculator to do this but I never understood the math behind it (I think it's some group theory stuff). I didn't pursue mathematics but I think I might learn more about this from the OEIS.

  • @duckyoutube6318
    @duckyoutube6318 Час назад

    You know, most of the time im impressed by things like straight lines and clean boards.
    But with this guy... It just wouldnt feel right.

  • @nemesisurvivorleon
    @nemesisurvivorleon 12 дней назад

    This man went on a whole adventure. He just happened to carry MATH with him the whole time

  • @nivolord
    @nivolord 26 дней назад

    Nice! Integer complexity is something I have been thinking about for a long time, and is fascinating. I often ponder what should be the "cost" of multiplication, in bigger families of operations including exponentiation and up. The helpfulness of subtraction in reducing complexity is both a marvel and a menace when trying to fix a set of operations. Thank you for this great video!
    Edit: Let me just mention that my introduction into this topic was via Kolmogrov Complexity, which studies more generally how much resources it takes to describe an object. Integer complexity seems to be a precursor to this wider topic of complexity of mathematical objects.

  • @standard_limbo
    @standard_limbo 24 дня назад

    Just want to say, you are the most chaotic math RUclipsr and I love your stuff man

  • @asailijhijr
    @asailijhijr 15 дней назад

    When you're encountering a new (to you) computer problem, you definitely want to find that you're not alone in your searching.

  • @pancholopez6892
    @pancholopez6892 12 дней назад

    You can extend this concept by adding ones and twos to get a number, for example 2 needs 1 number, thats 2, 3 needs 2 numbers 1+2, and so on. Also you can keep adding numbers, like 3,4,5, etc. Great video!

  • @sloppycee
    @sloppycee 20 дней назад

    It's so frustrating when you think you've made a discovery only to find you're not the first. It's especially frustrating when it's contemporary enough that it could've been you first!

  • @friedrichgwinner8888
    @friedrichgwinner8888 26 дней назад +2

    I'm so happy I clicked on this video. You are such a cool guy, I am gonna watch all your videos now

  • @jack002tuber
    @jack002tuber 24 дня назад +2

    I really hope that numberphile sees this video. They sit at a desk and talk for an hour. 😄

  • @uomodibassamorale
    @uomodibassamorale 25 дней назад

    your best episode so far... bravo!

  • @mjohnson2807
    @mjohnson2807 26 дней назад +5

    11:11 e goes into 10 about 3.678 times, so if you multiple e to that power, you get a maximum of 39.5986256445

  • @jackwightman3783
    @jackwightman3783 26 дней назад +3

    Seen 20 seconds of the video, subscribed as I knew this was a channel for me

  • @joyce8120
    @joyce8120 25 дней назад +1

    reminds me of the Fundamental Theorem of Arithmetic. fascinating video

  • @Catt0
    @Catt0 26 дней назад +2

    This was extremely interesting!

  • @maynardtrendle820
    @maynardtrendle820 26 дней назад +2

    I love to see the OEIS coming up in casual instruction!🤴🏼

  • @WriteWordsMakeMagic
    @WriteWordsMakeMagic 26 дней назад

    Fascinating video. I wonder what your experience was finding the sequence online after thinking at first that it was something that was just in your head. I had a similar experience when investigating grafting numbers

    • @WriteWordsMakeMagic
      @WriteWordsMakeMagic 26 дней назад

      Just realized the last section of the video covered this question, haha

  • @CliffSedge-nu5fv
    @CliffSedge-nu5fv 24 дня назад

    I remember doing something very similar to this when designing a game that uses dice and cards to make various numbers. It had a simple "make a big number to beat the target" premise, but there were a few ways to get a bonus to add on or multiply your number, so I tried to estimate the probabilities of beating different targets considering the different combinations of addition and multiplication possible depending on what bonuses the player had.
    I ended up making a similar looking list of different expressions that totaled the same amount.

  • @vladodrobny7506
    @vladodrobny7506 22 дня назад

    This is so fresh and real, I love it.

  • @melody3741
    @melody3741 22 дня назад

    I was like “cool but not that useful” until you pointed out how it ties into E and my mind was blown

  • @CaptainWizard3000
    @CaptainWizard3000 23 дня назад

    Looking forward to your upcoming video about games!

  • @dev_X_
    @dev_X_ 26 дней назад

    Very insightful. thank you

  • @cdorman11
    @cdorman11 6 дней назад

    17:56 Sequence encyclopedia
    21:18 Holy cow, what a landscape!

  • @HaileISela
    @HaileISela 8 дней назад

    that was a fascinating topic and i love the overtones of resonance between this and synergetics and the dozenal numbering i have tuned into
    i suppose i could see how in spherical terms one sphere as a unit, two as the unit pair and three as the unit eye, triangle, would be the respective relationships. four would of course be unique in being the foureyes with a unit volume, and six, dozen, and so on and so forth.
    thank you for that beautiful insight

  • @williammorton8555
    @williammorton8555 26 дней назад

    Loved it and learned something. Subscribed. Great! One question........ Who runs the camera? Your therapist or your keeper?