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:

  • Nfamwap
    link
    fedilink
    412 years ago

    11 X 11 = 121

    111 X 111 = 12321

    1111 X 1111 = 1234321

    11111 X 11111 = 123454321

    111111 X 1111111 = 12345654321

  • naura
    link
    fedilink
    282 years 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.

  • @backseat@lemmy.world
    link
    fedilink
    272 years ago

    The square of any prime number >3 is one greater than an exact multiple of 24.

    For example, 7² = 49= (2 * 24) + 1

    • @Thoth19@lemmy.world
      link
      fedilink
      72 years ago

      Does this really hold for higher values? It seems like a pretty good way of searching for primes esp when combined with other approaches.

      • @metiulekm@sh.itjust.works
        link
        fedilink
        English
        52 years ago

        Every prime larger than 3 is either of form 6k+1, or 6k+5; the other four possibilities are either divisible by 2 or by 3 (or by both). Now (6k+1)² − 1 = 6k(6k+2) = 12k(3k+1) and at least one of k and 3k+1 must be even. Also (6k+5)² − 1 = (6k+4)(6k+6) = 12(3k+2)(k+1) and at least one of 3k+2 and k+1 must be even.

    • @manishmehra@lemmy.ml
      link
      fedilink
      12 years ago

      I don’t get it,

      5² = 25 != (2 * 24) + 1

      11² = 121 != (2 * 24) + 1

      Could you please help me understand, thanks!

  • @metiulekm@sh.itjust.works
    link
    fedilink
    English
    272 years ago

    Imagine a soccer ball. The most traditional design consists of white hexagons and black pentagons. If you count them, you will find that there are 12 pentagons and 20 hexagons.

    Now imagine you tried to cover the entire Earth in the same way, using similar size hexagons and pentagons (hopefully the rules are intuitive). How many pentagons would be there? Intuitively, you would think that the number of both shapes would be similar, just like on the soccer ball. So, there would be a lot of hexagons and a lot of pentagons. But actually, along with many hexagons, you would still have exactly 12 pentagons, not one less, not one more. This comes from the Euler’s formula, and there is a nice sketch of the proof here: https://math.stackexchange.com/a/18347.

  • @parrottail@sh.itjust.works
    link
    fedilink
    English
    222 years ago

    Godel’s incompleteness theorem is actually even more subtle and mind-blowing than how you describe it. It states that in any mathematical system, there are truths in that system that cannot be proven using just the mathematical rules of that system. It requires adding additional rules to that system to prove those truths. And when you do that, there are new things that are true that cannot be proven using the expanded rules of that mathematical system.

    "It’s true, we just can’t prove it’.

    • @Reliant1087@lemmy.world
      link
      fedilink
      62 years ago

      Incompleteness doesn’t come as a huge surprise when your learn math in an axiomatic way rather than computationally. For me the treacherous part is actually knowing whether something is unprovable because of incompleteness or because no one has found a proof yet.

  • @jonhanson@lemmy.ml
    link
    fedilink
    18
    edit-2
    2 years ago

    Euler’s identity is pretty amazing:

    e^iπ + 1 = 0

    To quote the Wikipedia page:

    Three of the basic arithmetic operations occur exactly once each: addition, multiplication, and exponentiation. The identity also links five fundamental mathematical constants:[6]

    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.

    The fact that an equation like that exists at the heart of maths - feels almost like it was left there deliberately.

  • Evirisu
    link
    fedilink
    18
    edit-2
    2 years ago

    A simple one: Let’s say you want to sum the numbers from 1 to 100. You could make the sum normally (1+2+3…) or you can rearrange the numbers in pairs: 1+100, 2+99, 3+98… until 50+51 (50 pairs). So you will have 50 pairs and all of them sum 101 -> 101*50= 5050. There’s a story who says that this method was discovered by Gauss when he was still a child in elementary school and their teacher asked their students to sum the numbers.

  • @Cobrachickenwing@lemmy.ca
    link
    fedilink
    162 years ago

    How Gauss was able to solve 1+2+3…+99+100 in the span of minutes. It really shows you can solve math problems by thinking in different ways and approaches.

  • Gogo Sempai
    link
    fedilink
    15
    edit-2
    2 years 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.

  • I Cast Fist
    link
    fedilink
    132 years ago

    To me, personally, it has to be bezier curves. They’re not one of those things that only real mathematicians can understand, and that’s exactly why I’m fascinated by them. You don’t need to understand the equations happening to make use of them, since they make a lot of sense visually. The cherry on top is their real world usefulness in computer graphics.

    • @zenharbinger@lemmy.world
      link
      fedilink
      18
      edit-2
      2 years ago

      I found the easiest way to think about it as if there are 10 doors, you choose 1, then 8 other doors are opened. Do you stay with your first choice, or the other remaining door? Or scale up to 100. Then you really see the advantage of swapping doors. You have a higher probability when choosing the last remaining door than of having correctly choosen the correct door the first time.

      Edit: More generically, it’s set theory, where the initial set of doors is 1 and (n-1). In the end you are shown n-2 doors out of the second set, but the probability of having selected the correct door initially is 1/n. You can think of it as switching your choice to all of the initial (n-1) doors for a probability of (n-1)/n.

      • @_g_be@lemmy.world
        link
        fedilink
        3
        edit-2
        2 years ago

        I find the easiest way to understand Monty Hall is to think of it in a meta way:

        Situation A - A person picks one of three doors, 1 n 3 chance of success.

        Situation B - A person picks one of two doors, 1 in 2 chance of success.

        If you were an observer of these two situations (not the person choosing doors) and you were gonna bet on which situation will more often succeed, clearly the second choice.

        • @zenharbinger@lemmy.world
          link
          fedilink
          72 years ago

          But the issue is that by switching doors, you have a 66% chance of winning, it doesn’t drop to 50% just because there are 2 doors, it’s still 33% on the first door, 66% on the other doors (as a whole), for which we know one is not correct and won’t choose.

          • @_g_be@lemmy.world
            link
            fedilink
            2
            edit-2
            2 years ago

            on the whole

            is the key words here

            individually the door has that 1:2 chance, but the scenario has more context and information and thus better odds. Choosing scenario B over scenario A is a better wager

        • I don’t understand how this relates to the problem. Yes 50 percent is greater than 33 percent, but that’s not what the Monty hall problem is about. The point of the exercise is to show that when the game show host knowingly (and it is important to state that the host knows where the prize is) opens a door, he is giving the contestant 33 percent extra odds.

  • @Urist@lemmy.ml
    link
    fedilink
    8
    edit-2
    2 years ago

    Borsuk-Ulam is a great one! In essense it says that flattening a sphere into a disk will always make two antipodal points meet. This holds in arbitrary dimensions and leads to statements such as “there are two points along the equator on opposite sides of the earth with the same temperature”. Similarly one knows that there are two points on the opposite sides (antipodal) of the earth that both have the same temperature and pressure.

    • @Urist@lemmy.ml
      link
      fedilink
      52 years ago

      Also honorable mentions to the hairy ball theorem for giving us the much needed information that there is always a point on the earth where the wind is not blowing.

      • @Urist@lemmy.ml
        link
        fedilink
        1
        edit-2
        2 years ago

        Seeing I was a bit heavy on the meteorological applications, as a corollary of Borsuk-Ulam there is also the ham sandwich theorem for the aspiring hobby chefs.