PBS Infinite Series

PBS Infinite Series

Mathematician Tai-Danae Bradley and physicist Gabe Perez-Giz offer ambitious content for viewers that are eager to attain a greater understanding of the world around them. Math is pervasive - a robust yet precise language - and with each episode you’ll begin to see the math that underpins everything in this puzzling, yet fascinating, universe.

Previous host Kelsey Houston-Edwards is currently working on her Ph.D. in mathematics at Cornell University.

Пікірлер

  • @thiagof414
    @thiagof4147 сағат бұрын

    Again, I miss this show.

  • @thiagof414
    @thiagof4147 сағат бұрын

    Oh I miss this one…

  • @edwardmacnab354
    @edwardmacnab35411 сағат бұрын

    the plank length disallows an infinitely small piece of any real object and therefore disallows making two objects out of one so maybe get your logic in line with reality before declaring a paradox

  • @markwrede8878
    @markwrede88782 күн бұрын

    The axiom delivers a reset within the hierarchal parameters of some other train of reasoning. It avoids mathematical rigor without account.

  • @Juiim_
    @Juiim_3 күн бұрын

    Fun Fact removing the Axiom of Choice and Replacing it with Hahn Banach will give non measurable sets not Vitali tho

  • @acmhfmggru
    @acmhfmggru3 күн бұрын

    fookin hell I miss Infinite Series. This is golden content.

  • @solaokusanya955
    @solaokusanya9554 күн бұрын

    I don't understand 7:15 , the transition from 1/2 1/2 = to zero because the area is zero?... I don't understand

  • @philipoakley5498
    @philipoakley54985 күн бұрын

    Part of the 'problem' [esp for communicating with the lay person] is that 'infinity' itself isn't that well understood in the first place. The set 'goes on and on' aspect, and the separate 'counting' aspect are distinct concepts that get confounded when the set is the 'integers' that appear to match the countings. The bijection between the positive integers and the evens is between _different_ sets (and their particular orderings). Both sets 'go on and on' in a definite countable order so are of the same 'countable size'. For the rationals, the ordering isn't (for the purpose here) by linear value, rather by one of the diagonalization orders. It is that ordering which makes the set 'countable'. Having decided that one _can_ count the rationals, there is a flip to an order that doesn't appear to have the countable property (but is the same set) that is then used to show that the reals are definitely larger even though we get into the 'alternating' vs 'between' problem of reals and rationals (i.e. reals having smaller infinitesimals that the rationals ;-) If you want to further confuse the issue you get into the 1.000000... being preceded by 0.999999... for some arbitrarily small infinitessimal ! Monty-Hall had it easy.

  • @PasqualeRaso1975
    @PasqualeRaso19755 күн бұрын

    Still looks out of phase!

  • @davidjones3226
    @davidjones32266 күн бұрын

    👍. Great explanation.

  • @Mark8v29
    @Mark8v296 күн бұрын

    Interesting. As a beginner chess player, it seems it would be possible to implement infinite chess online as a game in the same way finite chess is implemented. I understand there is often a rule that if a piece is not captured or there is no check within N moves, where N is specified before the game starts, the game is a draw. So maybe infinite chess with finite N could be implemented or maybe the most up to date chess bot or algorithm would be upgraded to play infinite chess and set to play itself to find interesting infinite chess games and strategies. Or maybe infinite chess puzzles could be implemented?

  • @alextrebek5237
    @alextrebek52377 күн бұрын

    I wish they did category theory before ending 💢

  • @crafti55
    @crafti557 күн бұрын

    I'm so glad that people in my country can be that smart! I hope there will be more people like Maryna! (She's from Ukraine)

  • @GauntletKI
    @GauntletKI8 күн бұрын

    Way better than the woke mind virus info people deal with

  • @alikaperdue
    @alikaperdue8 күн бұрын

    I ca make a tuple theoretic model for the finite surreal numbers. That would be the Dyadics, which are the numbers you find on an old fashioned ruler with imperial divisions (fractions of inches).

  • @j.21
    @j.218 күн бұрын

    a

  • @adriellightvale8140
    @adriellightvale814010 күн бұрын

    The Silver Spin... its power could surpass even the Golden Spin, and the Bronze Spin could surpass the Silver Spin. But how can one go beyond infinity?

  • @TheDuckofDoom.
    @TheDuckofDoom.10 күн бұрын

    This only seems paradoxical on the surface with these artificial examples that seek every mathamatically possible corner case regardless of its probability. In practice, the system is attempting to solve the particular real problems of a specific election involving a population of real people who lack complete information. How often is an anomaly expected for the given parameters, how probable and impactful is a type of strategic manipulation and tactical voting in actual practice? Something that may be plausible for a group of 12 close aquaintences, may be nearly imposible to acheive in a population of 100k strangers, half of which may choose not to vote at the last moment. The normal concern is not so much getting the 1st verses 2nd choice correct but rather avoiding an accidental worst case, or preventing some long term degredation like system capture by one or two groups.

  • @rolanchristofferson9363
    @rolanchristofferson936310 күн бұрын

    I think the set S at 5:02 has measure 0. It's all the rationals between -1 and 1. Since they are the rationals, they can be ordered, and they are countably infinite. Put a little open interval of length a around the first one, a/2 around the second, a/4 around the third, etc. Add up all the lengths, and you get a/(1 - a). You can make a as small as you want, so the measure of the set S is zero.

  • @15silverblade
    @15silverblade11 күн бұрын

    I wish this series back 😢

  • @alansmithee419
    @alansmithee41911 күн бұрын

    "What are numbers made of? [...] Nothing, provided at least that you stipulate nothing exists." Incredible statement.

  • @shaheerziya2631
    @shaheerziya263112 күн бұрын

    What a well produced and great series. Such a shame that they stopped.

  • @DK-fn6xr
    @DK-fn6xr14 күн бұрын

    "We can simulate the second round". If only it was so simple. In reality, other candidates give support to the remaining top two candidates, depending who won the first round. Furthermore, voters tend to not turn up in round two if their preference did not win.

  • @emmanuelpiedra2754
    @emmanuelpiedra275414 күн бұрын

    This is so good. Set theory is such a weird and cool space of research. Is the non measurable aspect of these sets used to understand quantum mechanics? Is the immeasurability of S similar at all the the immeasurability of quantum variables? And could the space of all functions (with the axiom of choice) that you can apply to S generate a set of all possible combinations of all elements? Would that set also be non measurable?

  • @juanpablo2097
    @juanpablo209714 күн бұрын

    Absolutely a great video

  • @supernovaaust
    @supernovaaust15 күн бұрын

    If an infinite series which gets smaller and an infinite series which gets larger meets, does that mean the whole universe exists in each atom of my body? If so, am i god?

  • @supernovaaust
    @supernovaaust15 күн бұрын

    The core problem is: is mathematics a natural phenomena that we are discovering or have we made it up and the structure of our observational reality is reflective of it???

  • @xbz24
    @xbz2417 күн бұрын

    she is very pretty 😶

  • @isaacdevries5841
    @isaacdevries584117 күн бұрын

    If we compare this to wavelengths of light, a sphere would be the colour yellow.

  • @thevladchronicle
    @thevladchronicle19 күн бұрын

    I have seen this video YEARS ago as a teenagers and I am only understanding it fully now that I am taking Computer Organization in college and I suddenly remembered about this video mid-lecture. Thank you PBS Infinite Series for implanting this in my brain until now 😅

  • @dudethethe2548
    @dudethethe254820 күн бұрын

    Finally I found an explanation of quantum computing that kinda makes sense! Thank you

  • @matthewlangley3089
    @matthewlangley308921 күн бұрын

    It seems weird to call S sizeless. Where R, Q, and Z are defined as the number of real, rational, and integer numbers respectively, something with size 1 consists of R/Z total points. We divide this size 1 into R/Q sets of Q/Z points (length Q/R). We pick 1 point (length Z/R) from each of the R/Q sets (Z/R * R/Q) to form S with length Z/Q, which might be evaluated 0 because there are infinite rational numbers for every integer. We then take 2Q/Z copies of S for a total length of 2.

  • @MikeRosoftJH
    @MikeRosoftJH20 күн бұрын

    What on Earth is "Z/R" or "R/Q"? By 'size' here is meant measure - the extension of the notion of length of an interval (or in a higher dimension: area of a shape, volume of a solid body, and so on); and measure of a set is either a non-negative real number, or infinity. The usual definition of measure on real numbers is the Lebesgue measure. So a one-element set definitely has a measure, and that measure is 0. Conversely, the Vitali set doesn't have a measure; the measure can't be 0, and it can't be non-zero. Union of countably many sets of measure 0 has measure 0 (assuming axiom of choice, from which it follows that Lebesgue measure is countably additive). But that says nothing about a union of uncountably many sets; such a set can have measure 0, or a finite positive measure, or an infinite measure, or no measure at all.

  • @prabhatbabu7579
    @prabhatbabu757922 күн бұрын

    4:48 Why cannot I extend the (0,1) semicircle into a 3/4th circle or a complete circle excluding two points to argue that all the real numbers have a one to one correspondence with just the semicircle and I still have infinitely many points left over in the interval (0,1) to show that (0,1) is bigger than the set of all real numbers?

  • @liamroche1473
    @liamroche147323 күн бұрын

    There is an unfortunate inaccuracy around 4:37. The statement is based on the false premise that a game of chess can only be won or lost rather than drawn. But by considering a few closely related games where draws are redefined as wins for one side, we can reach the correct conclusion that either (1) there is a strategy for white to win or (2) there is a strategy for black to win or (3) both sides have a strategy that guarantees at least a draw. Most believe (3) is very likely true, but it has not been proven and doing so appears computationally impractical.

  • @groinBlaster31
    @groinBlaster3123 күн бұрын

    Ever since finding this concept in like, first year math, I found it fascinating!!

  • @petervance6777
    @petervance677723 күн бұрын

    Cute but incomprehensible 🤔

  • @selahattinaydogan3286
    @selahattinaydogan328624 күн бұрын

    According to an article published in May 2024, any number can be divided by zero with a simple elementary school-level operation. According to the article, the operation 50/0 is performed as follows: 50 / 0 = 0 A( 50 ) (A is the exponent above the parenthesis, but unfortunately I couldn't write it here). In this operation, the zero after the equal sign is the value of the quotient and A(50) is the remainder. The proof of this operation is as follows: 50 / 0 = 0 A( 50 ) 50 = 0 x 0 A( 50 ) 50 = ( 0 x 0 ) + 50 50 = 0 + 50 50 = 50 This article examines this issue in detail. It also tries to refute one by one the explanations of why a number cannot be divided by zero. For those interested, information about the articles is below: 1.Article Information Article Title: The problems created by zero in the division operation, their reasons and an attempt at a solution Article Address: www.academia.edu/118447190/The_problems_created_by_zero_in_the_division_operation_their_reasons_and_an_attempt_at_a_solution_S%C4%B1f%C4%B1r%C4%B1n_b%C3%B6lme_i%C5%9Fleminde_olu%C5%9Fturdu%C4%9Fu_sorunlar_nedenleri_ve_%C3%A7%C3%B6z%C3%BCme_y%C3%B6nelik_bir_deneme_%C3%A7al%C4%B1%C5%9Fmas%C4%B1 2.Article Information Article Title: A study to prove that the denominator can be zero in fractional numbers Article Address: www.academia.edu/118448116/A_study_to_prove_that_the_denominator_can_be_zero_in_fractional_numbers_Kesirli_say%C4%B1larda_paydan%C4%B1n_s%C4%B1f%C4%B1r_olabilece%C4%9Fini_kan%C4%B1tlamaya_y%C3%B6nelik_bir_%C3%A7al%C4%B1%C5%9Fma&nav_from=a54f476f-5cf7-4264-ab57-7383abc3d91f&rw_pos=0 (This article has been translated into English with a translation program.)

  • @alexontheweb12341
    @alexontheweb1234126 күн бұрын

    My idea is that S is not Lebesgue measurable but is measurable by another type of measure. For me, the paradox comes from the discretisation of the unit interval. The passage from continuity to the discrete world is the cause of trouble.

  • @MikeRosoftJH
    @MikeRosoftJH21 күн бұрын

    Sure, the set is measurable under the following measure: m(X)=1 if 0.5∈X, and m(X)=0 otherwise. That's a function on the system of sets of real numbers which satisfies the definition of a measure, except for that it's not the case that measure of an interval is equal to its length.

  • @markosskace514
    @markosskace51427 күн бұрын

    Please define Pi? - write down Dedekind cut for Pi?

  • @IllidanS4
    @IllidanS427 күн бұрын

    Is it too early for infinitesimals yet?

  • @joshuascholar3220
    @joshuascholar322029 күн бұрын

    Ok trying to work this out, the number of equivalence classes is c (order of the continuum) divided by ℵ0 (countable infinity), so that is the number of elements in S. c is 2 to the power of ℵ0, so it's 2^ℵ0/ℵ0 which is infinite, but what order of infinity is it? Note that the Lebesque measure of c differs depending on how much space it represents and the Lebesque measure of ℵ0 is zero, different from the number of elements. Anyway it's obvious that to give S a size, you have to extend your number system to include infinitesimals.

  • @MikeRosoftJH
    @MikeRosoftJH20 күн бұрын

    It can be proven: the set of equivalence classes has at least continuum-many elements (by constructing a specific set of continuum-many real numbers, none of which differ from each other by a rational). But can you inject the set of equivalence classes into real numbers? If you say: "yes, by picking a single element from each equivalence class", then you are using axiom of choice. Without choice, it's consistent that equivalence classes can't be injected into real numbers; in other words, it's consistent that a set with the cardinality of the continuum can be split into more partitions than it has elements. I'll give you a simpler example: consider the set of all infinite sequences of digits 0 and 1. Obviously, this set has cardinality of the continuum. Now consider the equivalence relation: A~B, if sequences A and B differ at finitely many positions. How many equivalence classes are there? We're going to split natural numbers into countably many countable sets: S1 is the set of all numbers not divisible by 2 ({1, 3, 5, ...}), S2 is the set of all numbers divisible by 2, but not by 4 ({2, 6, 10, ...}), S3 is the set of all numbers divisible by 4, but not by 8 ({4, 12, 20, ...}), S4 is the set of all numbers divisible by 8, but not by 16, and so on. Now take a sequence of digits 0 and 1: ABCDEF... . For any such sequence we're create a sequence where at positions of the n-th previously defined set there's the n-th number in the sequence; that gives the sequence ABACABADABACABAEABACABADABACABAF... . So this yields continuum-many sequences, none of which differ from each other at finitely many positions; it follows that there are at least continuum-many equivalence classes. But if you want to prove the other relation - that there are at most continuum-many equivalence classes - you need the axiom of choice (by picking a single element from each equivalence class).

  • @Paul-A01
    @Paul-A01Ай бұрын

    My favorite consequence of the axiom is that anything I chose is legit choice function. Just pick your favorite number in the set.

  • @Rebel8MAC
    @Rebel8MACАй бұрын

    Wait so what is even the purpose or usefulness of this concept? Why would we want sizeless sets??

  • @ernststravoblofeld
    @ernststravoblofeldАй бұрын

    And then, a K-pop band started playing Ska, and we all fell into a black hole.

  • @empireempire3545
    @empireempire3545Ай бұрын

    I miss Kelsey...

  • @simpleprogrammer9552
    @simpleprogrammer9552Ай бұрын

    Gerolamo Cardano who lived in the first half of the 16th century and known as the first to publish methods that solved reduced cubics also expressed probability by ratio

  • @jazzabighits4473
    @jazzabighits4473Ай бұрын

    How can you say there aren't ties allowed in Chess when something like 70% of grandmaster games end in ties? lol

  • @user-nj1og6yb7v
    @user-nj1og6yb7vАй бұрын

    Note to self: Matrix starts at 7:27

  • @baerlauchstal
    @baerlauchstalАй бұрын

    Now look at them yo-yos, that’s the way you do it, Mr S Banach, Mr A TarSKI That ain’t cheatin’, that’s the way you do it, Volume for nothin’ and a sphere for free Now that ain’t cheatin’, that’s the way you do it, Lemme tell you that them guys got balls OK, they had to use the Axiom of Choice, You use just ZF and the damn thing falls We got a free group decomposition, Slice the sphere up paradoxicall-y-y-y-y We got to use these two generators, We got to move round in 3d-ee See the little guy with the arccos-one-third rotation, Yeah, man, that’s the x-axis there And now a spin around the vertical just like it, And he can travel close to anywhere We got a free group decomposition, Slice the sphere up paradoxicall-y-y-y-y We got to use these two generators, We got to move round in 3d-ee [x2] I woulda thought if you sliced a sphere up, It wouldn’t matter in how many bits You’d get just one when you put it back together, When the last piece fits But it turns out, guess what? The paradox is, If you choose your subsets carefully It ain’t cheatin’, that’s the way you do it, Get your volume for nothin’, get a sphere for free We got a free group decomposition, Slice the sphere up paradoxicall-y-y-y-y We got to use these two generators, We got to move round in 3d-ee Now that ain’t cheatin’, that’s the way you do it, Use the method of Banach-TarSKI That ain’t cheatin’, that’s the way you do it, Volume for nothin’, a sphere for free Volume for nothin’, sphere for free, Volume for nothin’, sphere for free, [x3] Easy, easy, volume for nothin’, sphere for free (I want Banach-TarSKI), (Volume for nothin’, sphere for free)

  • @Robhp7
    @Robhp7Ай бұрын

    9:00 "As for the Zermelo-Fraenkel axioms, O’Rear created a 748-state Turing machine that halts if and only if ZF is inconsistent. Using busy beaver numbers, we can reduce proving these conjectures to finite-step computations." ( Extracted from "The Busy Beaver Problem" , auths: Ling (Esther) Fu and Sarah Pan. )