The Prime Constant - Numberphile

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

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

  • @numberphile
    @numberphile  Месяц назад +52

    Get your signed copy of Love Triangle at mathsgear.co.uk/products/love-triangle-by-matt-parker-signed

    • @The.171
      @The.171 Месяц назад +2

      I agree

    • @klaxoncow
      @klaxoncow Месяц назад +2

      Mind you, if someone is able to generate the Prime Constant in a different way, they've just nailed how to find primes without searching.

    • @Myndale
      @Myndale Месяц назад +1

      And a great read it is. I've read my copy, and I'm now tempted to donate it to my local library (yes, they still exist) so that other people can read it too.

    • @abigailcooling6604
      @abigailcooling6604 Месяц назад +1

      I've already got mine 🙃

    • @Little-pluto-behind-neptune
      @Little-pluto-behind-neptune Месяц назад

      Yay

  • @pokerformuppets
    @pokerformuppets Месяц назад +842

    This constant is really close to sqrt(2) - 1. I suggest we just make the constant *equal* to sqrt(2) - 1 for simplicity, and then determine the primes from there.

    • @Meuszik
      @Meuszik Месяц назад +36

      Remarkably close. Not absurdly, but it makes you think if there is a reason for this.

    • @janaki3829
      @janaki3829 Месяц назад +223

      Nreaking news! The first few new prime numbers are 2, 3, 5,7,13,16,17,18,19...

    • @morismateljan6458
      @morismateljan6458 Месяц назад +16

      @@Meuszik Oh, a semi-prime constant is even closer to the sqrt(10)

    • @JuusoAlasuutari
      @JuusoAlasuutari Месяц назад +28

      I suggest we also redefine π = ∛Prime[Prime[Prime[Prime[Prime[1]]]]]

    • @programmingpi314
      @programmingpi314 Месяц назад +41

      I think this is the most popular comment that doesn't talk about the Parker Third. So I am just going to bring it up in the replies.

  • @fullfungo
    @fullfungo Месяц назад +1839

    Matt, you wrote the binary representation of 0.3 instead of 1/3.
    I shall now call it “the Parker third”™️.

    • @mekkler
      @mekkler Месяц назад +108

      Or 'Biblical π'.

    • @Ms.Pronounced_Name
      @Ms.Pronounced_Name Месяц назад +204

      Cut the guy some slack, he runs a Minecraft channel, not a maths channel

    • @deinauge7894
      @deinauge7894 Месяц назад +81

      yea 1/3 with a 4-digit cycle looked very suspicious. The length of the repeating cycle is always smaller than the denominator...

    • @AnotherPointOfView944
      @AnotherPointOfView944 Месяц назад +6

      @@Ms.Pronounced_Name no slack.

    • @roberttalada5196
      @roberttalada5196 Месяц назад

      Don’t you round? Lol

  •  Месяц назад +1183

    Small mistake, 1/3 is 0.010101 repeating in binary. The decimal aproximation after 6 binary digits is 21/64, which makes a lot more sense.

    • @GreylanderTV
      @GreylanderTV Месяц назад +53

      this was nagging at me too

    • @Blocksetter63
      @Blocksetter63 Месяц назад +144

      Yes, the binary fraction in the video 0.010011001... , with the last 4 digits repeating, represents 0.3 in decimal not 1/3.

    • @mapwiz-sf5yt
      @mapwiz-sf5yt Месяц назад +45

      Yes. It has the same digits as 1/11 in base 10, because 3 is one more than 2 and 11 is more than 10.

    • @Criz454
      @Criz454 Месяц назад +129

      parker binary

    • @TheArizus
      @TheArizus Месяц назад +42

      That's a bit more than a small mistake...

  • @johnchessant3012
    @johnchessant3012 Месяц назад +237

    Fun fact: The "factorial constant" (the nth digit is 1 if n is some number factorial and 0 otherwise) was the first number proven to be transcendental! Roughly speaking, Liouville was able to show that rational approximations to the "factorial constant" converge faster than it's possible for rational approximations can to any irrational algebraic number.

  • @pi2infinity
    @pi2infinity Месяц назад +229

    I love this concept of The Parker Third. In my head, my calculus was nagging me: “One-third can be represented by summing (1/4)^n, which has the really pleasant binary expansion of .0101010101…”
    I pay ~30% of my wages to taxes as an American schoolteacher. Yes that’s right- a full Parker Third of my teacher paycheck goes to the government!

    • @mrjava66
      @mrjava66 Месяц назад

      Federal income tax. State income tax. State sales(vat) tax. Property tax. Special extra Vat taxes(wine, gasoline, tires, some other items). Are you sure it’s just 30%

    • @pi2infinity
      @pi2infinity Месяц назад +16

      @@mrjava66Yes, I’m sure.
      All those numbers you’ve described are less than 0.3 in the manners in which they interface with me, and those numbers smaller than 0.3 do, in fact, add up to 0.3 when combined in the manners relevant to me and my unique circumstances.
      I assure you and everyone else reading this comment that, in general, a list of small numbers can add up to a larger number without having to add to a number larger than that larger number.

    • @KuK137
      @KuK137 Месяц назад +3

      @@mrjava66 Turn brain on and fox lies off, it will help...

    • @disgruntledtoons
      @disgruntledtoons Месяц назад +1

      @@mrjava66 And don't forget the taxes that are passed along by the producers of everything you buy. Ultimately, all taxes are paid by working people.

  • @forthrightgambitia1032
    @forthrightgambitia1032 Месяц назад +177

    Haha, I started calculating 1/3 in binary myself and was confused where I went wrong. But turns out Matt is wrong.

    • @carloslaue1236
      @carloslaue1236 Месяц назад +29

      That's a Parker third

    • @mandolinic
      @mandolinic Месяц назад +22

      No. Matt is correct. It's the _universe_ that's wrong.

  • @_toomas
    @_toomas Месяц назад +484

    3:10 The Parker Third, also known as 3/10 :D

    • @Gabbobox
      @Gabbobox Месяц назад +9

      EXACTLY

    • @alandouglas2789
      @alandouglas2789 Месяц назад +1

      @@GabboboxWhat? He was correct

    • @juandesalgado
      @juandesalgado Месяц назад +5

      Brilliant minds allow themselves to fumble

    • @Henrix1998
      @Henrix1998 Месяц назад +40

      At 3:10 nonetheless

    • @TechnocratiK
      @TechnocratiK Месяц назад

      @@alandouglas2789 1/3 = 0.01010101... (because 1/3 = 1/4 + 1/16 + 1/64 + ...), not 0.01001100110011

  • @trummler4100
    @trummler4100 Месяц назад +106

    Fun Fact: In a very recent Snapshot (24w37a), the Boat Bug (mentioned at 4:57) has been fixed!

    • @charliethunkman
      @charliethunkman Месяц назад +7

      Im curious how the ‘fix’ was implemented, if it was a very minute change to the gravity system, if they went case by case and canceled out the issue, or if they changed the update order inside of the entity-block collisions section.

    • @YunxiaoChu
      @YunxiaoChu Месяц назад +1

      @@charliethunkmanhmm

  • @Carriersounds
    @Carriersounds Месяц назад +149

    6:25 the dauge just chillin in the back

  • @SmileyMPV
    @SmileyMPV Месяц назад +163

    Quite the Parker bits in that 1/3 binary expansion ngl

  • @RichardHolmesSyr
    @RichardHolmesSyr Месяц назад +14

    Using continued fractions, you could turn this constant back into a sequence of integers. Which isn't a monotonic sequence, but its partial sums are. So you could then turn that into a real constant, and then do its continued fractions. Hours of fun for the whole family.

  • @xtieburn
    @xtieburn Месяц назад +30

    Speaking of numbers between 0 and 1. This reminds me of my favourite number Champernownes constant which is all positive integers. 0.12345678910111213...
    Its an evenly distributed, transcendental number, containing all strings, that has actually seen some use in random number generation and testing. (It can fool naive tests, despite its obvious lack of randomness.)
    Something tickles me about how incredibly simple it is while being so expansive and having all these interesting properties.

    • @jamesknapp64
      @jamesknapp64 Месяц назад +3

      shows that "randomness" is a very complicated thing.

    • @radadadadee
      @radadadadee Месяц назад +2

      wouldn't the digits of that number be distributed according to Benford's Law? At least for the few 1000's digits, it seems 1 will be the most frequent, 2 the second most, etc.

    • @landsgevaer
      @landsgevaer Месяц назад +3

      ​@@radadadadee Nah, the fact that zeros do occur should be a clue. All digits, in the limit, occur equally probably in the limit (including that zero even).

    • @MarcusCactus
      @MarcusCactus Месяц назад

      Well, in this context, "expansive" means "expensive". Too much so!

    • @MichaelRothwell1
      @MichaelRothwell1 Месяц назад

      ​@@radadadadeeWell, you'd soon get to large numbers with many digits so the particular distribution of the first digit according to Benford's law would pale into insignificance.

  • @robko87
    @robko87 Месяц назад +78

    funny thing is that this video can be exported and transformed to binary file and if you put "0." at the start of this file, you will again have a number between 0 and 1 :D

    • @lonestarr1490
      @lonestarr1490 Месяц назад +24

      Which means there is a monotonic sequence of natural numbers representing this video.

    • @LoganKearsley
      @LoganKearsley Месяц назад +5

      That's the basic idea of arithmetic coding in data compression.

    • @hqTheToaster
      @hqTheToaster Месяц назад +4

      I can't wait for you to make a Universal Scene Description that is just this video in glorious reformated 90 sound samples per second, 7p (7:5), 3 frames per second, from left to right, top to bottom, with a 3x3 pixel png file meant as a cypher for what colors and neighbors of colors to modularly find, and zip the two together in a .zip file, and then try to list the number between 0 and 1 describing that .zip file.

    • @abigailcooling6604
      @abigailcooling6604 Месяц назад +3

      @@hqTheToaster With the amount of nerds who watch these videos, someone will surely try this.

    • @ChrisShawUK
      @ChrisShawUK Месяц назад +3

      A rational number as well

  • @ChemicalVapors
    @ChemicalVapors Месяц назад +25

    Matt forgot to check his math in 1/3. The decimal/binary expansion of a fraction 1/N cannot contain a period longer than N. (And 0011 is a period of 4, which is bigger than 3.)

    • @tweer64
      @tweer64 Месяц назад +3

      Yeah, and if you calculate what it actually is, it's 0.3, not 1/3.

    • @nicolasmaldonado1428
      @nicolasmaldonado1428 Месяц назад +1

      No, it's the Parker Third

  • @MrSilami
    @MrSilami Месяц назад +52

    That dog sleeping in the bg cracks me up

    • @lo1bo2
      @lo1bo2 Месяц назад +2

      What I want to know is where does the secret door lead to?

  • @lachlancooke
    @lachlancooke Месяц назад +57

    1:17 Matt trying to contact his home planet

    • @matthewziemba7526
      @matthewziemba7526 Месяц назад

      I was trying so hard to figure out what that was at first! 😂

    • @treepoder
      @treepoder Месяц назад

      what is lachlan cooke doing over here

    • @aok76_
      @aok76_ 27 дней назад

      This comment aged like fine wine xD

  • @dragandraganov4384
    @dragandraganov4384 Месяц назад +8

    If you think about it, this encoding can be done for an arbitrary subset of the naturals, hence we have proved that the cardinalities of the power set of the naturals and the interval (0,1) are equal.

  • @Qbe_Root
    @Qbe_Root Месяц назад +15

    This is a neat way to encode _sets_ of numbers, not sequences, which is why it works out neatly with primes. In order to extend it to monotonically increasing sequences, you have to rely on the separate assumption that the bits are to be read in positional order, which is kinda weird since positions already encode the elements of the set. If you read the bits from the end instead, you'd get monotonically decreasing sequences! The only thing you can't do with this encoding and an arbitrary reading order is have the same number twice, since it makes no sense for a set to contain the same element twice, it either contains it (1) or it doesn't (0). So the "Fibonacci constant" shown in the video doesn't properly encode the Fibonacci sequence because it would need 1 twice; it encodes the set of numbers that appear in the Fibonacci sequence. (Also 0 is a Fibonacci number so the constant should go 1.11101001...)
    Fun fact: this idea of encoding a set of fixed elements using bits in a specific order has been used quite a bit in programming, such as with MySQL's SET type, Java's EnumSet class, or manual bitfields/flags in languages that didn't have built-in support for that.

    • @RobinDSaunders
      @RobinDSaunders Месяц назад +2

      To be pedantic, it encodes sets of numbers which satisfy excluded middle. It's sometimes useful (especially in computer science) to consider the possibility that not all sets are like this.

    • @vsm1456
      @vsm1456 Месяц назад +1

      regarding your fun fact, this idea was also used in the best attempt to improve Matt's code for the Wordle problem. instead of storing words as a string of letters, a, b, c, d, etc., each word is coded in bits where 1 means this letter is present in the word, 0 means this letter is absent. then, to compare if two words have the same letter, you perform bitwise-AND on them. since this operation is hardwired in x86 CPUs, it works extremely fast, so fast that full brute-force comparison of all 5-letter words takes a tiny fracfion of a second

    • @alansmithee419
      @alansmithee419 Месяц назад

      "If you read the bits from the end instead..."
      Aren't these supposed to be infinitely long binary numbers? Are you referring to a subset of sequences that are finite in length here?

    • @RobinDSaunders
      @RobinDSaunders Месяц назад

      @@alansmithee419 sequences are often allowed to have terms "coming in from infinity" as well as / instead of "going off to infinity", although reading terms "from the end" might not be the clearest way to refer to this.

  • @sashagornostay2188
    @sashagornostay2188 Месяц назад +48

    "If you wanna yell "we're pretty clever" - that's your number"
    (c) Parker

    • @HangarQueen
      @HangarQueen Месяц назад

      Ya, I loved this ending -- to an overall interesting and light-hearted episode. :-)

    • @GoodBrownBear
      @GoodBrownBear Месяц назад

      I don’t get this. We are just rewriting base 10 prime numbers in base 2 but why would aliens get it? They don’t use base 10. Are there really prime numbers in base 2?

    • @sashagornostay2188
      @sashagornostay2188 Месяц назад

      @@GoodBrownBear Numbers exist outside of base. You can think of numbers as piles of little pebbles, prine numbers would be ones that you can't make rectangles of, only lines. And bases are ways of arranging these piles, properties of piles don't change if you shift them around.

  • @liamroche1473
    @liamroche1473 Месяц назад +69

    I guessed this was going a different way, and defined a different real number containing all the primes as: 1/(2+(1/(3+1/(5+1/(7+1/(11+1/(13+1/(17+1/(19+1/(23+...)))))))))) I make this number 0.4323320871859029... Note that this construction works for a larger class of sequences of integers.

    • @fullfungo
      @fullfungo Месяц назад +5

      Yeah, this is called a continued fraction

    • @liamroche1473
      @liamroche1473 Месяц назад +2

      @@fullfungo Yes, I didn't explicitly mention the term.

    • @fakenullie
      @fakenullie Месяц назад

      But can you recover prime numbers from your constant?

    • @liamroche1473
      @liamroche1473 Месяц назад +5

      @@fakenullie Yes, the algorithm to turn a real number into a continued fraction is very straightforward. Of course, in the real world we can only ever do this with an approximation to the real number, giving a chosen number of the primes. You need infinite space to store arbitrary real numbers, of course.

    • @wmpowell8
      @wmpowell8 Месяц назад

      I thought that too.
      The larger class of sequences of integers is integers that are not in increasing order.
      For example you could do 1/(1+1/(1+1/(1+1/(2+1/(1+1/(2+1/(1+1/(5+1/...)))))))) (which is A000001 on the OEIS btw) that is approximately 0.634049724209852

  • @eliasmochan
    @eliasmochan Месяц назад +5

    I thought this was going to be about the continued fraction
    a=1/(2+1/(3+1/(5+1/(7+1/(11+...
    which has the property that the primes are generated by repeatedly inverting the fractional part and taking the integral part of the result.
    1/a=2+a1
    1/a1=3+a2
    1/a2=5+a3
    1/a4=7+a5
    etc.
    (all the a's are smaller than 1)

  • @TabooGroundhog
    @TabooGroundhog Месяц назад +110

    10:12 the aliens will just think it’s the monkey typewriter planet again

    • @Jiglias
      @Jiglias Месяц назад +20

      isn't it though

    • @juandesalgado
      @juandesalgado Месяц назад +7

      I wonder how little sense the sequence of bits will make, if they fail to catch it from the beginning...
      They may notice clues, like an odd number of consecutive zeroes, or (if the Twin Prime Conjecture is true) the repeated occurrence of 101

    • @abigailcooling6604
      @abigailcooling6604 Месяц назад +1

      Yes, surely it will just look like random noise as the primes are a random sequence?

    • @deinauge7894
      @deinauge7894 Месяц назад +3

      the averade distance grows logarithmically. the 1s will become more and more lonesome in the sea of 0s

    • @john_hunter_
      @john_hunter_ Месяц назад +5

      We are kind of the monkey typewriter planet when you think about it.

  • @FloydMaxwell
    @FloydMaxwell Месяц назад +7

    You can add even more "unmistakable order" to the prime constant 'beaming' by adding a pause after each embedded prime, with the pause length equal to the number of the prime.

  • @MartinPHellwig
    @MartinPHellwig Месяц назад +17

    Only problem for the receiver is, that if they don't know they are receiving the constant of prime and start listening after our known greatest prime,, it is indistinguishable from random.

    • @alexsimpson2970
      @alexsimpson2970 Месяц назад +5

      It is meaningless if there's any noise. Or if the listener hears from the middle.

    • @HeroDarkStorn
      @HeroDarkStorn Месяц назад +6

      Well, you would distinguish it from random by noticing that that chance of receiving "1" lowers over time.

    • @BenAlternate-zf9nr
      @BenAlternate-zf9nr Месяц назад +1

      You could send a repeating signal of on/off pulses where the length ratio of on:off was this constant.
      Or transmit continuous sine waves on two different frequencies that have this ratio between them.

    • @JavSusLar
      @JavSusLar Месяц назад +2

      Not exactly... The distribution of beeps would become logarithmically less dense, which should awaken the suspicion of any attentive listener. However, since sending a sequence that becomes progressively more scarce can be quite impractical, it would probably be better to just send a few terms, the fewest that can give enough evidence to discard a non intelligent origin.

    • @violetfactorial6806
      @violetfactorial6806 Месяц назад +2

      You would send it on repeat it with some clearly unique signal, like a pause in the transmission, to indicate the reset point.

  • @ulob
    @ulob Месяц назад +12

    This is how you encode all primes on a stick, using a knife. Just make a cut on the stick in the right place. In fact, you can encode all human knowledge this way (on a single stick). Good to know in case you need to prepare for a nuclear apocalypse.

  • @connorohiggins8000
    @connorohiggins8000 Месяц назад +5

    I got a prime number sequence accepted a few years ago (A328225) after one of these videos. This just reminded me that I never figured out why my sequence looked the way it did when it was plotted. I would love to hear some thoughts. I am not a mathematician in any form, so it could be absolutely nothing.

  • @zfighter3
    @zfighter3 Месяц назад +18

    19/64 is the Parker Approximation.
    Great video though!

    • @NigelJohns
      @NigelJohns Месяц назад +1

      Surprising that neither realised that it had to be 21/64. Instant red flag for me.

  • @ffggddss
    @ffggddss Месяц назад +4

    ⅓ in binary is .[01]; where the bracketed part repeats forever, not .[0011], which is ⅕.
    Writing each as an infinite geometric series will show this.
    Even easier, multiply the first by 11 binary (= 3), and the second by 101 binary (= 5). Both will give .111111111... which is =1.
    Correction: What Matt wrote wasn't .[0011], it was .0[1001], which is .3 (decimal).
    Fred

  • @MrCheeze
    @MrCheeze Месяц назад +5

    Of course, you could also do it backwards, taking a specific number and convert it into an integer sequence. For example pi would be -1, 0, 3, 6, 11, 12, 13, 14, 15, 16, 18, 19, 21... I don't know why you would, but you can. (And I just checked, it's OEIS A256108.)

    • @therealax6
      @therealax6 Месяц назад

      I mean, when you encode a number in binary, you're essentially doing this. And encoding fractional numbers in binary is something that computers do pretty darn often...

  • @mitchkovacs1396
    @mitchkovacs1396 Месяц назад +2

    One interesting property of this encoding scheme for increasing natural number sequences is that it lexicographically orders all of the sequences, i.e. given two such sequences A and B, we determine A '

  • @oscarfriberg7661
    @oscarfriberg7661 Месяц назад +4

    There’s also the Parker Prime constant, which is the binary representation of an infinitely long video where Matt Parker writes down every prime number on the brown paper.

  • @claytonarg5947
    @claytonarg5947 Месяц назад +3

    Clicking on a Numberphile and finding Matt Parker makes me so happy.

  • @diddykong3100
    @diddykong3100 Месяц назад +9

    Binary 1/three is not .0100110011..., it's 0.0101010101... as is easily seen by multiplying it be three = 11 to get 0.1111111111... = 1. Its successive approximations taking even numbers of digits are 1/4, 5/16, 21/64, 85/256, always of form n/(3.n +1). Multiplying 0.0100110011... by 101 = five, we get 1.0111111111... = 1.1 = three halves, so 0.0100110011... is three tenths, not a third.

  • @IceMetalPunk
    @IceMetalPunk Месяц назад +4

    This reminds me a bit of arithmetic coding, where given a frequency table and infinite decimals at your disposal, you can compress any data -- any file -- of any length into a single decimal number, and decompress it losslessly. That's always fascinated me, and been one of the main reasons I'm frustrated at the nonexistence of infinite precision 😂 (That and, of course, precision errors in my code...)

  • @corlinfardal
    @corlinfardal Месяц назад +3

    Interestingly, with the sequence-to-real-number conversion, you can re-express a problem like the Twin Prime conjecture as whether the number corresponding to that sequence is rational or goes on forever (the primes are too spread out to allow for repeats), or the Collatz conjecture as whether the real number corresponding to a sequence of 0 if the collatz function reaches 1 and 1 otherwise equals 0.

  • @orena932
    @orena932 Месяц назад +2

    I love the idea of beaming out the prime constant in binary and getting to really big numbers where you just get a crazy amount of zeroes with the occasional one sent out as well when you reach a prime

    • @dielaughing73
      @dielaughing73 Месяц назад

      Perhaps aliens are huddling around their primitive radio sets somewhere waiting for that next '1' to come through

  • @galaxygur
    @galaxygur Месяц назад +3

    It explains very well, why 0.1 + 0.3 is not equal to 0.4 in most programming languages, - because binary representation of those numbers is infinitely repeating, and therefore it must approximate it at some point.

  • @toimine8930
    @toimine8930 Месяц назад +28

    3:08 bruh

  • @leonschroder2970
    @leonschroder2970 Месяц назад +8

    I like this new and improved Parker Third

  • @danieldare2640
    @danieldare2640 Месяц назад

    Yes I think that's a good way of describing not only the concept but the video is that it is a novelty but time not wasted... it's always interesting and gets you thinking so thank you.

  • @QuantumHistorian
    @QuantumHistorian Месяц назад +21

    So there's a bijection between reals in [0, 1] and strictly monotonic positive integer sequences? Not something I would have guessed but, the way it's explained makes it seem obvious in hindsight

    • @lonestarr1490
      @lonestarr1490 Месяц назад +6

      They have to be strictly monotonic, though. So no repetitions either.
      But yeah, if I were confronted with that claim and asked to prove it, it would have probably stumped me quite a bit. But presented in this order it becomes completely obvious.

    • @JohnnyDigital27
      @JohnnyDigital27 Месяц назад +3

      It's a bijection between the reals in [0, 1] and the (binary encoding for strictly monotic sequences) represented in base 10. That detail is important, otherwise the statement doesn't make sense.

    • @QuantumHistorian
      @QuantumHistorian Месяц назад +1

      @@srenvitusthyregodlandkilde4800 But not than countably infinite large sets of countable infinites. Which is what an infinite strictly monotonic sequence is.

    • @fullfungo
      @fullfungo Месяц назад +4

      @@JohnnyDigital27No it’s not base 10.

    • @TheBasikShow
      @TheBasikShow Месяц назад +10

      While your statement is true, the map in the video is not an example of such a bijection: The set containing just 7 corresponds to the same real number as the set containing all integers bigger than 7, since 0.000000100000… = 0.000000011111111… in binary.
      There are, however, cleverer things you can do to get actual bijections between even more impressive sets. For example, using simple continued fractions you can biject every irrational number in [0,1] to an arbitrary infinite sequence of positive integers, whether increasing or not!
      In fact, by fiddling with finite sequences and rational numbers, you can biject everything in the interval [0,1) to an infinite-or-finite sequence of positive integers. And I think that’s neat!

  • @newTellurian
    @newTellurian Месяц назад +4

    In Zemeckis' Contact (1997) prime number sequence (basically a chunk of this binary prime constant) is what aliens sent us to make it clear it's an artificial signal.

    • @dielaughing73
      @dielaughing73 Месяц назад

      Because of course some sci-fi writer already thought of it. There's really nothing new under the sun

    • @philrichards7240
      @philrichards7240 Месяц назад +1

      Try reading the book "Contact" written by the late great Carl Sagan on which the film was based...

    • @JamesDavy2009
      @JamesDavy2009 Месяц назад

      From what I researched, they actually skipped a number in the prime sequence.

  • @PaulBennett
    @PaulBennett Месяц назад +3

    "Five is not a factor of two". That alone was worth opening RUclips for the day.

  • @josephrissler9847
    @josephrissler9847 Месяц назад +1

    A simple transform maps positive sequences to positive monotonic sequences: Add to each term the sum of all prior terms.

  • @oneeyejack2
    @oneeyejack2 Месяц назад +15

    I've spotted an error.. the closest number tor 1/3 over 64 is 21, not 19..so that should be 0.010101... and in fact 1/3 is 0.010101[01]...

    • @lyrimetacurl0
      @lyrimetacurl0 Месяц назад +5

      Yes and later it shows the odd constant 0.101010... = 0.666...
      So the even constant 0.010101.. must equal 0.333... :)

    • @88porpoise
      @88porpoise Месяц назад +2

      Did you consider that it may be a Parker Third?

  • @johnsteenbruggen5718
    @johnsteenbruggen5718 Месяц назад +1

    The bit at the end about how the bitstrings correspond to monotonic increasing sequences of naturals: I find it easier to imagine each of the numbers as corresponding to a subset of naturals (so the nth bit is 1 if n is included in the subset or not). This was you can see that there is a one to one correspondence between the binary encodings of the real numbers from 0 to 1 and the set of all subsets of naturals -- i.e., the powerset. This is a nice way to see that the powerset of the countable set of naturals is uncountable, like the interval [0,1].

  • @Topakhok
    @Topakhok Месяц назад +3

    This exact idea actually shows that there are more real numbers than integers. Because every set of integers is uniquely mapped that way to a sequence of 0 and 1, which in turn can be mapped to all real numbers in [0; 1]. And there are more sets of integers then integers themselves :)

    • @iangreenhoe6611
      @iangreenhoe6611 Месяц назад

      Look up “Gödel diagonalization”. It demonstrates not only are there more real numbers than integers, but that there are an infinite number of real numbers for each integer.

    • @Topakhok
      @Topakhok Месяц назад

      @@iangreenhoe6611 what do you mean by “infinite number for each integer”? I just meant that |ℝ| > |ℕ|

    • @iangreenhoe6611
      @iangreenhoe6611 Месяц назад

      @@Topakhok , infinite number of real numbers for each integer.

    • @Topakhok
      @Topakhok Месяц назад

      @@iangreenhoe6611 I mean mathematically :)
      What does “there is infinite number of real numbers for each integer” mean? Do you mean some exact mapping between real and integer numbers? Because it’s not true for every mapping, f(x) = 0 gives exactly zero real numbers for each non-zero integer

    • @iangreenhoe6611
      @iangreenhoe6611 Месяц назад

      @@Topakhok , no. I mean that there are different sizes of infinity. Here we are talking about aleph 0 (for N, Z, and Q) and aleph 1 (R, C, and other finite dimensional imaginary systems). Aleph 1 = (Aleph 0) ^ (Aleph 0).
      Gödel showed that you can map N onto Q (bijective mapping). Specifically he used N onto Q for Q between 0 and 1 inclusive, mapping to the rest of Q is easy. Doing this allowed him to construct an ordered list of rational numbers. By doing the decimal expansion of each item of this list, you can create a real number that is distinct from any item in the list of rational numbers. Further, there is literally an infinite number of ways to do so.

  • @BohonChina
    @BohonChina Месяц назад +2

    this prime constant representation is very close to the arithmetic coding in the coding theory, Matt Parker should make a video about this.

  • @hammerth1421
    @hammerth1421 Месяц назад +3

    It took me way to long to realize that it's essentially the concatenation of the truth table of primeness.

  • @UMosNyu
    @UMosNyu Месяц назад +1

    What I like about the constants for each series is that is tells you how many numbers are "hit" by the sequence. The closer the number to 1, the more numbers appear in the sequence. So... kinda usefull

    • @Tumbolisu
      @Tumbolisu Месяц назад +1

      being close to 1 only tells you that several small integers are included. for instance, the sequence {1, 2, 3, 4} (finite) becomes 0.9375 while the sequence {2, 3, 4, 5, 6, ...} (infinite) becomes only 0.5

    • @UMosNyu
      @UMosNyu Месяц назад

      @@Tumbolisu True. You are weighting small numbers bigger

  • @smylesg
    @smylesg Месяц назад +5

    Brady: why'd I bring all this paper?

  • @konan4heather
    @konan4heather Месяц назад

    Fun fact: if you apply reverse technique to pi/4 (where we convert the fraction into base 2, and create series from the "1" indices: 2,5,8,13,14,15...), the difference-1 looks very random. I failed to find any patterns, it appears to be distributed by Negative Binomial mean=1 disperison=1.

  • @trummler4100
    @trummler4100 Месяц назад +6

    10:38 The _better_ what if would be "how many Civilizations got 10 fingers?"

    • @lafingman100
      @lafingman100 Месяц назад +2

      "What if somewhere else in the universe the curvature of space is different and they got a different pi, whereas primes are always primes" Somehow this is incredibly profound

    • @vsm1456
      @vsm1456 Месяц назад

      prime numbers are still primes no matter the base. an example: you have a pile of rocks; if the number of rocks is compound, you can arrange this pile in a complete grid A × B size where A and B are factors. if the number is prime, you would only be able to arrange them in a single row or column. it doesn't matter how you write the number down

  • @Snakeyes244
    @Snakeyes244 Месяц назад +1

    This was an amazing numberphile!!! Not only a very cool constant, but I have never ever known that pi could be any other constant. It depends on the curvature of the space the circle in embedded in. That's huge! Pi isn't even constant on the surface of the Earth!

  • @voyageintostars
    @voyageintostars Месяц назад +7

    THE DOG SLEEPING 😭

  • @alan2here
    @alan2here Месяц назад +1

    Constant positive or negative curvature (pick exactly 1), then PI is a real to real function "def pi(radius_relative_to_curvature : float): -> float". Constant zero curvature, then pi is a real.

  • @aikumaDK
    @aikumaDK Месяц назад +4

    Excellent cameo work by Skylab

    • @bertofnuts1132
      @bertofnuts1132 Месяц назад

      Not the first one to sleep during math class...

  • @markwrede8878
    @markwrede8878 Месяц назад

    Whereas primes are without end, their capacity to determine slopes is finite, and superseded by Pythagorean triplets. These are given on two parabolas: y = (x^2 + 1)/2 and y = (x^2 + 2)/4.

  • @jivejunior8753
    @jivejunior8753 Месяц назад +23

    As has been stated by others, there is a glaring error in this video... he says pi is the circle constant, not tau :P

    • @hoebare
      @hoebare Месяц назад

      Pi is the Parker Tau

    • @theadamabrams
      @theadamabrams Месяц назад +3

      τ is not "the circle constant" either. Each of π and τ and π/2 = τ/4 could reasonably be called "*a* circle constant".

    • @hoebare
      @hoebare Месяц назад

      @@theadamabrams That's entirely true, but I think it's more fun to argue that τ is the best of all the circle constants.

    • @rubyswolf9767
      @rubyswolf9767 Месяц назад

      @@theadamabrams Pi may be a circle constant but its the semicircle constant rather than a full circle

    • @renerpho
      @renerpho Месяц назад +1

      He's contractually obliged to use π. After all, it's asteroid (314159) Mattparker, not (628318)...

  • @jimmyzhao2673
    @jimmyzhao2673 Месяц назад +6

    10:05 Aliens *still* using dial up. lol

  • @Verlisify
    @Verlisify Месяц назад +1

    "Astute viewers can try to predict this"
    Golden Ratio

  • @rogercarl3969
    @rogercarl3969 Месяц назад +3

    Don't blame Matt for miscalculating the binary approximation of 1/3. The dog ate his homework.

  • @liamroche1473
    @liamroche1473 Месяц назад +1

    It occurs to me that the construction described provides an interesting measure on the set of all monotone natural number sequences, and some of the alternatives provide measures on different sets of sequences.

  • @lafingman100
    @lafingman100 Месяц назад +5

    10:35 "What if somewhere else in the universe the curvature of space is different and they got a different pi, whereas primes are always primes" Somehow this is incredibly profound

    • @bjornmu
      @bjornmu Месяц назад +4

      Except it is wrong, pi does not depend on the curvature of space. It's a fundamental constant of pure mathematics, independent of any physical reality.

    • @rmsgrey
      @rmsgrey Месяц назад

      @@bjornmu It depends whether you're talking about pi or about pi (or about pi, or...) - there is a pi which is a fundamental constant of pure mathematics, and there is a pi which is half the ratio of a circle's circumference to its radius. In (near) Euclidean space like where we live, the two are close enough to the same that experimental determinations of pi by measuring actual drawings of circles give the same value as the purely theoretical construct to well within the margins of error, but it's not hard to come up with theoretical spaces where empirical pi is significantly different from theoretical pi.

    • @theadamabrams
      @theadamabrams Месяц назад

      @@bjornmu Indeed, highly intelligent aliens would probably stumble across the number 3.14159... (or 11.001001000... in binary) even the curvature of space caused their circumference÷diameter ratios were not always that number. π has a lot of uses beyond just circles (for example, the area under a non-normalized bell curve y = e^(-x²) is exactly √π).

  • @RoyalNexusAcademy
    @RoyalNexusAcademy Месяц назад

    Great Video! We really enjoyed your insights and creativity.
    KEEP UP THE AWESOME WORK!

  • @heathrobertson2405
    @heathrobertson2405 Месяц назад +27

    I love that matt has the Parker square in a frame

    • @oz_jones
      @oz_jones Месяц назад

      So its in a square. Would it be parker squared?

  • @xakaryehlynn4749
    @xakaryehlynn4749 Месяц назад +1

    i love that this episode was "idk, it's a cool number" and i can't find any reason this is actually *useful* (though i agree it's cool). Then it ends with "yell this out to say human civilization is smart!" and i love it

  • @lopesdoria
    @lopesdoria Месяц назад +5

    Okay, but why even encode it in base 2? Can't I just say that all primes are contained within 0.23571113171923... ?

    • @MichaelDarrow-tr1mn
      @MichaelDarrow-tr1mn Месяц назад +10

      why is 71 encoded twice

    • @petrkdn8224
      @petrkdn8224 Месяц назад

      @@MichaelDarrow-tr1mn its primes in order, 2 , 3, 5, 7, 11, 13, 17, 19, 23

    • @theadamabrams
      @theadamabrams Месяц назад

      @@MichaelDarrow-tr1mn It's not. The digits come from 0.[2][3][5][7][11][13][17][19][23]... with the brackets just added for clarity.

    • @landsgevaer
      @landsgevaer Месяц назад +1

      Interspersing zeros would, to make the decoding unique, in decimal. Like
      0.20305070110130170..

    • @vsm1456
      @vsm1456 Месяц назад +1

      @@landsgevaer how do you know it's 13, 17 and not 13017?

  • @almightysapling
    @almightysapling Месяц назад

    A sequence does not need to be increasing in order to be encoded. In fact it doesn't even need to be a sequence. *Any* ordering on the natural numbers (or any other countable set) can be encoded by a real numbers via a similar mechanism

  • @Xboxiscrunchy
    @Xboxiscrunchy Месяц назад +4

    I want to see that game of life simulation that generates primes. That sounds very interesting.
    Maybe you could do a video that explains it?

    • @Tumbolisu
      @Tumbolisu Месяц назад +3

      the game of life is turing complete, so you can make a computer within that simply goes through every number, checks if its prime, and then display it.

    • @RobinDSaunders
      @RobinDSaunders Месяц назад +1

      @@Tumbolisu In fact you don't need to use Turing completeness here: a simple sieve works. The first published pattern that works is called "Primer" - you can find it e.g. on the Game of Life wiki.

  • @alecbader7433
    @alecbader7433 Месяц назад +1

    I love the way that mathematicians will say "I'm going to do something *infinitely*" and then pause, side-eye the interviewer, and clarify - "... in green, if tha'ts ok."

  • @hyperium007
    @hyperium007 Месяц назад +4

    9:21 the voice sent me

    • @Mathijs_A
      @Mathijs_A Месяц назад

      Yeah lol wth was that

  • @fakjbf3129
    @fakjbf3129 Месяц назад

    Another thing you can do is encode text. Simply chop the fractional expansion into eight bit chunks and use ASCII to give each symbol a binary representation and string them together one after another. Convert back to a decimal and you can use a single number to encode an entire book.

  • @skyscraperfan
    @skyscraperfan Месяц назад +6

    So the sequence of all natural numbers is encoded as just "1", because 0.11111111111 in binary equals 1.

    • @alexpotts6520
      @alexpotts6520 Месяц назад +2

      Yes, the thing about binary that is especially nice is that not only is every subset of the positive integers encoded by a real number between 0 and 1, but every number between 0 and 1 encodes a subset of the positive integers.
      Another nice property is that x and 1-x will be representations of complimentary sets (ie sets that contain all the integers between them - so for example one minus the prime constant picks out all the non-prime numbers). Binary is the natural base for this because there are two options for each number - it's either in the set or it isn't.

    • @skyscraperfan
      @skyscraperfan Месяц назад

      @@alexpotts6520 In theory you could encode even encode all texts every written into a single binary number. Imagine all human knowledge can be represented by a single number. That is somehow even more mind-boggling, although would only be a finite amount of information.

    • @alexpotts6520
      @alexpotts6520 Месяц назад

      @@skyscraperfan I mean, this is essentially what computers do, isn't it? Everything is just converted into ones and zeros, and if you strung all those ones and zeros together you'd make a single very large integer.
      In fact, nature got there first! DNA works basically the same way, except it uses base 4 rather than binary.

  • @Pehr81
    @Pehr81 Месяц назад +1

    Different species of cicadas wake up on different prime number year intervals

  • @DeGuerre
    @DeGuerre Месяц назад +5

    It is NOT true that any sequence of increasing integers has a real number, in the sense that they aren't uniquely "decodable".
    We all know that in decimal, 0.999... = 1, and 0.2999... = 0.3 for the same reason.
    Well, the same holds in binary. In binary, 0.0111... = 0.1, so 0.5 (in decimal) is both the "greater than 1 constant" and the "only 1 constant".

    • @hoebare
      @hoebare Месяц назад

      I haven't re-watched to check, but I don't think he said sequences had unique mappings, only that they had mappings. In your example, the mappings for ">1" and "1" are the same number in base 2, but if we used '1' to indicate "part of the sequence" then we could say "1/9 - 0.1 in base 10" is the mapping for ">1" and "0.1 in base 10" is the mapping for "1". There are probably (I haven't counted them) infinitely many ways to map sequences to numbers between zero and one, uniquely or otherwise.
      I think part of what's throwing some people off is thinking that these mappings are useful for anything other than giving Matt another chance to be wrong about something like the binary representation of 1/3.

    • @RobinDSaunders
      @RobinDSaunders Месяц назад +2

      I came here to say the same thing. But the sequences which are ambiguous are exactly the finite and cofinite ones, so you can exclude either one of those and then all the other sequences will have a unique representation.

    • @WK-5775
      @WK-5775 Месяц назад

      This criticism is not valid. The "only 1 sequence" is not a (strictly) increasing sequence - it's not even a sequence in the sense considered here.

    • @RobinDSaunders
      @RobinDSaunders Месяц назад +2

      @@WK-5775 This is a semantic matter. "Sequence" is widely used to refer to (sub)countable lists which may not be known to be infinite, or may even be known to be finite. The Online Encyclopedia of Integer Sequences has plenty examples of both.

  • @stevefrandsen7897
    @stevefrandsen7897 Месяц назад

    Interesting and fun as always with Matt

  • @kurotoruk
    @kurotoruk Месяц назад +4

    AAHH THE DIALUP HANDSHAKE SCREECH

    • @MaGaO
      @MaGaO Месяц назад

      And Mom just picked up the phone to call someone. "Noooooooooooooo!"

    • @kurotoruk
      @kurotoruk Месяц назад +1

      @@MaGaO MOOOOOOOM I WAS GRINDING RARE DROPS IN RUNESCAPE!!!!!!!

  • @uwepleban3784
    @uwepleban3784 Месяц назад +1

    As of 12.10.2024, we know that at position 2^136279841-1, there is a 1 in the binary representation of the prime constant.

  • @metacob
    @metacob Месяц назад +28

    I can represent Pi very elegantly: 10
    (That is in base Pi)

    • @huawafabe
      @huawafabe Месяц назад +2

      how many different digits do we have in base pi? Because in base n we have n different digits 😅

    • @Faroshkas
      @Faroshkas Месяц назад +13

      Pi is 10 in base Pi

    • @BryanLu0
      @BryanLu0 Месяц назад

      ​@@huawafabeI think you round down. Irrational bases aren't really useful anyways, because normally rational numbers like 5 become "irrational"

    • @metacob
      @metacob Месяц назад

      @@Faroshkas you're right, thanks

    • @therealax6
      @therealax6 Месяц назад

      @@huawafabe In general, in base z your digits are all integers d so that 0 ≤ d < |z|. Note that this works for any z - it can even be complex. (Complex bases are fun!)

  • @davidcahan
    @davidcahan Месяц назад +1

    The dog sacked out on the couch is hysterical

  • @Prinrin
    @Prinrin Месяц назад +7

    Half of this video is trying to figure out what the correct binary expansion of 1/3 is (and still getting it wrong). This is then not relevant to the point of the video, since it's just "the sum of 1/2^p for primes p". No usage (even in pure math) is given, just "you can make this construction". I didn't even see it mentioned that it's transcendental!

    • @JohnDoe-ti2np
      @JohnDoe-ti2np Месяц назад +2

      I don't think that the prime constant has been proved to be transcendental.

    • @lonestarr1490
      @lonestarr1490 Месяц назад +3

      ​@@JohnDoe-ti2np But it totally is, probably. Because if it weren't, that would be HUGE! Probably.

  • @TimothySolomon
    @TimothySolomon Месяц назад +1

    “No natural event that would generate the primes like this…” says the guy naturally generating the primes like that.

  • @ghaydn
    @ghaydn Месяц назад +4

    That's an insane compressing method

    • @StefanReich
      @StefanReich Месяц назад +3

      Except it isn't

    • @JordanBiserkov
      @JordanBiserkov Месяц назад +2

      @@StefanReich Care to elaborate? The way I see it, you take any finite sequence of monotonically increasing integers, say the primes below 64 (2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61) and then you compress that into a single 64 bit number M. I can then be used to quickly answer the question "is K a prime?" (or "is K a member of the sequence?" in the more general case) simply by looking up the value of bit K.
      To "decompress" the sequence, loop over the bits of M and whenever the bit is equal to 1, add the index i to the accumulator.

    • @theslay66
      @theslay66 Месяц назад +2

      That's just a flag system encoded into a binary value. Nothing new.

    • @StefanReich
      @StefanReich Месяц назад +1

      ​@@JordanBiserkov Primes are spaced out more and more as you go higher. There are roughly N/log(N) primes between 1 and N. Writing a number down in, say, decimal, takes (on the order of) log(N) bits. So we have N bits for your method, and roughly log(N)*N/log(N) = N bits for just writing down all the primes as numbers with commas in between. So no real compression except maybe a constant factor.

    • @MichaelPohoreski
      @MichaelPohoreski Месяц назад

      It is _horribly inefficient._ Aside from 2 and 3 every pair of prime is always of the form 6n-1, 6n+1 so this wastes 4/6 or 66% encoding.

  • @wstuart
    @wstuart Месяц назад +1

    It seems we have discovered that after scraping the bottom of the barrel we can discover more topics if we tilt the barrel over and start digging underneath the barrel.

  • @vturiserra
    @vturiserra Месяц назад +3

    There's no need to complicate it so much. The number 0.235711131719232931... has all the primes in base 10.

  • @element1192
    @element1192 Месяц назад

    In base 6, we have:
    ½ = 0.3
    ⅓ = 0.2
    ¼ = 0.13
    ⅕ = 0.1̅
    ⅙ = 0.1
    ⅐ = 0.0̅5̅
    ⅛ = 0.043
    ⅑ = 0.04
    ⅒ = 0.03̅
    It's much nicer than base 2, 10, or 12

  • @Nmmoinn
    @Nmmoinn Месяц назад

    To summarize - Let S be any non repeating sequence of numbers, 0

  • @Buggaton
    @Buggaton Месяц назад +2

    There already is a really simple number that encodes all the Fibonacci ones. In decimal at least. 10/89

  • @bertblankenstein3738
    @bertblankenstein3738 Месяц назад +1

    The dog somehow managed to contain his/her excitement. :)

  • @MarcusCactus
    @MarcusCactus Месяц назад +2

    10:00 They are too enthousiastic about sending the number to aliens.
    Their number having infinite composition, it is impossible to send in a finite time.
    And... we don't know an infinity of prime numbers. So there is a twist at the "end" of what we send.
    And... we don't know how many primes the aliens have managed to discover.

  • @liam3284
    @liam3284 Месяц назад

    There are as many digits after the decimal point as there are before the decimal point. In other words, there are as many finite decimal numbers as there are integers. However there are numbers between zero and 1 that cannot be represented in finite decimal, and infinitely many of those as well. So, there are more real numbers between any two integers than there are integers.

  • @abracadabra6324
    @abracadabra6324 Месяц назад +2

    The doggo living its best life there lol

  • @nekad2000
    @nekad2000 27 дней назад +1

    Representing binary using modem sounds....my brain can't demodulate that.

  • @samuelthecamel
    @samuelthecamel Месяц назад +1

    I like how there's just a dog chilling in the background

  • @hdekkerify
    @hdekkerify Месяц назад +1

    What I wondered and is left unanswered is: does the number have any significance other than encoding the primes? Like Pi which pops up in other places where it is not necessarily expected

  • @johnbruhling8018
    @johnbruhling8018 Месяц назад

    Thats neat. There was a recent paper about a proof for calculating large Drielicht Primes (spellcheck) opertating largely by using a mod30 function. They are (all primes above 29), in effect, some small prime of 1,7,11,13,17,19,23,29 and some quantity of 30. See for yourself by applying a mod30 to any prime, you get one of those numbers.

    • @therealax6
      @therealax6 Месяц назад +1

      The simple proof of the property you just mentioned is that all other numbers between 0 and 29 have some divisor in common with 30. So if a number can be written as 30n + r with r < 30 (and all positive integers can be), if 30 and r have some common divisor d, then both 30n and r are divisible by d, meaning that their sum is also divisible by d.
      The same is true for any other number, not just 30: a prime divided by any smaller positive integer has a remainder that is coprime (i.e., shares no divisors) with that positive integer.

  • @kevinstewart2572
    @kevinstewart2572 Месяц назад

    Matt, to add to the coolness of this being one of "every possible conceivable monotonic series of numbers" packed into the interval (0,1), you might also enjoy the fact that the expression 0.0110101000101... encoding the set of primes may be regarded as being written in any base, not only in base 2 as shown, but also in bases 3, 4, 5,..., hence yielding one of many such infinite sets, EACH element representing an encoding of all primes, yet when all taken together, still occupying only an infinitesimal fraction of the unit interval's length. How cool is that!?

  • @rennleitung_7
    @rennleitung_7 Месяц назад +1

    If I had to choose between this video and a sleepover with Count count, I go with Count count.