Why Number Theory is Hard (Audio Fix in Description)

Sdílet
Vložit
  • čas přidán 1. 07. 2024
  • I apologize for the audio discrepancies. This is a musicless version version: • Why Number Theory is H...
    Number theory is a field of mathematics that dates back to the earliest civilizations, but why is it so notoriously difficult? In essence, it boils down to addition and multiplication each cannibalizing the nice properties the other brings to the table.
    Notes:
    Scaling a vector by 0 always produces the 1-vector, corresponding to the fact that n^0 = 1 for all integers n.
    #math #numbers #addition

Komentáře • 181

  • @DontWatchWhileHigh
    @DontWatchWhileHigh Před 25 dny +241

    The real problem is that we have way too many numbers.

    • @adamsheaffer
      @adamsheaffer Před 25 dny +7

      Infinitely many

    • @cosimobaldi03
      @cosimobaldi03 Před 25 dny +27

      Well it's not a real problem, i'd say it's more of an integer problem ;)

    • @table4978
      @table4978 Před 24 dny +3

      it feels like there's just no end to them

    • @__christopher__
      @__christopher__ Před 24 dny +15

      @@cosimobaldi03 indeed, the real problem is that we can't even count them.

    • @atomgutan8064
      @atomgutan8064 Před 24 dny +3

      ​@@__christopher__ What is it with these puns 😂

  • @JohnnySacc
    @JohnnySacc Před 26 dny +500

    good vid but the inception sound blew my ears out

  • @xiyition
    @xiyition Před 26 dny +417

    put a normaliser on your audio the loud sounds are rather jarring

    • @artkalbphd
      @artkalbphd  Před 26 dny +127

      Thanks for the feedback.

    • @Benevezzioficial
      @Benevezzioficial Před 25 dny +62

      ​@@artkalbphd don't listen to him that shit was awesome

    • @aaronkaw4857
      @aaronkaw4857 Před 25 dny +79

      ​@@Benevezzioficiallol. Maybe normalize the volume, and people like ​@Benevezzioficial can turn up their volume.

    • @williamhu9567
      @williamhu9567 Před 25 dny +6

      @@Benevezzioficial lmfaoooo

    • @anywallsocket
      @anywallsocket Před 25 dny

      dam OP figured out the whole point

  • @octopeople
    @octopeople Před 25 dny +78

    Factor space can additionally represent all positive rational numbers, if you allow negative components in the vectors

    • @isoraqathedh
      @isoraqathedh Před 25 dny +16

      In music theory (specifically tuning theory in just intonation), doing this creates a monzo. The monzo has a dual structure called a val that interacts with monzos to create a robust reason as to what intervals map to what steps in equal temperament in such a way that you can build chords in a consistent manner.
      As such, monzos are typically written as a column vector/ket, while vals are written as a row vector/bra.

    • @TrailersReheard
      @TrailersReheard Před 23 dny +4

      And all computable numbers if you turn it from a vector space to a cauchy space (all limits are in the space)

    • @arnerob123
      @arnerob123 Před 20 dny +2

      @@isoraqathedh Cool! Do you have a good reference for this?

    • @isoraqathedh
      @isoraqathedh Před 20 dny

      @@arnerob123 the xenharmonic wiki has an article on monzos: en dot xen dot wiki slash monzo. Xenharmony is as of yet quite an amateur effort and there's not much if you're looking for a high standard of quality research wise.

  • @minerharry
    @minerharry Před 25 dny +34

    This is *fascinating*, awesome video! I’ve taken a handful of higher math classes (and watched a lot of math YT), but I’ve never seen number theory expressed as a semi module before! That makes so much of the random tidbits make sense, and is just so cool.

  • @3eH09obp2
    @3eH09obp2 Před 25 dny +104

    Dude, I spent years thinking the factor space idea was an original thought of mine. Damn!!

    • @Benevezzioficial
      @Benevezzioficial Před 25 dny +16

      Ideas are discovered... Not created

    • @DeJay7
      @DeJay7 Před 25 dny +11

      @@Benevezzioficial Ideas are created each and every time anyone considers them. We THEN discover that the idea has a real meaning.

    • @benjaminojeda8094
      @benjaminojeda8094 Před 25 dny +4

      Me too with other ideas 😓 It's common in mathematics

    • @lagomoof
      @lagomoof Před 25 dny +4

      There's a bit on Wikipedia somewhere that talks about being able to encode square-free integers in binary, using the ones and zeros (and that's all there can be and remain square-free) of the prime exponents, which I think is where I first came across it. It extends to being able to encode all power-n-free numbers in base n, and so on to infinity.
      This then leads to noting that there are other enumerations of vectors of fixed length (or infinite but the tail is all zeros after some point, which amounts to the same thing). Examining these may help derive insight. "May" being important here. I don't have the necessary brain to work such wonders.

    • @Benevezzioficial
      @Benevezzioficial Před 25 dny +1

      @@DeJay7 I see ideas as 'possible states' of the elements that construct them. Even bad ideas are possible states based on incomplete/false/conflated elements.
      Like picking a fruit from Plato's plane of form

  • @isogash
    @isogash Před 25 dny +11

    Factor space is great! It intuitively feels like there is so much potential mathematics to discover in relationships between numbers and patterns/functions in factor space. I haven't seen anyone else using it at all.
    I started experimenting with it in relation to the Collatz conjecture and made a couple of interesting "discoveries." A really simple and fun one is that each factor has its own predictable fractal pattern as you contually apply the successor function. If you take the component of 2 of numbers 1,2,3,... etc. you get the sequence 0,1,0,2,0,1,0,3,0,1,0,2,0,1,0,4,... etc. Every time you double the length of the sequence, you duplicate the existing sequence and then add one to the final element. This self-similarity in the sequence becomes very interesting when you start to think about integers with a potentially infinite number of digits (similar to p-adics) as they will still have a finite component of 2 (so long as they are a p-adic infinite power of 2.) It gives you a way to think about all possible numbers at the same time when attempting to prove theorems about repeated application of multiplication, such as with Collatz. When you keep dividing by 2, that component of 2 will hit zero, but your local space of integers on either side will share have a similar overall shape (hard to explain but if you picture the numbers as "peaks", the local neighbourhood will have the same peaks as your older neighbourhood did, just on a smaller scale with smaller numbers. In particular, the side on which the taller peaks are will not fundamentally change.)
    Note that the sequence works in a similar way for higher factors, the sequence is just repeated self-similarly k times where k is the factor e.g. for 3 it's 0,0,1,0,0,1,0,0,2,0,0,1,0,0,1,0,0,2,0,0,1,0,0,1,0,0,3,... etc...
    Another interesting note on Collatz is you can actually change the (3n+1)/2 rule when n is odd into a new rule where only the multiplication is repeated:
    1. add 1 to n
    2. multiply n by 3 and divide by 2
    3. repeated step 2 until n is odd
    3. subtract 1 from n (and go back to dividing by 2 until n is odd again.)
    After you add 1 to n, you can look at the component for 2 and it will tell you the number of times you are going to need to repeat step 2. This is because each repetition of step 2 is dividing by 2, so the component of 2 will fall until it hits zero and the number becomes odd. Interestingly, this means that the highest number of possible repeated (3n+1)/2 in a row is always the exponent of the next highest power of 2 greater than n, and the number with the most will always be the one that is 1 less than that power. Note that each repetition of step 2 is adding to the component of 3, which relatively moves the number within its range between powers of 2, unlike dividing by 2. (All combined, this means your local neighbourhood stays similar in the sense that the shape of the valley you are in will stay the same, but which side the taller peaks can be found on will change predictably.)
    This all comes together to give you new ways to reason about the Collatz conjecture and what is really going on under the hood. It opens up the potential to define better understand which patterns are actually possible in the hailstone sequence and how patterns in the sequence in smaller numbers can relate to similar-looking patterns in larger numbers. In particular, you can see how there is ain interesting pattern to where numbers in lower intervals of powers of two will end up positioned on higher intervals.
    Anyway, this is where it's really out of my depth, I don't have the mathematical skills or patience to take this any further and find exactly how the neighbourhoods change when the sequence is applied.

    • @__christopher__
      @__christopher__ Před 22 dny +1

      @@isogash that modified Collatz rule is a very interesting finding. In tems of the vector, the repeated multiplication with 3/2 means that you add the first component to the second and then set the first to 0. Repeated division by 2 of course just means setting the first component to 0. All other components are affected only In the increment and decrement step.

  • @hgp314
    @hgp314 Před 25 dny +22

    love reading the comments and seeing how many other people independently thought to represent the naturals like this

    • @user-fl5nv7oh3z
      @user-fl5nv7oh3z Před 25 dny

      there are only 48 comments so far (+1) But having only basic knowledge in fundamental math, I asked me the same question, but now I have a lot to follow ...

  • @__christopher__
    @__christopher__ Před 25 dny +19

    The fact that gcd(a+b,a)=gcd(a+b,b)=gcd(a,b) means that for the sum of two arbitrary numbers, for those entries where they differ, the sum has the lower of the two as entry, while for those where they equal, the sum may have an equal or higher entry. The fact that a and a+1 are orthogonal is a special case of that.

    • @__christopher__
      @__christopher__ Před 24 dny +2

      Indeed it seems that if you impose the natural partial order that (1) increasing any component gives a larger vector, and (2) increasing by the same amount farther right gives a larger number than increasing farther left, it seems that the simple rule that every new number gets assigned the smallest available vector compatible with the previous assignments under above-mentioned addition rule already fixes all assignments. I tested it up to 10 at least.

    • @ChaseRoycroft
      @ChaseRoycroft Před 23 dny +1

      @@__christopher__ That seems interesting! Would you mind posting some examples you've worked out?

    • @__christopher__
      @__christopher__ Před 23 dny +2

      @@ChaseRoycroft wel, we start at 1 (obviously 0 can't be represented this way). Since we haven't yet used up any representation, we use the smallest one that exists; that's unambiguously (0,0,0,0,....).
      Next comes 2, which is 1+1. The addition rule gives no restriction, so we look for the smallest representation not yet taken, which is (1,0,0,0,...).
      Next comes 3=2+1, where the addition rule forces a 0 on the first coordinate, which makes the smallest allowable unambiguous: (0,1,0,0,....)
      Now it gets interesting: 4 can be written as sum in two ways: 4=3+1=2+2. The first sum enforces the second coordinate to be 0, and the second sum forces the first coordinate to be at least 1. Again the smallest allowable non-taken vector is unambiguous: (2,0,0,0,....).
      5=4+1=3+2. The second sum enforces the first two coordinates to be 0, the first doesn't add another restriction. The smallest allowable vector is (0,0,1,0,...).

  • @WYXkk
    @WYXkk Před 25 dny +11

    I think 'addition ruins factorization' explains better, which I think is true in all nontrivial cases. And number theory is just very about factorization.

    • @rosiefay7283
      @rosiefay7283 Před 25 dny +7

      A lot of number theory is not about factorization at all. Or even about divisibility.

    • @zirkereuler5242
      @zirkereuler5242 Před 25 dny

      @@rosiefay7283 what is it about?

  • @Inspirator_AG112
    @Inspirator_AG112 Před 25 dny +26

    *@[**0:11**]:* They are all divisible by 30.

  • @MooImABunny
    @MooImABunny Před 25 dny +11

    since S is not linear on the vector space, I would avoid dropping the parentheses around the argument.
    you write at a few points stuff like S²p, which is notation usually reserved for linear operations.
    a quick proof that S isn't linear:
    a²+1 ≠ (a+1)²
    => S(2A) ≠ 2S(A)
    where A is the vector corresponding to a

  • @AnyVideo999
    @AnyVideo999 Před 25 dny +22

    This is my favourite way to view the primes. I always want to see how many traditional properties of primes simply emerge from ordering these vectors without knowing anything about the underlying arithmetic.
    Fundamentally, one could do the same with polynomials. A really nice case are F2 polynomials since they track neatly with binary numbers as well

    • @tomhase7007
      @tomhase7007 Před 25 dny +1

      Indeed. This way of representing natural numbers or polynomials as vectors is knows as "valuation theory". More precisely, the coordinate of the vector corresponding to a prime p is called the "p-adic valuation". As someone commented below, one can also allow for negative entries in the vector to allow for elements in the field of fractions (rational numbers or rational functions). This allows one to work with modules rather than semimodules, and it works for every field of fractions of a factorial ring.

  • @vari1535
    @vari1535 Před 25 dny +21

    good video content, but i'm kind of confused as to how it explains why number theory is hard (the description helped me understand, but i don't feel i got it from the video).

    • @quantumgaming9180
      @quantumgaming9180 Před 25 dny +4

      Because most theorems and things we know how to solve talk about multiplication. Statements involving addition don't connect nicely with things we already know so we are left in the dark for most of such questions

  • @yb3604
    @yb3604 Před 25 dny

    So highly informative ^_^ And the music that accompanied the introduction of the successor function is very fitting. Thanks for the explanations.

    • @yb3604
      @yb3604 Před 25 dny +1

      I think there a, while trivial, interesting philosophical observation to note - Raising the number below the arrow to a power calls for the multiplication operation; Multiplying the number below the arrow with another number calls for the addition operation; Both call for their 'primal' origin. Adding a number to the number below the arrow should call for whatever operation it is that is 'primal' to addition.
      And this is where is gets beautiful and complicated.

  • @alexwang982
    @alexwang982 Před 25 dny +2

    There's a beautiful interpretation of the Lifting the Exponent lemma in this space

  • @Dunning_Kruger_Is__On_Youtube

    Awesome way to look at primes!

  • @branster707
    @branster707 Před 24 dny

    Wow its crazy that I got recommended this video just after having the idea of factor space myself. Very cool to see how its used :)

  • @jonathanlister5644
    @jonathanlister5644 Před 24 dny

    Over the years I've tried to get a very basic understanding of number theory...this has opened the door for me to start again.

  • @ChaseRoycroft
    @ChaseRoycroft Před 24 dny +1

    Great video!

  • @meek6173
    @meek6173 Před 25 dny

    Fascinating!! I've only taken basic number theory through my discrete math class last semester but nonetheless enjoyed this video! Not a pure math major by any means (just physics) but I'd be heavily interested if I could find an intersection between it and number theory.

  • @WithinEpsilon
    @WithinEpsilon Před 25 dny +1

    This factor space framework, it's not new is it? I'm not familiar with the area of study. But having linear algebra experience that'd be my thought proces for representing integers as infinite dimensional vectors, whose span of the primes is the whole space.

  • @curtiswfranks
    @curtiswfranks Před 25 dny +10

    Your factor space and its notation exactly matches my discovery/invention of the same thing in 2014. I am happy that I am not alone!

    • @atimholt
      @atimholt Před 25 dny +3

      Yeah, repeatedly re-discovering known math makes me want to try and read current math journals-see if I'm just reaching the obvious conclusions that others already immediately discovered when the known facts lined up, or if I can actually independently discover something new and interesting.
      One of my favorite re-discoveries is that you can generate the Stern Brocot tree by multiplying successively by one of two 2×2 binary matrices.

  • @eemilwallin3347
    @eemilwallin3347 Před 25 dny

    The squarefree numbers are the numbers with no repeated prime factors, in other words, the semimodule in question over the field with two elements. This is a "lattice" which corresponds to a n-dimensional hypercube. The squarefree numbers therefore live in a square.

  • @IamLeFishe
    @IamLeFishe Před 17 dny

    really interesting topic, do you have additional ressources to go more in depth in this subject ?

  • @MonzennCarloMallari
    @MonzennCarloMallari Před 19 dny +1

    Yet another illustration that everything is linear algebra

  • @iMíccoli
    @iMíccoli Před 24 dny

    I'm in the math Olympiad world and number theory is the hardest one for me because of how technical it is, you can't even understand the problems or even have an idea of what to do if you don't have experience nor any solid basics but when you get used to it's pretty manageable, you can solve problems and keep learning more without as much difficulty as as when you started. Also I love how mysterious it is sometimes but anyways good video ❤.

  • @user-fl5nv7oh3z
    @user-fl5nv7oh3z Před 25 dny +1

    What will you see, if you look to the factor space from direction (1, 1, 1, 1, 1, 1, 1....)?

  • @amari343
    @amari343 Před 25 dny +1

    I've been thinking about this "factorspace" for quite some time! I've been representing them not as vectors but as a number system that isn't quite positional. For example, six is 11 (3^1 * 2^1).
    Have you ever noticed that twelve is 12 (3^1 * 2^2)? I haven't found any numbers like this up to 100,000,000,000. What do you think?

  • @atimholt
    @atimholt Před 25 dny +2

    Wait, if 19×…×54 = 23 ×…× 57, can't you just remove the explicitly common factors ([23,54]) to get two ranges that… (re-watches the beginning of the video). Ah, that's actually one of the known examples. I'm thinking now that must have been implied.

  • @user-fl5nv7oh3z
    @user-fl5nv7oh3z Před 22 dny

    What, if the dimension of the vector itself is prime? Then we can add /subtract the projection of the units vectors and they end up at the unit circle? just be accident?

  • @thelonglinest
    @thelonglinest Před 16 dny

    Like a lot of other commenters here, I independently thought of "factor space", and to me it's the most natural way to understand what multiplication actually is from an abstract algebraic point of view. I majored in math but I was kind of disappointed that it was never taught in my courses. Cool vid overall

  • @lumipakkanen3510
    @lumipakkanen3510 Před 25 dny +7

    Fun fact. Microtonal/xenharmonic music theorists affectionately call these vectors "monzos" and do all kinds linear and geometric algebra with them, slightly tweaking how large the prime numbers are. This results in tempering e.g. we can make it so that (3/2)^4 ~ 5/1 or equivalently [-4 4 -1> ~ [0 0 0> which is the Regular Temperament Theory way of specifying the meantone tuning system prevalent in Western music (meantone temperament predates the now ubiquitous 12-tone equal temperament which is itself a special case of meantone).

  • @elia0162
    @elia0162 Před 23 dny

    What is the name of the vector with prime inside i want to know more,does this prime vector have a magnitude?

  • @HarshitKumar-dj4ev
    @HarshitKumar-dj4ev Před 23 dny +5

    This video was recommended to me out of the blue. Not my regular piece of feed but I was intriguided by the title and also have some interest in number theory. But I was a bit disappointed by this because this was like an extremely high level overview of a lot of math jargon. Like vector, linear algebra, vector space basis, mobius function, totient function. Felt like a half-hearted attempt. Would have loved some details and intuition behind the theorems, application etc. rather than just taking the name of some random math concepts. You earned a subscriber and a like, hoping for better content.

  • @TepsiMorphic
    @TepsiMorphic Před 21 dnem

    I really enjoyed hearing Verdi's requiem out of nowhere. You don't here that everywhere. However it almost woke up my brother xD

  • @petergcda9645
    @petergcda9645 Před 24 dny

    At 3:23 is there an error in the typing? Should it be "x" in the brackets not "+" ?

  • @macchiato_1881
    @macchiato_1881 Před 25 dny

    I just properly learned linear algebra this week and I'm going crazy realizing that everything is representable via a vector space. It's good fuel for my thesis, but not so much for my sanity.

  • @samueldeandrade8535
    @samueldeandrade8535 Před 26 dny

    Oh wow! By Euler ... the video starts AMAZING!!!

  • @rujon288
    @rujon288 Před 25 dny

    Good vid 👍

  • @RussellSubedi
    @RussellSubedi Před 22 dny

    What was that random Quidditch World Cup theme at 3:41 about?

  • @banrtv9446
    @banrtv9446 Před 25 dny +1

    I legit read the thumbnail as addiction ruins everything

  • @user-kq7yj2vc7t
    @user-kq7yj2vc7t Před 25 dny +1

    I haven't seen this kind of vector representation of natural numbers ,
    Is there any book that explains more about this topic?

    • @drdca8263
      @drdca8263 Před 25 dny +2

      It’s just the coefficients of log(p) in log(n) .
      So, e.g. log(6) = 1 log(2) + 1 log(3) + 0 log(5) + 0 log(7) + …

    • @elia0162
      @elia0162 Před 23 dny

      ​@@drdca8263 Raised by e

  • @elreturner1227
    @elreturner1227 Před 25 dny

    As someone tackling 2^a +1 (which ones are prime) yes addition in fact does ruin everything

  • @user-fl5nv7oh3z
    @user-fl5nv7oh3z Před 25 dny

    in 4:08 fortunately even this is still a "veruni form?" The transcript says: "fortunately even this is still a little useful we know.."

  • @2wr633
    @2wr633 Před 25 dny

    this video have the best intro ever.

  • @shadeblackwolf1508
    @shadeblackwolf1508 Před 21 dnem

    3n+1. Whoever develops the theoreticap framework that solves this will be laying the groundwork for understanding addition and succession in this space.

  • @user-es6hc4qk3t
    @user-es6hc4qk3t Před 24 dny

    Darn, just a couple of days ago I had an idea for which I had to come up with a similar vector construction

  • @AnatoArchives
    @AnatoArchives Před 24 dny +1

    Dies Irae jumpscare

  • @Vangard21
    @Vangard21 Před 23 dny

    It's a trivial proof, but my favorite rendition of the irrationality of root 2 is what introduced me to p-adic valuation.
    Suppose for contradiction that root 2 is rational -> there exist n,m in the naturals s.t root(2)=n/m
    2 * m^2 = n^2
    v_2(2 * m^2) = v_2(n^2)
    2 * v_2(m) + 1 = 2 * v_2(n), which are Odd and Even respectively.
    The log-like behavior of v_p is because it's working in "factor space" - ie, the scaling operation at 2 minutes.

  • @irigima9974
    @irigima9974 Před 25 dny

    Has anyone found a pattern for which all numbers are constructed?

  • @karanaima
    @karanaima Před 25 dny

    3:14 why perpendicular ? shouldn't it be just orthogonal ? is the vector space you define in this video euclidean ?
    Or is it that you have the visual/physical interpretation of vectors which makes you think of the two as the same thing ? I know some people make this confusion. It's my first intuition and also you bio says applied mathematician lol

    • @Tletna
      @Tletna Před 25 dny +2

      I'm confused on the difference between "perpendicular" and "orthogonal" except that perpendicular is just a specific example of orthogonal .. but for practical purposes aren't they essentially the same thing?

    • @drdca8263
      @drdca8263 Před 25 dny

      Synonyms

    • @karanaima
      @karanaima Před 19 dny +1

      @Tletna when you say perpendicular you make the assumptions of basic geometry, euclidean geometry, where perpendicular means two lines that cut at a right angle. However everything that's true in euclidean geometry or euclidean vector spaces doesn't generalize to every vector space. For example depending on what the inner product is in your vector space, you can have vectors that are self-orthogonal (while non-zero). Does it mean that a vector like this cuts itself at a right angle when you draw it ? And if you start with the assumption that it's the same, and start applying properties that are true specifically of perpendicular vectors, you might end up with false conclusions because nothing tells you it is still true for all orthogonal vectors and not just in this specific case.
      You have to make the distinction. First of all, it is a misunderstanding of vectors to reduce them down to pointing arrows with a certain length that you can place in space. That is only true of vectors that represent physical properties or geometry. Do the infinite vectors of prime factors in this video really represent that ? Vectors are a way more general idea, and so is orthogonality. In a way it is more like perpendicularity and orthogonality are two separate things, and it just so happens that when you start doing basic geometry with vectors perpendicular also means orthogonal.
      So it is a problem conceptually, but also in practical use, because you're gonna think of orthogonal vectors as perpendicular in situations where this makes absolutely no sense, in that it has no meaning at all ; and then you're gonna miss out on the maths by trying to constantly visualize intersecting vectors with a right angle rather that realizing orthogonality can have a completely different meaning when you're working with a completely different kind of vector.

  • @calvinjackson8110
    @calvinjackson8110 Před 21 dnem

    I opened this video to find out why number theory is hard.
    I must have missed something.

  • @the_frog_army
    @the_frog_army Před 20 dny

    great example of a video that would be a shallow and straightforward 8/10 dropping to 2/10 due to not being edited properly

  • @Tletna
    @Tletna Před 25 dny +1

    The topic was interesting. The video/audio creation/editing was not good. The video got confusing once you introduced "S" or The Succesor function. Maybe you should've better explained how this was the same or different from standard addition of 1. You were right that the Successor function is problematic but mostly because I got confused from your video's explanation and not necessarily the function itself.

  • @bscutajar
    @bscutajar Před 25 dny

    At 0:22 the text says in two ways, but the voice over ignores this...

  • @TwoGoodGames
    @TwoGoodGames Před 25 dny

    ive been trying to find this, it didnt make sense to me... specifically, "why is the 'factor space' treated as finite dimensional, when it seems to follow that there are infinitely many primes?"

    • @TheOiseau
      @TheOiseau Před 25 dny +4

      I'm guessing, because any given integer is finite. So after a certain point, all the remaining "coordinates" are 0.

    • @drdca8263
      @drdca8263 Před 25 dny +1

      Where is it treated as finite dimensional?

  • @Boxland_
    @Boxland_ Před 18 dny

    Lets write 1=[ ], and 2=[1]. Then 2 = [ [ ] ]. It's like the integer definition all over again.

  • @ChaseRoycroft
    @ChaseRoycroft Před 24 dny +1

    Alternatively, maybe multiplication ruins everything.

  • @tamasburik9971
    @tamasburik9971 Před 25 dny

    Good video

  • @apteropith
    @apteropith Před 18 dny

    this factor-space is ... very logarithmic
    number theory isn't really my thing, but i am fascinated by certain kinds of rotational algebra, and at least one algebra for rotations along the surface of a paraboloid (embedded in the null-cone of a minkowski-space, encoded in a geometric algebra) has interesting properties allowing it to model co-ordinate translations with the same multiplicative structure as rotations, instead of addition (but still being additive in a linear projection)
    ... i actually really doubt this would make number theory any easier, but one made me think of the other, and i'll have to contemplate a bit on _why_ it wouldn't help ... and i don't actually remember how to represent scaling operations in this model, which would be essential here
    edit: apparently dilation involves two successive inversions with the same center but different radii - that would definitely complicate things a little

  • @IIAOPSW
    @IIAOPSW Před 24 dny

    But what if you took them numbers inside those semimodule vectors and then represented them as semimodule vectors? like, why go half way with it if you gonna be changing up the way you rep the ints anyway bruh?

    • @artkalbphd
      @artkalbphd  Před 24 dny

      @@IIAOPSW this method does not represent the non positive integers, but requires 0.

  • @santerisatama5409
    @santerisatama5409 Před 25 dny +1

    The fundamental theorem of arithmetics is said to be corollary of the book VII proposition 30 of Elemeta, which rests on the proposition 29 which proves and defines coprimes. Translations from Heath's edition:
    PROPOSITION 29.
    Any prime number is prime to any number which it does not measure.
    Let A be a prime number, and let it not measure B; I say that B, A are prime to one another.
    For, if B, A are not prime to one another, some number will measure them.
    Let C measure them.
    Since C measures B, and A does not measure B, therefore C is not the same with A.
    Now, since C measures B, A, therefore it also measures A which is prime, though it is not the same with it: which is impossible.
    Therefore no number will measure B, A.
    Therefore A, B are prime to one another. Q. E. D.
    PROPOSITION 30.
    If two numbers by multiplying one another make some number, and any prime number measure the product, it will also measure one of the original numbers.
    For let the two numbers A, B by multiplying one another make C, and let any prime number D measure C; I say that D measures one of the numbers A, B.
    For let it not measure A.
    Now D is prime; therefore A, D are prime to one another. [VII. 29]
    And, as many times as D measures C, so many units let there be in E.
    Since then D measures C according to the units in E, therefore D by multiplying E has made C. [VII. Def. 15]
    Further, A by multiplying B has also made C; therefore the product of D, E is equal to the product of A, B.
    Therefore, as D is to A, so is B to E. [VII. 19]
    But D, A are prime to one another, primes are also least, [VII. 21] and the least measure the numbers which have the same ratio the same number of times, the greater the greater and the less the less, that is, the antecedent the antecedent and the consequent the consequent; [VII. 20] therefore D measures B.
    Similarly we can also show that, if D do not measure B, it will measure A.
    Therefore D measures one of the numbers A, B. Q. E. D.
    Greek pure geometry did not consider that numbers really exist. Numbers are just measurement partitions of continuous geometry. The measurements are purely intuitive deductions, drawings in the sand are just a tool to aid intuition and intuitive coherence. What is the origin of coherence for Greek mathematics? The ontology of Elementa is holistic mereology, which human mathematicians perceive as projective decompositions.
    What does this mean? Euclid's definitions and proofs lose their meaning, if they are detached from the ontology in which they were constructed. Modern approaches through Peano axioms are not corolaries of Euclid, because the axiomatic language games starts from the reductioistic direction of claiming that the idea of numerical object has independent existence merely be arbitrarily declaring so.

    • @chrimony
      @chrimony Před 18 dny

      Did the Greeks not count their money?

    • @santerisatama5409
      @santerisatama5409 Před 18 dny

      @@chrimony More commonly weighed and tasted "money" to estimate the degee of purity of "money". Greek word for money means 'usefull stuff'.
      Euclid's definition of "number" means incommensurable continua of coprime fractions which DON'T measure each other.

    • @chrimony
      @chrimony Před 18 dny

      @@santerisatama5409 I'm willing to bet even Euclid counted his coins, and used numbers to do so.

  • @arnavchandraker9425
    @arnavchandraker9425 Před 26 dny +1

    at first it felt like just a normal method and we wouldn't get much far.....but damn i was wrong

  • @user-fl5nv7oh3z
    @user-fl5nv7oh3z Před 24 dny

    I raised this question "What will you see, if you look to the factor space from direction (1, 1, 1, 1, 1, 1, 1....)?" for purpose. If you look to a 3-d space from direction (1, 1, 1) you will see an area divided in 3 segments. The three lines you see are the projection of the base vectors to a plane normal to (1 1, 1) If you look to a higher dimensional space along the inner diagonal (1, 1, 1,....) you also should see the projection of the base vectors, which have to be equally distributed and show up with a projected length of 1/sqrt(n) . And if you look here: czcams.com/video/OS2V6FLFmxU/video.html you will see, if n is prime, you can add up the "spokes" in a certain way and end up at sqrt(P). But if the spokes are seen as the projection of base vectors, you will end up always at the unit circle (0,1) or (1,0). And there is a much more elegant way to add up the spokes, related to the "quadratic residue," whatever it means. But now, with this "factor space" brought up here, I ask: what does it mean if the spokes itself represent primes? And what, if you go on with this, as primes of primes of primes....

  • @elunedssong8909
    @elunedssong8909 Před 18 dny

    All 4 numbers are divisible by 30, was my answer to your first question.

  • @Qermaq
    @Qermaq Před 26 dny +1

    210 = 2*3*5*7 and that caught my eye. Unfortunately none of the other examples of a!-b! = c!-d! match this.

    • @artkalbphd
      @artkalbphd  Před 25 dny +2

      @@Qermaq do you mean a!÷b! = c!÷d!?

    • @Qermaq
      @Qermaq Před 25 dny

      @@artkalbphd I was mirroring what was presented at 0:30 - 210 = 7! - 4! = 14! - 12! and so on.

    • @iang0th
      @iang0th Před 25 dny

      @@Qermaq You do mean division, then, not subtraction, as you wrote?

    • @Qermaq
      @Qermaq Před 25 dny

      @@iang0th Yes, interpret the - as a division sign. I had a BIT OF sCOTCH IN THE INTERIM. Yeah, see.

  • @BennoRob95
    @BennoRob95 Před 25 dny

    So one is a prime number?

  • @drdca8263
    @drdca8263 Před 25 dny

    (w+x)!/w! = (y+z)!/y!
    Gamma(w+x+1)/Gamma(w+1) = Gamma(y+z+1)/Gamma(y+1)
    This question is equivalent to asking for the integer points of the level sets of f(w,x):=Gamma(w+x+1)/Gamma(w+1) .
    Not to say that framing it in terms of such level sets is helpful for addressing it.
    Suppose it could make searching for candidate solutions easier? But presumably every solution where this approach might be helpful has already been found.
    I suppose this “viewing it as a semi-module”, is kinda basically taking the logarithm of the integer. Or perhaps a “formal logarithm”, as the actual numeric values of log(p) aren’t used.
    log(a*(b+1))= log(a)+log(b+1)
    But also, log(ab+1+1+1+…+1) for a 1s.
    This doesn’t seem well expressed in the semimodule thing….

  • @jakeaustria5445
    @jakeaustria5445 Před 25 dny

    Thanks

  • @prince_gamer580
    @prince_gamer580 Před 25 dny

    A 0 at the end?

  • @johnferguson4869
    @johnferguson4869 Před 22 dny +1

    So you watch loads of numberphile and think you have a fair handle on number theory and then you see the prime factors as vectors for the first time

  • @mskiptr
    @mskiptr Před 25 dny

    Agh, now I really want to try encoding this into Idris or maybe Lean (surely someone already did it)
    But I can't. I have to do other things today : (

  • @titouant1936
    @titouant1936 Před 18 dny

    My ears can now rip, bye, didn't even continue the vid

  • @martimlopes8833
    @martimlopes8833 Před 18 dny

    I disagree, if we didn't have multiplication, we'd end up with Presburger arithmetic, it'd be complete and we would have algorithms to prove any formula we wanted!
    Jk, cool video!

  • @purplenanite
    @purplenanite Před 20 dny

    Isn't this also equivalent to: "if a,b,c,d exist such that det([a!,b!],[c!,d!])=0" ?

  • @user-fl5nv7oh3z
    @user-fl5nv7oh3z Před 25 dny

    This answers (no, shows me a way to look for an answer) one of my favorite questions: What happens here? czcams.com/video/OS2V6FLFmxU/video.html And why Brian Convey doesn't show a more simple way to get the result?

  • @decoyoficial6011
    @decoyoficial6011 Před 24 dny

    Man I'm an english major to be, I got lost at the number 3

  • @SpencerTwiddy
    @SpencerTwiddy Před 25 dny +2

    College lecture in CZcams form.

  • @Paul71H
    @Paul71H Před 21 dnem

    0:17 - The narration leaves out the key phrase "two different ways." The point the narrator is trying to make doesn't make sense unless the viewer is reading the text on the screen rather than only listening.
    0:24 - The phrase "multiplying 720 by 7 to both factorizations" doesn't make sense for at least two reasons: (1) Since the wording "two different ways" was left out (see previous comment), the idea that there are two factorizations of each number has not yet been introduced by the narrator. (2) I don't know what it means to multiply a number by another number "to" a factorization.
    Bottom line: The ideas in the video are good, but the presentation needs some work.

  • @ChaseRoycroft
    @ChaseRoycroft Před 23 dny +2

    Extending the allowed components, the vector [1,1,1,1,1,1,1,1,1,1,1,...]=4π² (the product of all the primes). So [-1,1,1,1,1,1,1,1,1,1,1,...]=π² and [-½,½,½,½,½,½,½,½,½,½,½,...]=π.

    • @user-fl5nv7oh3z
      @user-fl5nv7oh3z Před 22 dny

      How do you make the vector a number, and how you normalize the product of all primes?

  • @zunaidparker
    @zunaidparker Před 24 dny

    Holy shit the music interludes are FUCKING loud! Absolutely painful with earphones. The worst part is your speaking volume is low so naturally you turn the volume up.

  • @Joker22593
    @Joker22593 Před 21 dnem

    It doesn't beg the question, it raises the question. You're a mathematician, you shold know better.

    • @Joker22593
      @Joker22593 Před 21 dnem

      That being said, this is a fantastic video. I've been thinking about this exact concept (infrequently) for two years as applied to the Collatz Conjecture. This video has given me some great things to think about.

  • @SobTim-eu3xu
    @SobTim-eu3xu Před 20 dny

    "Hard" is only that you cannot say "this theorem is true bc bla bla", bc numbers is not finite set
    I'm in number theory tho

  • @chrimony
    @chrimony Před 18 dny +1

    Bonus points if you remake this video without the obnoxious music and link it in the description.

  • @fixups6536
    @fixups6536 Před 25 dny +3

    I stopped at 3:41 when the music blew out my speakers. This is hostile to your audience.

  • @scarletevans4474
    @scarletevans4474 Před 21 dnem

    3:40 WHY???? Are you purposefully talk very silently for the whole video, so that you can later rupture people's eardrums with super loud music??

  • @rainbowbloom575
    @rainbowbloom575 Před 26 dny +1

    Hello lol

  • @skyjumper4097
    @skyjumper4097 Před 21 dnem +1

    i immediately disagree cuz addition is kind of the base for everything but yt shoved this vid infront of me so many times that it cant be that bad

  • @yash1152
    @yash1152 Před 25 dny +1

    1:54 हाँ-३ ठीक है; powers से deal कर रहे हैं, तो सामान्यतः multiplication addition बन गई; कुछ नया नहीं है। आगे बढ़ो ...!?

  • @jontedeakin1986
    @jontedeakin1986 Před 19 dny

    You need to balance your audio levels. Ruins an otherwise good video

  • @LarsHHoog
    @LarsHHoog Před 25 dny +5

    Definitely interesting but YOU FAILED HORRIBLY when it came to proofing your audio mix levels. ⚠️
    Misusing your creativity that way should not be an option.
    I'm already with hearing impairment so please think about it.
    It's not fun.

    • @karanaima
      @karanaima Před 25 dny +1

      ⚠️⚠️⚠️⚠️⚠️⚠️⚠️⚠️⚠️⚠️⚠️⚠️

  • @matthias_schumm
    @matthias_schumm Před 24 dny

    This all seems so trivial to me that I wouldn't think of spending time with the obvious: focusing on the true problems, like why is 1+1=2.

  • @DeJay7
    @DeJay7 Před 25 dny

    I was JUST getting greatly frustrated over addition. Namely, how to define addition of two numbers with different, not absolute, signs. Like,

  • @Purified-Bananas
    @Purified-Bananas Před 23 dny

    0:11 - They all end in zero. Done! Next video.

  • @crypt8919
    @crypt8919 Před 25 dny

    A bit dickish to have those subitaneous loud sounds.

  • @bscutajar
    @bscutajar Před 25 dny

    Jesus christ the audio is so bad, mumbling voice at 20% volume and unnecessary sound effects at 110%

  • @dailymemigzugxoyditsi3273

    apllied mathematician booooo booooooo booooooooooooo 👎👎 NORMALIZE NON-PURE MATHEMATICAN HATE

    • @yavidhi
      @yavidhi Před 25 dny

      NORMALIZE NON-PURE MATHEMATICAN LOVE 👍👍

    • @yavidhi
      @yavidhi Před 25 dny

      ACTUALLY FUCK IT, ALL MATHEMATICIANS ARE AMAZING!!!!!!!