What concepts or facts do you know from math that is mind blowing, awesome, or simply fascinating?

Here are some I would like to share:

  • Gödel’s incompleteness theorems: There are some problems in math so difficult that it can never be solved no matter how much time you put into it.
  • Halting problem: It is impossible to write a program that can figure out whether or not any input program loops forever or finishes running. (Undecidablity)

The Busy Beaver function

Now this is the mind blowing one. What is the largest non-infinite number you know? Graham’s Number? TREE(3)? TREE(TREE(3))? This one will beat it easily.

  • The Busy Beaver function produces the fastest growing number that is theoretically possible. These numbers are so large we don’t even know if you can compute the function to get the value even with an infinitely powerful PC.
  • In fact, just the mere act of being able to compute the value would mean solving the hardest problems in mathematics.
  • Σ(1) = 1
  • Σ(4) = 13
  • Σ(6) > 101010101010101010101010101010 (10s are stacked on each other)
  • Σ(17) > Graham’s Number
  • Σ(27) If you can compute this function the Goldbach conjecture is false.
  • Σ(744) If you can compute this function the Riemann hypothesis is false.

Sources:

  • _pheel_@lemmy.world
    link
    fedilink
    arrow-up
    140
    arrow-down
    2
    ·
    1 year ago

    There are more ways to arrange a deck of 52 cards than there are atoms on Earth.

    52 Factorial

    I feel this one is quite well known, but it’s still pretty cool.

    • Nibodhika@lemmy.world
      link
      fedilink
      arrow-up
      64
      ·
      1 year ago

      An extension of that is that every time you shuffle a deck of cards there’s a high probability that that particular arrangement has never been seen in the history of mankind.

      • Elderos@lemmings.world
        link
        fedilink
        arrow-up
        10
        ·
        1 year ago

        assuming a perfect mechanical shuffle, I think the odds are near zero. humans don’t shuffle perfectly though!

        • TitanLaGrange@lemmy.world
          link
          fedilink
          English
          arrow-up
          3
          ·
          edit-2
          1 year ago

          perfect mechanical shuffle

          What’s perfect in this context? It’s maybe a little counterintuitive because I’d think a perfect mechanical shuffle would be perfectly deterministic (assuming no mechanical failure of the device) so that it would be repeatable. Like, you would give it a seed number (about 67 digits evidently) and the mechanism would perform a series of interleaves completely determined by the seed. Then if you wanted a random order you would give the machine a true random seed (from your wall of lava lamps or whatever) and you’d get a deck with an order that is very likely to never have been seen before. And if you wanted to play a game with that particular deck order again you’d just put the same seed into the machine.

  • Gogo Sempai@programming.dev
    link
    fedilink
    arrow-up
    84
    ·
    edit-2
    1 year ago

    Goldbach’s Conjecture: Every even natural number > 2 is a sum of 2 prime numbers. Eg: 8=5+3, 20=13+7.

    https://en.m.wikipedia.org/wiki/Goldbach’s_conjecture

    Such a simple construct right? Notice the word “conjecture”. The above has been verified till 4x10^18 numbers BUT no one has been able to prove it mathematically till date! It’s one of the best known unsolved problems in mathematics.

    • madcaesar@lemmy.world
      link
      fedilink
      arrow-up
      3
      arrow-down
      2
      ·
      1 year ago

      How can you prove something in math when numbers are infinite? That number you gave if it works up to there we can call it proven no? I’m not sure I understand

      • yewler@lemmygrad.ml
        link
        fedilink
        arrow-up
        5
        arrow-down
        1
        ·
        1 year ago

        That’s a really great question. The answer is that mathematicians keep their statements general when trying to prove things. Another commenter gave a bunch of examples as to different techniques a mathematician might use, but I think giving an example of a very simple general proof might make things more clear.

        Say we wanted to prove that an even number plus 1 is an odd number. This is a fact that we all intuitively know is true, but how do we know it’s true? We haven’t tested every single even number in existence to see that itself plus 1 is odd, so how do we know it is true for all even numbers in existence?

        The answer lies in the definitions for what is an even number and what is an odd number. We say that a number is even if it can be written in the form 2n, where n is some integer, and we say that a number is odd if it can be written as 2n+1. For any number in existence, we can tell if it’s even or odd by coming back to these formulas.

        So let’s say we have some even number. Because we know it’s even, we know we can write it as 2n, where n is an integer. Adding 1 to it gives 2n+1. This is, by definition, an odd number. Because we didn’t restrict at the beginning which even number we started with, we proved the fact for all even numbers, in one fell swoop.

      • Gogo Sempai@programming.dev
        link
        fedilink
        arrow-up
        3
        ·
        1 year ago

        As you said, we have infinite numbers so the fact that something works till 4x10^18 doesn’t prove that it will work for all numbers. It will take only one counterexample to disprove this conjecture, even if it is found at 10^100. Because then we wouldn’t be able to say that “all” even numbers > 2 are a sum of 2 prime numbers.

        So mathematicians strive for general proofs. You start with something like: Let n be any even number > 2. Now using the known axioms of mathematics, you need to prove that for every n, there always exists two prime numbers p,q such that n=p+q.

        Would recommend watching the following short and simple video on the Pythagoras theorem, it’d make it perfectly clear how proofs work in mathematics. You know the theorem right? For any right angled triangle, the square of the hypotenuse is equal to the sum of squares of both the sides. Now we can verify this for billions of different right angled triangles but it wouldn’t make it a theorem. It is a theorem because we have proved it mathematically for the general case using other known axioms of mathematics.

        https://youtu.be/YompsDlEdtc

  • Artisian@lemmy.world
    link
    fedilink
    English
    arrow-up
    86
    arrow-down
    2
    ·
    edit-2
    1 year ago

    For the uninitiated, the monty Hall problem is a good one.

    Start with 3 closed doors, and an announcer who knows what’s behind each. The announcer says that behind 2 of the doors is a goat, and behind the third door is a car student debt relief, but doesn’t tell you which door leads to which. They then let you pick a door, and you will get what’s behind the door. Before you open it, they open a different door than your choice and reveal a goat. Then the announcer says you are allowed to change your choice.

    So should you switch?

    The answer turns out to be yes. 2/3rds of the time you are better off switching. But even famous mathematicians didn’t believe it at first.

    • Evirisu@kbin.social
      link
      fedilink
      arrow-up
      70
      ·
      1 year ago

      I know the problem is easier to visualize if you increase the number of doors. Let’s say you start with 1000 doors, you choose one and the announcer opens 998 other doors with goats. In this way is evident you should switch because unless you were incredibly lucky to pick up the initial door with the prize between 1000, the other door will have it.

      • Artisian@lemmy.world
        link
        fedilink
        English
        arrow-up
        19
        ·
        1 year ago

        I now recall there was a numberphile with exactly that visualisation! It’s a clever visual

      • Dandroid@dandroid.app
        link
        fedilink
        arrow-up
        16
        ·
        1 year ago

        This is so mind blowing to me, because I get what you’re saying logically, but my gut still tells me it’s a 50/50 chance.

        But I think the reason it is true is because the other person didn’t choose the other 998 doors randomly. So if you chose any of the other 998 doors, it would still be between the door you chose and the winner, other than the 1/1000 chance that you chose right at the beginning.

        • moreeni@lemm.ee
          link
          fedilink
          arrow-up
          12
          ·
          edit-2
          1 year ago

          The thing is, you pick the door totally randomly and since there are more goats, the chance to pick a goat is higher. That means there’s a 2/3 chance that the door you initially picked is a goat. The announcer picks the other goat with a 100% chance, which means the last remaining door most likely has the prize behind it

          Edit: seems like this was already answered by someone else, but I didn’t see their comment due to federation delay. Sorry

        • Elderos@lemmings.world
          link
          fedilink
          arrow-up
          8
          ·
          edit-2
          1 year ago

          I think the problem is worded specifically to hide the fact that you’re creating two set of doors by picking a door, and that shrinking a set actually make each individual door in that set more likely to have the prize.

          Think of it this way : You have 4 doors, 2 blue doors and 2 red doors. I tell you that there is 50% chance of the prize to be in either a blue or a red door. Now I get to remove a red door that is confirmed to not have the prize. If you had to chose, would you pick a blue door or a red door? Seems obvious now that the remaining red door is somehow a safer pick. This is kind of what is happening in the initial problem, but since the second ensemble is bigger to begin with (the two doors you did not pick), it sort of trick you into ignoring the fact that the ensemble shrank and that it made the remaining door more “valuable”, since the two ensembles are now of equal size, but only one ensemble shrank, and it was always at 2/3 odds of containing the prize.

        • SnowmenMelt@lemmy.world
          link
          fedilink
          arrow-up
          7
          ·
          1 year ago

          The odds you picked the correct door at the start is 1/1000, that means there’s a 999/1000 chance it’s in one of the other 999 doors. If the man opens 998 doors and leaves one left then that door has 999/1000 chance of having the prize.

        • UntouchedWagons@lemmy.ca
          link
          fedilink
          English
          arrow-up
          2
          ·
          1 year ago

          Same here, even after reading other explanations I don’t see how the odds are anything other than 50/50.

          • eran_morad@lemmy.world
            link
            fedilink
            arrow-up
            1
            ·
            1 year ago

            read up on the law of total probability. prob(car is behind door #1) = 1/3. monty opens door #3, shows you a goat. prob(car behind door #1) = 1/3, unchanged from before. prob(car is behind door #2) + prob(car behind door #1) = 1. therefore, prob(car is behind door #2) = 2/3.

    • Ethalis@jlai.lu
      link
      fedilink
      arrow-up
      6
      ·
      1 year ago

      I know it to be true, I’ve heard it dozens of times, but my dumb brain still refuses to accept the solution everytime. It’s kind of crazy really

      • Elderos@lemmings.world
        link
        fedilink
        arrow-up
        4
        ·
        edit-2
        1 year ago

        To me, it makes sense because there was initially 2 chances out of 3 for the prize to be in the doors you did not pick. Revealing a door, exclusively on doors you did not pick, does not reset the odds of the whole problem, it is still more likely that the prize is in one of the door you did not pick, and a door was removed from that pool.

        Imo, the key element here is that your own door cannot be revealed early, or else changing your choice would not matter, so it is never “tested”, and this ultimately make the other door more “vouched” for, statistically, and since you know that the door was more likely to be in the other set to begin with, well, might as well switch!

      • Kogasa@programming.dev
        link
        fedilink
        arrow-up
        3
        ·
        edit-2
        1 year ago

        Let’s name the goats Alice and Bob. You pick at random between Alice, Bob, and the Car, each with 1/3 chance. Let’s examine each case.

        • Case 1: You picked Alice. Monty eliminates Bob. Switching wins. (1/3)

        • Case 2: You picked Bob. Monty eliminates Alice. Switching wins. (1/3)

        • Case 3: You picked the Car. Monty eliminates either Alice or Bob. You don’t know which, but it doesn’t matter-- switching loses. (1/3)

        It comes down to the fact that Monty always eliminates a goat, which is why there is only one possibility in each of these (equally probable) cases.

        From another point of view: Monty revealing a goat does not provide us any new information, because we know in advance that he must always do so. Hence our original odds of picking correctly (p=1/3) cannot change.


        In the variant “Monty Fall” problem, where Monty opens a random door, we perform the same analysis:

        • Case 1: You picked Alice. (1/3)
          • Case 1a: Monty eliminates Bob. Switching wins. (1/2 of case 1, 1/6 overall)
          • Case 1b: Monty eliminates the Car. Game over. (1/2 of case 1, 1/6 overall)
        • Case 2: You picked Bob. (1/3)
          • Case 2a: Monty eliminates Alice. Switching wins. (1/2 of case 2, 1/6 overall)
          • Case 2b: Monty eliminates the Car. Game over. (1/2 of case 2, 1/6 overall)
        • Case 3: You picked the Car. (1/3)
          • Case 3a: Monty eliminates Alice. Switching loses. (1/2 of case 3, 1/6 overall)
          • Case 3b: Monty eliminates Bob. Switching loses. (1/2 of case 3, 1/6 overall)

        As you can see, there is now a chance that Monty reveals the car resulting in an instant game over-- a 1/3 chance, to be exact. If Monty just so happens to reveal a goat, we instantly know that cases 1b and 2b are impossible. (In this variant, Monty revealing a goat reveals new information!) Of the remaining (still equally probable!) cases, switching wins half the time.

    • Sharkwellington@lemmy.one
      link
      fedilink
      arrow-up
      6
      ·
      1 year ago

      But even famous mathematicians didn’t believe it at first.

      They emphatically did not believe it at first. Marilyn vos Savant was flooded with about 10,000 letters after publishing the famous 1990 article, and had to write two followup articles to clarify the logic involved.

      • Artisian@lemmy.world
        link
        fedilink
        English
        arrow-up
        1
        ·
        1 year ago

        Oh that’s cool - I had heard one or two examples only. Is there some popular writeup of the story from Savant’s view?

        • Sharkwellington@lemmy.one
          link
          fedilink
          arrow-up
          2
          ·
          edit-2
          1 year ago

          I couldn’t tell you - I used the Wikipedia article to reference the specifics and I’m not sure where I first heard about the story. I just remember that the mathematics community dogpiled on her hard for some time and has since completely turned around to accept her answer as correct.

          Also relevant - she did not invent the problem, but her article is considered by some to have been what popularized it.

    • jscari@lemmy.world
      link
      fedilink
      arrow-up
      2
      ·
      1 year ago

      It took me a while to wrap my head around this, but here’s how I finally got it:

      There are three doors and one prize, so the odds of the prize being behind any particular door are 1/3. So let’s say you choose door #1. There’s a 1/3 chance that the prize is behind door #1 and, therefore, a 2/3 chance that the prize is behind either door #2 OR door #3.

      Now here’s the catch. Monty opens door #2 and reveals that it does not contain the prize. The odds are the same as before – a 1/3 chance that the prize is behind door #1, and a 2/3 chance that the prize is behind either door #2 or door #3 – but now you know definitively that the prize isn’t behind door #2, so you can rule it out. Therefore, there’s a 1/3 chance that the prize is behind door #1, and a 2/3 chance that the prize is behind door #3. So you’ll be twice as likely to win the prize if you switch your choice from door #1 to door #3.

    • kernelPanic@lemmy.ml
      link
      fedilink
      arrow-up
      1
      ·
      edit-2
      1 year ago

      First, fuck you! I couldn’t sleep. The possibility to win the car when you change is the possibility of your first choice to be goat, which is 2/3, because you only win when your first choice is goat when you always change.

      x1: you win

      x2: you change

      x3: you pick goat at first choice

      P(x1|x2,x3)=1 P(x1)=1/2 P(x3)=2/3 P(x2)=1/2

      P(x1|x2) =?

      Chain theory of probability:

      P(x1,x2,x3)=P(x3|x1,x2)P(x1|x2)P(x2)=P(x1|x2,x3)P(x2|x3)P(x3)

      From Bayes theorem: P(x3|x1,x2)= P(x1|x2,x3)P(x2)/P(x1) =1

      x2 and x3 are independent P(x2|x3)=P(x2)

      P(x1| x2)=P(x3)=2/3 P(x2|x1)=P(x1|x2)P(x2)/P(X1)=P(x1|x2)

      P(x1=1|x2=0) = 1- P(x1=1|x2=1) = 1\3 is the probability to win if u do not change.

      • Artisian@lemmy.world
        link
        fedilink
        English
        arrow-up
        1
        ·
        1 year ago

        Why do you have a P(x1) = 1/2 at the start? I’m not sure what x1 means if we don’t specify a strategy.

        • kernelPanic@lemmy.ml
          link
          fedilink
          arrow-up
          1
          ·
          1 year ago

          Just count the number of possibilities. If you change there there two possible first choices to win + if you do not change 1 possible choice to win = 3. If you change there is one possible first choice to lose + if you do not change there two possible first choices to lose=3 P(x1)=P(x1’) = 3/6

          • Artisian@lemmy.world
            link
            fedilink
            English
            arrow-up
            1
            ·
            1 year ago

            Ah, so it’s the probability you win by playing randomly. Gotcha. That makes sense, it becomes a choice between 2 doors

  • mookulator@lemmy.world
    link
    fedilink
    English
    arrow-up
    74
    ·
    1 year ago

    The four-color theorem is pretty cool.

    You can take any map of anything and color it in using only four colors so that no adjacent “countries” are the same color. Often it can be done with three!

    Maybe not the most mind blowing but it’s neat.

    • Blyfh@lemmy.world
      link
      fedilink
      arrow-up
      12
      arrow-down
      2
      ·
      edit-2
      1 year ago

      What about a hypothetical country that is shaped like a donut, and the hole is filled with four small countries? One of the countries must have the color of one of its neighbors, no?

      • Afrazzle@sh.itjust.works
        link
        fedilink
        arrow-up
        14
        ·
        1 year ago

        I think the four small countries inside would each only have 2 neighbours. So you could take 2 that are diagonal and make them the same colour.

        • SgtAStrawberry@lemmy.world
          link
          fedilink
          arrow-up
          6
          ·
          1 year ago

          Looks to be that way one of the examples given on the wiki page. It is still however an interesting theory, if four countries touching at a corner, are the diagonal countries neighbouring each other or not. It honestly feels like a question that will start a war somewhere at sometime, probably already has.

          • Vegasimov@reddthat.com
            link
            fedilink
            arrow-up
            13
            arrow-down
            1
            ·
            1 year ago

            In graph theory there are vertices and edges, two shapes are adjacent if and only if they share an edge, vertices are not relevant to adjacency. As long as all countries subscribe to graph theory we should be safe

            • SgtAStrawberry@lemmy.world
              link
              fedilink
              arrow-up
              3
              ·
              1 year ago

              The only problem with that it that it requires all countries to agree to something, and that seems to become harder and harder nowadays.

      • Kogasa@programming.dev
        link
        fedilink
        arrow-up
        10
        ·
        1 year ago

        There are some rules about the kind of map this applies to. One of them is “no countries inside other countries.”

        • atimholt@lemmy.world
          link
          fedilink
          arrow-up
          2
          ·
          1 year ago

          Not true, see @BitSound’s comment.

          It does have to be topologically planar (may not be the technical term), though. No donut worlds.

          • Kogasa@programming.dev
            link
            fedilink
            arrow-up
            1
            ·
            1 year ago

            The regions need to be contiguous and intersect at a nontrivial boundary curve. This type of map can be identified uniquely with a planar graph by placing a vertex inside each region and drawing an edge from one point to another in each adjacent region through the bounding curve.

    • SanguinePar@lemmy.world
      link
      fedilink
      arrow-up
      9
      ·
      edit-2
      1 year ago

      I read an interesting book about that once, will need to see if I can find the name of it.

      EDIT - well, that was easier than expected!

    • Artisian@lemmy.world
      link
      fedilink
      English
      arrow-up
      5
      ·
      1 year ago

      Note you’ll need the regions to be connected (or allow yourself to color things differently if they are the same ‘country’ but disconnected). I forget if this causes problems for any world map.

      • rycee@lemmy.world
        link
        fedilink
        arrow-up
        11
        ·
        1 year ago

        I suspect that the Belgium-Netherlands border defies any mathematical description.

    • Dandroid@dandroid.app
      link
      fedilink
      arrow-up
      4
      ·
      edit-2
      1 year ago

      If you had a 3 dimensional map, would you need more colors to achieve the same results?

      Edit: it was explained in your link. It looks like for surfaces in 3D space, this can’t be generalized.

    • clumsyninza@lemmy.world
      link
      fedilink
      arrow-up
      1
      ·
      1 year ago

      Isn’t the proof of this theorem like millions of pages long or something (proof done by a computer ) ? I mean how can you even be sure that it is correct ? There might be some error somewhere.

  • BourneHavoc@lemmy.world
    link
    fedilink
    arrow-up
    48
    ·
    1 year ago

    I came here to find some cool, mind-blowing facts about math and have instead confirmed that I’m not smart enough to have my mind blown. I am familiar with some of the words used by others in this thread, but not enough of them to understand, lol.

      • Ziro427@lemmy.world
        link
        fedilink
        arrow-up
        7
        arrow-down
        2
        ·
        1 year ago

        Nonsense! I can blow both your minds without a single proof or mathematical symbol, observe!

        There are different sizes of infinity.

        Think of integers, or whole numbers; 1, 2, 3, 4, 5 and so on. How many are there? Infinite, you can always add one to your previous number.

        Now take odd numbers; 1, 3, 5, 7, and so on. How many are there? Again, infinite because you just add 2 to the previous odd number and get a new odd number.

        Both of these are infinite, but the set of numbers containing odd numbers is by definition smaller than the set of numbers containing all integers, because it doesn’t have the even numbers.

        But they are both still infinite.

        • Jenztsch@feddit.de
          link
          fedilink
          arrow-up
          9
          ·
          edit-2
          1 year ago

          Your fact is correct, but the mind-blowing thing about infinite sets is that they go against intuition.

          Even if one might think that the number of odd numbers is strictly less than the number of all natural numbers, these two sets are in fact of the same size. With the mapping n |-> 2*n - 1 you can map each natural number to a different odd number and you get every odd number with this (such a function is called a bijection), so the sets are per definition of the same size.

          To get really different “infinities”, compare the natural numbers to the real numbers. Here you can’t create a map which gets you all real numbers, so there are “more of them”.

        • mattiasdrp@discuss.tchncs.de
          link
          fedilink
          arrow-up
          8
          ·
          1 year ago

          I may be wrong or have misunderstood what you said but the sets of natural numbers and odd numbers have the same size/cardinality. If there exists a bijection between the two sets then they have the same size.

          f(x) = 2x + 1 is such a bijection

          For the same reason, N, Z and Q have the same cardinality. The fact that each one is included in the next ones doesn’t mean their size is different.

          • Reliant1087@lemmy.world
            link
            fedilink
            arrow-up
            1
            arrow-down
            2
            ·
            1 year ago

            Agree. Uncountable infinities are much more mind blowing. It was an interesting journey realising first that everything like time and distance are continuous when learning math the then realising they’re not when learning physics.

        • jonhanson@lemmy.ml
          link
          fedilink
          arrow-up
          2
          ·
          edit-2
          1 year ago

          Both of these are infinite, but the set of numbers containing odd numbers is by definition smaller than the set of numbers containing all integers, because it doesn’t have the even numbers.

          This is provably false - the two sets are the same size. If you take the set of all integers, and then double each number and subtract one, you get the set of odd numbers. Since you haven’t removed or added any elements to the initial set, the two sets have the same size.

          The size of this set was named Aleph-zero by Cantor.

      • cll7793@lemmy.worldOP
        link
        fedilink
        English
        arrow-up
        2
        ·
        edit-2
        1 year ago

        There was a response I left in the main comment thread but I’m not sure if you will get the notification. I wanted to post it again so you see it

        Response below

        Please feel free to ask any questions! Math is a wonderful field full of beauty but unfortunately almost all education systems fail to show this and instead makes it seem like raw robotic calculations instead of creativity.

        Math is best learned visually and with context to more abstract terms. 3Blue1Brown is the best resource in my opinion for this!

        Here’s a mindblowing fact for you along with a video from 3Blue1Brown. Imagine you are sliding a 1,000,000 kg box and slamming it into a 1 kg box on an ice surface with no friction. The 1 kg box hits a wall and bounces back to hit the 1,000,000 kg box again.

        The number of bounces that appear is the digits of Pi. Crazy right? Why would pi appear here? If you want to learn more here’s a video from the best math teacher in the world.

        https://www.youtube.com/watch?v=HEfHFsfGXjs

  • betheydocrime@lemmy.world
    link
    fedilink
    arrow-up
    44
    arrow-down
    1
    ·
    edit-2
    1 year ago

    For me, personally, it’s the divisible-by-three check. You know, the little shortcut you can do where you add up the individual digits of a number and if the resulting sum is divisible by three, then so is the original number.

    That, to me, is black magic fuckery. Much like everything else in this thread I have no idea how it works, but unlike everything else in this thread it’s actually a handy trick that I use semifrequently

    • JonC@programming.dev
      link
      fedilink
      English
      arrow-up
      30
      arrow-down
      1
      ·
      edit-2
      1 year ago

      That one’s actually really easy to prove numerically.

      Not going to type out a full proof here, but here’s an example.

      Let’s look at a two digit number for simplicity. You can write any two digit number as 10*a+b, where a and b are the first and second digits respectively.

      E.g. 72 is 10 * 7 + 2. And 10 is just 9+1, so in this case it becomes 72=(9 * 7)+7+2

      We know 9 * 7 is divisible by 3 as it’s just 3 * 3 * 7. Then if the number we add on (7 and 2) also sum to a multiple of 3, then we know the entire number is a multiple of 3.

      You can then extend that to larger numbers as 100 is 99+1 and 99 is divisible by 3, and so on.

      • Shiitake@lemmy.world
        link
        fedilink
        arrow-up
        2
        ·
        1 year ago

        Waaaait a second.

        Does that hold for every base, where the divisor is 1 less than the base?

        Specifically hexidecimal - could it be that 5 and 3 have the same “sum digits, get divisibility” property, since 15 (=3*5) is one less than the base number 16?

        Like 2D16 is16*2+13 = 45, which is divisible by 3 and 5.

        Can I make this into a party trick?! “Give me a number in hexidecimal, and I’ll tell you if it’s divisible by 10.

        Am thinking it’s 2 steps:

        1. Does it end with a 0, 2, 4, 6, 8, A, C, E? Yes means divisible by 2.
        2. Do the digits add up to a multiple of 5 (ok to subtract 5 liberally while adding)? Skip A and F. For B add 1; C->2, D->3, E->4. If the sum is divisible by 5, then original number is too.

        So if 1 and 2 are “yes”, it’s divisible by 10.

        E.g.

        • DEADBAE16 (=23349547010): (1) ends with E, ok. (2) 3+4+3+1+4=15, divisible by 5. Both are true so yes, divisible by 10.
        • C4744416 (=1287482010): (1) ends with 4, ok. (2) 2+4+7+4+4+4=25, ok.
        • BEEFFACE16 (=3203398350): (1) E, ok. (2) 1+4+4+2+4=15, ok.

        Is this actually true? Have I found a new party trick for myself? How would I even know if this is correct?

  • BodePlotHole@lemmy.world
    link
    fedilink
    arrow-up
    43
    arrow-down
    1
    ·
    1 year ago

    The utility of Laplace transforms in regards to differential systems.

    In engineering school you learn to analyze passive DC circuits early on using not much more than ohms law and Thevenin’s Theoram. This shit can be taught to elementary schoolers.

    Then a little while later, you learn how to do non-finear differential equations to help work complex systems, whether it’s electrical, mechanical, thermal, hydrolic, etc. This shit is no walk in the park.

    Then Laplace transforms/identities come along and let you turn non-linear problems in time-based space, into much simpler problems in frequency-based space. Shit blows your mind.

    THEN a mafacka comes along and teaches you that these tools can be used to turn complex differential system problems (electrical, mechanical, thermal, hydrolic, etc) into simple DC circuits you can analyze/solve in frequency-based space, then convert back into time-based space for the answers.

    I know this is super applied calculus shit, but I always love that sweet spot where all the high-concept math finally hits the pavement.

    • djmarcone@lemmy.world
      link
      fedilink
      arrow-up
      20
      ·
      1 year ago

      And then they tell you that the fundamental equations for thermal, fluid, electrical and mechanical are all basically the same when you are looking at the whole Laplace thing. It’s all the same…

    • Spedwell@lemmy.world
      link
      fedilink
      arrow-up
      6
      ·
      edit-2
      1 year ago

      ABSOLUTELY. I just recently capped off the Diff Eq, Signals, and Controls courses for my undergrad, and truly by the end you feel like a wizard. It’s crazy how much problem-solving/system modeling power there is in such a (relatively) simple, easy to apply, and beautifully elegant mathematical tool.

    • Beto@lemmy.studio
      link
      fedilink
      arrow-up
      22
      ·
      1 year ago

      Related: every time you shuffle a deck of cards you get a sequence that has never happened before. The chance of getting a sequence that has occurred is stupidly small.

      • my_hat_stinks@lemmy.world
        link
        fedilink
        arrow-up
        6
        ·
        1 year ago

        Most of the time, but only as long as the shuffle is actually random. A perfect riffle shuffle on a brand new deck will get you the same result every time, and 8 perfect riffles on a row get you back to where you started.

    • dQw4w9WgXcQ@lemm.ee
      link
      fedilink
      arrow-up
      5
      ·
      1 year ago

      I’m guessing this is more pronounced at lower levels. At high level chess, I often hear commentators comparing the moves to their database of games, and it often takes 20-30 moves before they declare that they have now reached a position which has never been reached in a professional game. The high level players have been grinding openings and their counters and the counters to the counters so deeply that a lot of the initial moves can be pretty common.

      Also, high levels means that games are narrowing more towards the “perfect” moves, meaning that repetition from existing games are more likely.

    • Caboose12000@lemmy.world
      link
      fedilink
      arrow-up
      3
      ·
      edit-2
      1 year ago

      maybe this will make more sense when I watch the veritasium video, but I don’t have time to do that until the weekend. How is 3x+1 unprovable? won’t all odd numbers multiplied by 3 still be odd? and won’t adding 1 to an odd number always make it even? and aren’t all even numbers by definition divisible by 2? I’m struggling to see how there could be any uncertainty in this

      • Jerkface@lemmy.ml
        link
        fedilink
        arrow-up
        5
        ·
        edit-2
        1 year ago

        Just after going through a few examples in my head, the difficulty becomes somewhat more apparent. let’s start with 3. This is odd, so 3(3)+1 = 10. 10 is even so we have 10/2=5.

        By this point my intuition tells me that we don’t have a very obvious pattern that we can use to decide whether the function will output 4, 2, or 1 by recursively applying the function to its own output, other than the fact that every other number that we try appears to result in this pattern. We could possibly reduce the problem to whether we can guess that the function will eventually output a power of 2, but that doesn’t sound to me like it makes things much easier.

        If I had no idea whether a proof existed, I would guess that it may, but that it is non-trivial. Or at least my college math courses did not prepare me to find one. Since it looks like plenty of professional mathematicians have struggled with it, I have no doubt that if a proof exists it is non-trivial.

  • aggelalex@lemmy.world
    link
    fedilink
    arrow-up
    30
    ·
    1 year ago

    The Fourier series. Musicians may not know about it, but everything music related, even harmony, boils down to this.

  • timeisart@lemmy.world
    link
    fedilink
    arrow-up
    30
    arrow-down
    1
    ·
    edit-2
    1 year ago

    Multiply 9 times any number and it always “reduces” back down to 9 (add up the individual numbers in the result)

    For example: 9 x 872 = 7848, so you take 7848 and split it into 7 + 8 + 4 + 8 = 27, then do it again 2 + 7 = 9 and we’re back to 9

    It can be a huge number and it still works:

    9 x 987345734 = 8886111606

    8+8+8+6+1+1+1+6+0+6 = 45

    4+5 = 9

    Also here’s a cool video about some more mind blowing math facts

  • Jordan117@lemmy.world
    link
    fedilink
    English
    arrow-up
    29
    arrow-down
    1
    ·
    1 year ago

    Euler’s identity, which elegantly unites some of the most fundamental constants in a single equation:

    e^()+1=0

    Euler’s identity is often cited as an example of deep mathematical beauty. Three of the basic arithmetic operations occur exactly once each: addition, multiplication, and exponentiation. The identity also links five fundamental mathematical constants:

    • The number 0, the additive identity.
    • The number 1, the multiplicative identity.
    • The number π (π = 3.1415…), the fundamental circle constant.
    • The number e (e = 2.718…), also known as Euler’s number, which occurs widely in mathematical analysis.
    • The number i, the imaginary unit of the complex numbers.

    Furthermore, the equation is given in the form of an expression set equal to zero, which is common practice in several areas of mathematics.

    Stanford University mathematics professor Keith Devlin has said, “like a Shakespearean sonnet that captures the very essence of love, or a painting that brings out the beauty of the human form that is far more than just skin deep, Euler’s equation reaches down into the very depths of existence”. And Paul Nahin, a professor emeritus at the University of New Hampshire, who has written a book dedicated to Euler’s formula and its applications in Fourier analysis, describes Euler’s identity as being “of exquisite beauty”.

    Mathematics writer Constance Reid has opined that Euler’s identity is “the most famous formula in all mathematics”. And Benjamin Peirce, a 19th-century American philosopher, mathematician, and professor at Harvard University, after proving Euler’s identity during a lecture, stated that the identity “is absolutely paradoxical; we cannot understand it, and we don’t know what it means, but we have proved it, and therefore we know it must be the truth”.

    • Dandroid@dandroid.app
      link
      fedilink
      arrow-up
      5
      ·
      1 year ago

      This is the one that made me say out loud, “math is fucking weird”

      I started trying to read the explanations, and it just got more and more complicated. I minored in math. But the stuff I learned seems trivial by comparison. I have a friend who is about a year away from getting his PhD in math. I don’t even understand what he’s saying when he talks about math.

      • Kogasa@programming.dev
        link
        fedilink
        arrow-up
        2
        ·
        edit-2
        1 year ago

        Recall the existence and uniqueness theorem(s) for initial value problems. With this, we conclude that e^(kx) is the unique function f such that f’(x) = k f(x) and f(0) = 1. Similarly, any solution to f’’ = -k^(2)f has the form f(x) = acos(kx) + bsin(kx). Now consider e^(ix). Differentiating it is the same as multiplying by i, so differentiating twice is the same as multiplying by i^(2) = -1. In other words, e^(ix) is a solution to f’’ = -f. Therefore, e^(ix) = a cos(x) + b sin(x) for some a, b. Plugging in x = 0 tells us a = 1. Differentiating both sides and plugging in x = 0 again tells us b = i. So e^(ix) = cos(x) + i sin(x).

        We take for granted that the basic rules of calculus work for complex numbers: the chain rule, and the derivative of the exponential function, and the existence/uniqueness theorem, and so on. But these are all proved in much the same way as for real numbers, there’s nothing special behind the scenes.

  • FergleFFergleson@infosec.pub
    link
    fedilink
    arrow-up
    26
    ·
    1 year ago

    The one I bumped into recently: the Coastline Paradox

    “The coastline paradox is the counterintuitive observation that the coastline of a landmass does not have a well-defined length. This results from the fractal curve–like properties of coastlines; i.e., the fact that a coastline typically has a fractal dimension.”

  • naura@kbin.social
    link
    fedilink
    arrow-up
    25
    ·
    1 year ago

    Seeing mathematics visually.

    I am a huge fan of 3blue1brown and his videos are just amazing. My favorite is linear algebra. It was like an out of body experience. All of a sudden the world made so much more sense.

  • PsychoNewt@lemmy.world
    link
    fedilink
    arrow-up
    24
    ·
    1 year ago

    This is my silly contribution: 70% of 30 is equal to 30% of 70. This applies to other numbers and can be really helpful when doing percentages in your head. 15% of 77 is equal to 77% of 15.