The Joy of Why - How Can Some Infinities Be Bigger Than Others?

Episode Date: April 19, 2023

All infinities go on forever, so how is it possible for some infinities to be larger than others? The mathematician Justin Moore discusses the mysteries of infinity with Steven Strogatz. The post How Can Some Infinities Be Bigger Than Others? first appeared on Quanta Magazine

Hello, I'm Brian Cox. I'm Robin Ince, and this is the Infinite Monkey Cage trailer for our brand new series. We've got mummies, we've got magic, we've got asteroids. Mummies, magic and asteroids. What's the link? That it was an asteroid that magically went over the world that led to Imhotep the mummy coming back to life? That's correct. I thought it would be weird, scientific as ever. But the most important thing to know is that we are going to deal with the biggest scientific question we finally ask. What is better, cats or dogs?

Listen wherever you get your podcasts. I'm Steve Strogatz and this is The Joy of Why. A podcast from Quantum Magazine that takes you into some of the biggest unanswered questions in math and science today. In this episode, we're going to be discussing infinity. questions in math and science today. In this episode, we're going to be discussing infinity. No one really knows where the idea of infinity came from, but it must be very ancient, as old as people's hopes and fears about things that could conceivably go on forever. Some of them are scary, like bottomless pits, and some of them are uplifting, like endless love.

Within mathematics, the idea of infinity is probably about as old as numbers themselves, once people realized that they could just keep on counting forever. One, two, three, and so on. But even though infinity is a very old idea, it remains profoundly mysterious. People have been scratching their heads about infinity for thousands of years now, at least since Zeno and Aristotle in ancient Greece. But how do mathematicians make sense of infinity today? Are there different sizes of infinity? Is infinity useful to mathematicians? And if so, how exactly? And what does all this have to do with the foundations of mathematics itself? Joining me today to discuss infinity is Justin Moore, professor of mathematics at Cornell. His research interests include set theory, mathematical logic, and infinite combinatorics,

and their applications to other fields of math such as topology, functional analysis, and algebra. Welcome, Justin. Hey, Steve. Thanks for having me. Yeah, I'm very excited to talk to you. I should say maybe for full disclosure, Justin is my friend and colleague in the math department at Cornell. Okay, so off we go then to thinking about infinity as mathematicians think about it. Actually, maybe before we dive into the math part, let's just talk for a second about the real world because we won't be there for long. Now, am I right that you were once trained in the world of physics?

Yeah, I was a physics double major with math when I was an undergraduate. I kind of got burned out on physics. I started out favoring physics and also being somewhat interested in math more recreationally. And then somehow through the course of it, got more interested in the math and the physics. Okay. Well, what about the physics of infinity? Does it even make sense? Is there any infinite stuff in the real world that we know of? You know this video, Powers of 10, that was created by Charles and Ray Eames,

where basically every 10 seconds you're a power of 10, you know, every, I think it's every 10 seconds, you're a power of 10 smaller, or, well, at first, I think a power of 10 bigger, you zoom out, and then every 10 seconds, you're a power of 10 smaller. And you go from the, you know, the largest scale of the universe down to the smallest scale of subatomic particle. You know, this was made back in, I want to say the late 70s or early 80s. And I think our understanding of some things has evolved a little bit since then, but not tremendously. But I mean, the point is, is there about 40 powers of 10 that separate the smallest scale of length from the largest scale of length?

And maybe you can be generous and throw in several extra powers of 10 just for good measure. But it's fair to say that there's nothing that you can measure in physics that is larger than 10 to the 100 or 10 to the 200 or something like that. And maybe our concept of things being continuous, continuous motion or whatever, maybe this is all just an illusion. Maybe everything is really granular and finite. But what is true is that certainly physicists have discovered a lot about the world we live in by imagining that things are smooth and continuous and that infinity makes sense. A lot of the issues that mathematicians have with this boil down to the physicists are sort of treating infinity in various sort of cavalier ways and subtracting infinities from infinities and maybe not being as accountable for it as a mathematician would like them to be. I don't think that that's really a controversial statement. I think a physicist would – most physicists would probably – I mean, okay, maybe you would know better.

But I believe most physicists would say that that's a fairly correct statement. So in terms of your own personal story, I promise I won't go too deep to embarrass you on this, but what was it that drew you to infinity? Was it somehow that physics felt too small for you or you just liked the rigor of math or? I mean, I think I got interested in math as a whole and grew away from physics before I got interested in set theory specifically. Ironically, it was because I, well, if you take a physics class, at some point you end up being fairly fast and loose with the mathematics. And you're either okay with that or you're not. I was one of the people who wasn't okay with that. Ah, yeah. And I was one that was okay and I'm still doing it. You know, I mean, those things haven't worried me too much, although I do respect the care that the intellectual

integrity that pure mathematicians have, you know, worrying about these things. Okay. So suppose I were just, I don't know, like a curious teenager and I don't even know what infinity is. What would you say it is? Should I think of it as a very big number? Is it some symbol? Is it a property? What's a good way to think about what infinity is? Yeah. I mean, I guess it can be an idealized point at the end of the line, right? It can be a formal symbol. You can think of it kind of the way a formal symbol in the same sense as, say, we introduce negative one. And I remember when I was a little kid, the teachers wouldn't be willing to make it clear whether it was safe to talk about negative numbers. And that sounds silly in hindsight, but at some level, does negative one exist in the real world? But you can formally manipulate it, and you can formally manipulate infinity at some level,

but you have to maybe exhibit a little bit more care. You can also use infinity as a means of quantifying how many there are of something. And that kind of opens more doors there because you can talk about there being infinite sets, some of which are larger than others. Okay. All right. So you've mentioned this word sets, and we're going to certainly be talking a lot about sets today. I did say that your interests include set theory. Do you want to say any more about what you mean by a set? I guess the answer is both yes and no. So I think it's okay to fly by the seat of one's pants and just kind of view it as just an undefined notion and use it

kind of intuitively. But it also was sort of used as a mechanism to kind of provide the foundations for mathematics when people realized that we needed to make some careful foundation of what mathematics is. That's interesting because, you know, so like as little kids, we learn to count on our fingers or our parents probably start saying words and then they might point at things and say one, two, three and we learn sounds. Kids like that when they're very little. I know, right? I mean if you have little kids yourself or relatives. Yeah.

So there's that side of things and I think most people would imagine that numbers are the foundation of math. most people would imagine that numbers are the foundation of math. But you're saying, and I think most mathematicians would agree, that there's something even deeper than numbers, which is this concept of sets. Right. I think the concept of set kind of came about as a foundational concept because it's so basic and so primitive. And if you're wanting to kind of have something to use as a fabric for mathematics, you want to start out with something where its basic properties seem sort of very primitive and then start from there. And then the idea is that you then use sets to encode things like the counting numbers and things like the rational numbers and the real numbers and so on. And then from there, all sorts

of other more complicated mathematical constructions like manifolds or whatever. So I can remember in the Sesame Street episode that I used to watch with my kids. It was in a movie, I think it was, that there's a character who was ordering fish for a room full of hungry penguins. And he asked the penguins to call out and they say, fish, fish, fish, fish, fish, fish. And so then the waiter calls down to the kitchen, fish, fish, fish, fish, fish. And then somebody else says, no, you got that wrong. And someone else says, well, why didn't you just say they

ordered six fish? But it makes the point that this idea of a number kind of comes after this collection of objects of fish. And then another character is that this idea of a number kind of comes after this collection of objects of fish. And then another character is surprised and says, does it work for spark plugs and cinnamon rolls? I mean, I think also it's just if you're interested in trying to understand, can you prove this or can you prove that? And you're trying to set up the rules for how you would prove things or whatever, you would like to kind of have the basic principles be as simple as possible. And so rather than try to write down rules for how arithmetic works, you start by writing down simpler rules for simpler things and then build arithmetic out

of these more basic building blocks. Okay. So then, and this reminds me of new math too, as a kid in the 60s, we used to be learning about intersections and Venn diagrams and unions, right? That was the beginning of set theory. They were teaching it to us in, I don't remember, it was second or third grade. My parents didn't know why. But it was, I guess, mathematicians of your type or others who thought kids should learn sets neither before or at the same time that they're learning about arithmetic. Yeah. Most of what people study in set theory, I mean, these days is really how infinite sets work because our intuition about infinite sets isn't as good as our intuition about finite sets.

And I think that's a lot of why the drive for foundations was there was in part because we would like to write down, okay, what are we fairly sure should be the properties of infinite sets and one sets in general, and then try to develop what is true about infinite sets from there. Okay. So why don't we have a few examples? Could you tell me some examples of things that are infinite sets? Well, like the natural numbers, like you were saying, like 1, 2, 3, 4, 5, 6, 7, 8, and so on. But also things like the rational numbers, you know, fractions like two natural numbers over each other, maybe a negative fraction. But then there are also things like the real numbers where, you know, anything that you can express with a decimal, including things like pi and e. So they could have infinitely many digits after the decimal point.

Yeah, yeah. Infinitely many digits. They don't have to repeat. Uh-huh. And what about things like shapes or points or, you know, geometric things, not just numerical things? Yeah, yeah. You can talk about collections of geometric shapes too. Okay.

So this is a nice feature of sets that we can, with sets, unify or at least have a common language for talking about arithmetic, geometry. Right. have a common language for talking about arithmetic, geometry. I suppose we could talk about a set of functions if we were taking a pre-calculus course, like the set of continuous functions if we were in a calculus course or whatever. So yeah, so this gives us a common language for all different parts of math. But it's a relatively new idea as a foundation of math in terms of the overall history of math, wouldn't you say? Yeah.

I mean, well, modern mathematics as we know it's about somewhere between 100 and 150 years old. But I usually associate it around the first part of the last century was when really we started to see all of the major parts of mathematics as we know them today start to develop and really become distinct subjects of their own. And that was also around the same time as Russell discovered his paradox, which kind of spurred the need for some sort of rigorous foundations for mathematics. Uh-huh. We should mention, yeah, so Bertrand Russell we're talking about now is often better known as a philosopher or a pacifist. And yet he was quite a strong mathematician and logician, someone interested in logic as a part of math.

Yeah, yeah. So as you say, he was one of the people who helped get set theory really rolling. And even before him, there was this gentleman, Georg Cantor, who we'll be talking about quite a bit in Germany in the late 1800s. Okay. So how within math, let's say, do mathematicians use infinity? You mentioned how helpful it can be. Where does it get used? Yeah.

So, I mean, in a calculus class, it's a useful symbol for doing certain calculations, talking about how function behaves as the input becomes very large. You can talk about the limit at infinity or ratios of quantities as a number goes to zero or infinity or something like that. That's a notion of infinity that's kind of in the first sense that I mentioned, where you kind of view infinity as an idealized point kind of at the end of the line. But you can also talk about it as, you know, you can talk about counting the number of elements of some collection or some set and keeping track of either, you know, how many finitely many elements it has or maybe if it has infinitely many elements,

trying to distinguish maybe between different sizes of infinity. I mean, everyone understands or pretends to understand the distinction between being finite and being infinite. And I think Cantor's remarkable discovery was that you can, you know, for an infinite set, you can make further distinctions. You can distinguish between it being what's called countable and what's called being uncountable. Or even just in general, higher uncountable cardinals than distinctions between different uncountable cardinals. So, okay, let's go there because this really takes us into the heart of our subject. I think the average person hearing the word countable for the first time might think it

means literally countable, like something that has 10, you know, if there's 10 spark plugs on the table, I could count them 1, 2, 3, up to 10. But you and other mathematicians use countable to mean something a little different than that. It just means that you can assign a natural number to each element of the set so that no natural number gets used twice. So something can be countable and infinite. And infinite. So the natural numbers are obviously countable because they count themselves. But maybe a little bit less obvious is that the integers, including the negatives of the natural numbers, that those are countable. So let's talk about that for a second. So if a

person hasn't thought about that before, it's interesting. So you said you're going to consider all the numbers, all the positive integers, all the negative integers, and zero. And you could do it wrong. Like if you started at zero and started counting to the right and you go zero, one, two, three, you'd never get back to the negative numbers. Yeah. So then you would have failed to count all the integers. Yeah, yeah. But what should you do instead?

But what you can do is you can count zero, one, negative one, and then two, negative two, three, negative three, four, negative four, five, negative five. And if you list them in this way, then you eventually list everything. Beautiful. So this zigzagging argument where you're hopping back and forth between the positives and the or 5, negative 5. And if you list them in this way, then you eventually list everything. So this zigzagging argument where you're hopping back and forth between the positives and the negatives is a nice organized systematic way to show that if you think of any integer, eventually it will be on the list. Yeah, yeah. So that's great.

So, okay, so the integers are countable. Cantor also discovered some other things were countable that were, I don't know if he was surprised, but a lot of us are surprised when we first learn about it. Like what? Yeah. I think two good examples that are surprising are the, first, the rationals. So the collection of all fractions of two integers are countable. That's actually pretty easy to see when you think about it because you can just list all fractions with denominator one or numerator and denominator absolute value at most one and then at most two, at most three, at most four. At each stage, there are only finitely many fractions where the numerator and denominator

are at least in magnitude at most n and then you can exhaust all of the rationales that way. So like if I were picking the number n to be 3, you're saying I could have a number like 1 half or 2 over 1 or 0 over 3 because the numerator plus denominator add up to 3? Yeah. Another one which is, again, kind of surprising is if you take the number of words that you can write down in sort of the Latin alphabet or any alphabet that you like, there are at most countably many finite words or finite strings of symbols coming from this alphabet. If you think about all words or all sentences, all pieces of literature, if you like, anything which not only exists now but could potentially exist in some time in the future. You put those infinitely many monkeys at the typewriter and look at what the outputs are that they could generate in a finite amount

of time. That's all just a countable set. Wow. So all possible books in all, let's say, in all possible languages that we know? In all possible languages, yeah. I mean, if you even like, you can have a countable alphabet if you like. That doesn't make anything any larger. So countable would seem like a very big infinity, and yet— Yeah. The first surprising thing is that those sets that seem to be larger than the natural numbers actually are the same size as the natural numbers. They're countable.

But then there's the other surprise, which is that the real numbers, the set of decimal numbers, are uncountable. So there's this remarkable point that you've been mentioning that there can be sets that are not countable. And I guess maybe the simplest example would be think of a line that goes off to infinity in both directions. So like an infinitely long straight line, the real line as we would call it. That is uncountable? Right. That is uncountable? Right.

If you hand to me a list, a purported list of all the elements on that line, there's a procedure called the diagonal argument, which allows you to produce a new point that's on the line but not on your list. That was Cantor's famous discovery. So that was a really totally astonishing discovery, I guess, at the time, right? That now you could suddenly talk about two infinite sets and compare them. Yeah, yeah. And the distinction between countable and uncountable is a really useful one in math. Basically, countable sets, you can still talk about sums which are of countably infinite length. That's something which gets taught at the standard end of a second semester calculus course. Whereas sums over uncountable sets are less meaningful,

at least you have to define them in a kind of a more delicate way. That's something more along the lines of an integral or something like that. Okay. So now that we have this distinction of countable, like the whole numbers, one, two, three, four, five, and uncountable, like the points on a line, there's another question, which I think would be good if we could spend some time on that, called the continuum hypothesis. Could you tell us what that is? Yeah. So Cantor wondered, is there something in between? The natural numbers sit inside the real numbers, and the natural numbers are countable. The real numbers are uncountable and larger than the natural numbers. Is there a set of real numbers which is larger than the natural numbers,

but smaller than the- Yeah, smaller in the sense of counting. Smaller than the line. Is there a set of points on that line, on the number line, which is larger than the natural numbers, larger than the rationals, but smaller than the whole line itself? The assertion that there is no such intermediate set is called the continuum hypothesis. And that was Hilbert's first problem, whether the continuum hypothesis is a true or false statement. So Hilbert was a great mathematician of this maybe a little bit later generation, but not much later. And in the year, what, was it 1900 or so?

I think he announced or gave a list of what he thought were some of the greatest problems for the future, at that point, 20th century mathematicians to work on. And I think, is this the number one question on his list? Yeah, this was the number one question. Yeah. So it was big to think about this. Cantor, you say, called it a hypothesis. He thought it was going to turn out to be true. Yeah.

That there was no infinity sandwichable between those two that he already knew about. Yeah. And the thing is, it survives the test of looking for counterexamples. I mean, if you start looking at all of the sets of reals, subsets of the line that you can write down a description of or that you can construct by some means, he tried this and he proved, I mean, well, and he showed that they aren't counterexamples.

There are even theorems early on that say that sets of this or that type can't be counterexamples. Oh, that's amazing. Let me make sure I get this. I've never heard this statement. Just the mere fact that some of them are describable makes them, in a sense, not good enough. For instance, a set which is closed has all of its limit points. Cantor proved that this can't be a

counterexample. It's either countable or it has the same size as the reals. So if there is a counterexample, it has to be indescribable. Yeah, it has to be complicated. Wow. But of course, it's possible there is one, just that it'll be some really bizarre thing. Yeah. So that kind of brings us to something that getting back to this foundational question, you know, around that time, they were starting to try to formalize what the axioms for mathematics were. And sometime later around the, you know, in the 1930s, Gödel proved that actually any sort of intelligible axiom system that you might have that attains

the modest goal of formalizing arithmetic on the natural numbers is necessarily incomplete. There are statements that you can't prove from this axiom system and you can't refute them from the axioms using sort of standard finite proofs. And this was, I think, pretty shocking because it tells you that the goal of somehow kind of algorithmically trying to settle all your problems in mathematics and produce some sort of algorithmic foundation, you know, some complete foundations of mathematics is in some sense doomed, or at least has to be governed by some higher intuition beyond just, I don't know, what was available at the time.

And what Gödel proved, one of the things that he proved later was that one of the statements that you can't prove or refute is the statement that your axiom system is consistent in the first place, that it doesn't lead to any contradictions. That statement can be coded as some sort of statement about number theory, about arithmetic on the natural numbers, but not in a particularly natural way. If you go and talk to one of the number theorists in the department, they wouldn't regard that as a problem or a statement in number theory, even though technically it is. And so it was a question that kind of was left from Gödel's time was whether the continuum hypothesis or whether there's some other natural

mathematical statement, which is undecidable based on the axiom system that we were working within. So there's this concept of axioms. We should probably try to remember what those look like, because if we're doing very careful math, we have to lay down some definitions, but also some things that we take, I don't know, I don't want to say we take for granted, but that we accept as bedrock. Yeah, yeah. So this is, I mean, this is something that the Greeks did. That was, you know, one of the achievements in formalizing geometry was to, rather than try to define what geometry is, sort of view it as you are going to write down a few undefined terms

and then write down the rules or axioms that govern how these undefined terms behave. For them, it was things like a point and a line. And when a point is on a line, those are the undefined concepts. And when a point is between two other points on a line, those are undefined concepts. And then you write down a set of axioms that govern how these concepts work. And if you've done it right, then everyone agrees that these properties are obviously true of these things. And so therefore, these axioms are things which are sort of self-evidently true. So for geometry, there's this famous parallel postulate, which you couldn't derive it from

the other ones. And it was somewhat revolutionary when it was discovered that you can actually construct models of geometry which satisfy all of the axioms, but not the parallel postulate. And therefore, the parallel postulate is not provable from the other axioms. So in some sense, what Gödel had done is develop a method for doing that, but at the level of models of mathematics, or at least models of this axiom system that we have for mathematics. Uh-huh. Well, that's an interesting way to say it. So like where we have Euclidean geometry,

and then we also have these more newfangled non-Euclidean geometries, which famously Einstein used in general relativity, but they get used in other places too. And they're logically as good as Euclidean geometry. But now, instead of just talking about geometry, you're saying it's sort of like we could have the traditional, well, I'm not sure what the words are. What's the analog of Euclidean geometry? Is there traditional mathematics? That's an open question. I mean, I think it's partly a philosophical question. Maybe it's a sociological question because it's a matter of what is mathematics, right?

It comes back to that basic question. And I think that the axioms that we have, the ZFC axioms, which were developed a bit over 100 years ago, are ones which we kind of generally agree that these are true or these are properties that set should have. But they're not complete. Well, let's unpack all of that. That sounds good. So ZFC, why don't we start with that? Those are the names of some people and a thing. Yeah, yeah.

Zermelo-Fraenkel set theory with something called the axiom of choice, yeah. Okay, and so those are rules of the game that are widely accepted. Yeah, it's a list of axioms that are, it's rather lengthy, but not that lengthy. Things like if you have two sets, there's a set which has both of them as their elements, the pairing axiom.

You can take the union of a collection of sets and that's a set and so on. Okay, so there's the ZFC way of doing set theory You can take the union of a collection of sets and that's a set and so on. Okay. So there's the ZFC way of doing set theory and that's, you say, proposed at a certain time and people like it. But then you said it's not complete. Yeah. So it is something that you can write a computer algorithm to list the axioms.

It's an infinite set of axioms. But with the exception of two sort of clusters of axioms. It's an infinite set of axioms, but with the exception of two sort of clusters of axioms, it's finite. If you are not paying attention, you would actually think that each of these other clusters of axioms are single axioms, but they're actually kind of an infinite family of axioms. You can generate a computer program which will sort of spit out all of the axioms. We tend to believe that ZFC is consistent because we haven't discovered any contradictions. tend to believe that ZFC is consistent because we haven't discovered any contradictions. If you believe that, then by Gödel's incompleteness theorem, ZFC is not going to be able to prove that it's consistent. And so there are statements such as the consistency of ZFC that ZFC can't

prove. That's an interesting point because, again, we believe that ZFC is consistent. And that's, I mean, one of the reasons that, I mean, most mathematicians, their going to work is based on the faith that ZFC is consistent, right? But that's something that we kind of regard as a true statement, but it's not something that ZFC itself is sufficient to prove. I'm just thinking along the way here, we've been mentioning Gödel. I don't know that we've said who he is. Do you want to tell us briefly? Yeah, he was, I mean, he was kind of a revolutionary logician. The incompleteness theorem was one of his major achievements.

His other major achievement was to show that the continuum hypothesis cannot be disproved using the ZFC axioms. Some people think of him as the greatest logician since Aristotle. And Einstein, who was his friend and colleague at the Institute for Advanced Studies said he loved having the privilege of walking to work with Kurt Gödel. I mean he was in the same intellectual league with Einstein. If you haven't heard of him, I recommend you look at a book about him called Journey

to the Edge of Reason, terrific book about Gödel's life. But OK. So he's a mid-20th century or early 20th century logician. And you say he proved that, say it again about the continuum hypothesis? Within any model of set theory, he constructed a smaller model of set theory, which satisfies the continuum hypothesis. And so what that shows is that you can't disprove the continuum hypothesis within the axiom of set theory. From one model of set theory, if you have one, then I can produce a new one which satisfies the continuum hypothesis.

I see. So there could be versions of set theory, sort of smaller versions, that are still adequate to do arithmetic, I take it. Yeah. But in which, OK, the continuum hypothesis is true just like Cantor guessed. Yeah. And then but, then there's a big but to this story. Yeah. But in which, okay, the continuum hypothesis is true, just like Cantor guessed. Yeah. And then, but, then there's a big but to this story. Yeah. So many, many years later, Cohen developed a technique called forcing that allowed him

to enlarge models of set theory. And using this, he proved that you can't prove the continuum hypothesis. His technique can also be used to prove that you can't prove the continuum hypothesis. His technique can also be used to prove that you can't refute it. This technique called forcing is really, it's very powerful. Forcing and the technique of building a smaller model within your model of set theory, these are the sort of two tools that we have for building new models of set theory from old models of set theory. Going back to the geometry analogy, I mean, even these models of the hyperbolic plane, which were the non-Euclidean models of geometry, those themselves start by taking the Euclidean plane or a subset of it and building the model

of geometry, like the points and lines there. The points are just ordinary points on this disk, and the lines there are circles and certain circles in the original geometry. The point that I'm trying to make is that this is a kind of a fruitful thing you do in mathematics. You oftentimes start with some structure that satisfies your axiom system, like a geometry that's satisfying your axioms of geometry, and you manipulate it somehow and produce a new thing, which maybe satisfies a different set of axioms. That's what Cohen and Gödel were doing, was they were taking a model of the axioms of set theory, and therefore, in some sense, a model of mathematics, and manipulating it using various techniques to produce new models which satisfied either that

the continuum hypothesis is true or that the continuum hypothesis is false. Peter Robinson So this is really amazing to me and I'm sure to many people that – you know, like Plato has this philosophy that there are certain ideal forms out there and truths that maybe we can't see them here on Earth but in some platonic realm, their truth exists. And you kind of would feel like the real numbers exist, whether human beings think about them or not, and that the continuum hypothesis is either true of the real numbers or it's not.

But you're telling me— Well, I mean, yeah, there are different schools of thought on this. I mean, you can view it as, you know, there's this thing that I think goes under the name the generic multiverse view, that there is nothing more that you can say. There are just all of these models of set theory, and the best that we can do is try to understand what's true in each of them and move around between them. And that's a very kind of non-platonic view of things, a kind of formalist view of things. You might also take the viewpoint that there's some maybe preferred model of set theory that is,

you know, the reality that we live in. And in all of these other models, they're models of the axioms, but they're not really what we're trying to describe with the axioms. I think the analogy with geometry is somewhat illustrative there, right? I mean, you can produce many different models of geometry, but we still live in a physical world that has a geometry. And maybe that's the geometry that we most care about. I see. So in the same way that we could give Euclidean geometry some preferred status because it's the one we're used to, it's the one that's been around long because it's sort of the easiest and most obvious.

Right. it's the one we're used to. It's the one that's been around long because it's sort of the easiest and most obvious. But we still think these others are good and they have their domains where they're useful and interesting. But maybe the thing that's worth pointing out there too is that even our understanding of, well, first, I'm not sure that we live in a Euclidean geometry, but there's a question about that. But even our understanding of the physical world is greatly enriched by understanding all of these other geometries, kind of this free exploration of other models of geometry. And the same is true with set theory. I think even if in the future we settle on some consensus as to what is a new axiom for set theory, arriving at that destination is something that surely will not have been possible without all of this exploration that occurs beforehand. What would proving or disproving the continuum hypothesis mean for each of these camps? What's

at stake? Yeah, that's okay. So I think the camp that takes this sort of all-worlds viewpoint just would say that this is a meaningless question, that Cohen and Gödel and their techniques for building lots of models of set theory is kind of the end of the discussion. And we're going to produce lots of new models of set theory maybe, but we're never going to have a final answer for saying that the continuum hypothesis is true or false. The people that take the viewpoint that there is some sort of truth or falsity to that statement would presumably try to come up with some new axiom and presumably some heuristic justification for why this axiom should be true, either heuristic or maybe a pragmatic justification for why it's true.

And then once you argue that this axiom should be accepted, that it somehow encapsulates some intuition we have about mathematics or sets, then if this axiom also proves or disproves the continuum hypothesis in a sort of formal sense of the word, then you would view that CH is true or false. And so that's sort of where we are now, that there really are these two camps at the moment. Yeah. To a degree, it's been so long since the continuum hypothesis was shown to be undecidable based on the axioms that I think most mathematicians have kind of gotten used to the fact that maybe that's the most that you can say. And I think it would be kind of amazing at this point if mathematicians as a

whole could kind of rally around some new heuristic that everyone could agree upon ought to be true. And maybe that will never happen. Maybe the community is too many different viewpoints in it. To be fair, I think it's somewhat of a consensus view, but not a universal view that ZFC is the set of true axioms for mathematics. There are certainly people that take the view that anything infinite just doesn't exist and it doesn't make any sense to talk about and we shouldn't be talking about it. Well, that's a time-honored tradition. I mean, Aristotle was telling us, watch out about infinity. And throughout history of math, people even as great as Gauss were very careful about this concept of completed infinity, which is what Cantor opened up this can of worms for us. But I don't know that it's worms. It seems like it's, you know, what's the harm?

It's that we're letting our imaginations go and discovering a lot of interesting things. But I do have a question as someone who's not a set theorist. I don't want to ask it in an impolite way, but it might come out sounding a little impolite, which you know where I'm going, right? Like, how does this affect me? Does the rest of math feel the vibrations that are happening within set theory, or are we sort of insulated from what you guys are doing? That's a good question.

I think most mathematicians never encounter a statement which is neither provable nor refutable within the usual axiom system for mathematics within ZFC. And the set theorists have, to a degree, discovered an explanation for that. There's a model of set theory which is larger than Gödel's original model, but smaller than the universe of all sets called Solovey's model, that Solovey discovered around the time of Cohen's work. And the remarkable discovery is that this model, what's true in it, can't be influenced by forcing. And therefore, essentially, if you can phrase something about what's true in that model or false in that model, it's something which is largely immune to independence phenomenon.

false in that model. It's something which is largely immune to independence phenomenon. Now, the catch is that this model of set theory does not satisfy the axiom of choice. So the axiom of choice is, this is another can of worms here, but one of the reasons why the axiom of choice is kind of different from the other axioms is that it's not constructive. All of the other axioms tell you that some set that you have a description of is in fact a set. That's just how the axioms work. But the axiom of choice tells you that given a collection of sets that are non-empty, you can select something from each one of them, hence choice. But it doesn't tell you how you're going to make the selection. This was an axiom that on one, allowed us to construct all kinds of weird

paradoxical things, you know, I guess in the ballpark of 100 years ago or so, like non-measurable sets, you know, whatever that is. There's this famous decomposition of the sphere, that Bonn-Oktarski paradox, that you can cut the sphere into finitely many pieces and then reassemble them into two spheres that are the same dimensions of the original sphere. And now the reason why this is absurd is that, you know, you ought to be able to assign a mass to each of the, you know, to the original sphere. And then assign a mass to all these pieces that you can cut it up into. And those ought to add up to the original mass. And then when you rearrange them, that process shouldn't change the mass, but somehow when you reassemble them, you have twice the mass that you started out with.

Now, the point in that argument where things go wrong is that this cutting up of the sphere that the axiom of choice allows you to do is so bad that you can't assign masses to these pieces that you have. Now, that paradoxical behavior led people to think that the axiom of choice is somehow perhaps problematic. Maybe it's going to lead to some sort of paradox within mathematics itself, and therefore the axiom of choice shouldn't be accepted. One of the things that Gödel proved at the same time as he proved that you can't disprove the continuum hypothesis is that it's also safe to assume the axiom of choice.

That is, if the axioms of ZF without the axiom of choice are consistent, then so is the set of axioms of ZF with the axiom of choice. It gives you a lot of weird exotic things maybe, but from a foundational point of view, it doesn't pollute the water. Sometime later, there was the discovery of this thing called Zorn's Lemma, which turned out to be equivalent to the axiom of choice. And it's really very fruitful for developing a lot of different branches of mathematics. It's something that you learn about it if you're an advanced undergraduate or if you're a graduate student in math. It's somehow

part of just the required learning for a graduate degree in math. And because of this extreme utility, it's something that we just accept these days. I think most mathematicians are not comfortable working without the axiom of choice just because in many cases, they might be using it without even knowing it. So I think this is also an instance of how we might settle the continuum hypothesis is that we discover some axiom in the future, which is so useful in developing mathematics further, that we just regard this axiom as being true. To a degree, that's what happened with Zorn's lemma and with the axiom of choice. It wasn't something that was initially viewed as true. In fact, it was sort of initially viewed with some skepticism. But let me see if I can, since it does, we've been talking now a lot

about the axiom of choice, its relation to the continuum hypothesis. Is there a pithy way to say what that is? You know, the axiom of choice and the continuum hypothesis have kind of a curious relationship because they, okay, the continuum hypothesis from a set theorist's point of view, it allows you to construct a lot of exotic things. It allows you to do a kind of an infinitely long, even uncountably long construction where you're doing everything at a very controlled way, kind of an algorithmic way, and building some weird object where you've maintained a lot of control along the way. In the absence of the axiom of choice, the continuum hypothesis, as I stated it originally,

that there's no set of reals which is intermediate, that's something which, it doesn't have the same bite as if the axiom of choice is true. And the reason for that is that, for instance, in the absence of the axiom of choice, you can talk about even stronger versions of the continuum hypothesis, like every subset of this number line, the real number line, is either countable or there's a copy of the Cantor set that lives inside of it. Like there's a kind of a tree of points, a binary tree of points that sits inside of your set. And this is a very kind of concrete way of saying it has the same size as the real numbers. So for the rest of us in math outside of set theory, should we be losing any sleep over the what seems to be kind of indeterminate status at the moment of the continuum hypothesis?

We're told it's undecidable in the standard model of set theory. You know, does it matter? Does it affect the rest of math? The answer mostly is no, does it matter? Does it affect the rest of math? The answer mostly is no, but it's not entirely no. The continuum hypothesis, it's true in the Solovey model, for instance. Every set of reals is either countable or there is a closed set of reals inside, which is uncountable and has no isolated points. But there are statements that show up in mathematics,

questions that show up naturally, kind of organically in other fields, where it turns out that they are dependent on either the continuum hypothesis or something else which is independent of the axioms of ZFC. One example of this is there's something called a medial limit, which is a device that is useful in probability in some parts of probability for taking limits of things and still maintaining that things are measurable. Medial limits are something that you can construct using the continuum hypothesis, but they're not something that you can build in ZFC. This makes me happy, I have to say. I mean, I want to believe that math is one big web and that no, you know, like there's that old saying, no man is an island from whoever. I don't know. But anyway, I don't want any part of math to be an island.

So I would hate to think that set theory is somehow some – I mean no one would say it is. But even the part that contains the continuum hypothesis, I don't want that to be divorced from the great continent. And it sounds like it's not. Right. If you take a Hilbert space and you look at the bounded operators and the compact operators, these are well-studied algebras of objects that are studied in mathematics.

You can take a quotient of them. Studying what's called the automorphism group of that is something that a mathematician might ask about and indeed Brown, Douglas, and Fillmore asked about that in the 1970s. And it's known that whether the continuum hypothesis is true or false is related to whether there are very complicated automorphisms of that algebra or not. That's something that is a standard object in a functional analysis course that you would

teach at the graduate level. And these are sort of very, very basic properties of this object. But the point is, is this is something that's not, on the face of it, this is not a problem in set theory. Different set theorists have different takes on like why the subject is important. But to me, this is why the subject is what it's important for, is that it plays this unique role of being able to let you know when you're asking a question that might not be decidable based on the axioms because you don't want to be studying this problem that you can't decide without any success for years and years and years. If someone can tell you that, oh, well, you're never going to actually come up with a solution to that problem because you can neither prove nor refute that, right?

That's a good thing to know. All right. you can neither prove nor refute that, right? That's a good thing to know. All right. Well, to me, this is a very uplifting message you're giving, Justin, that, okay, John Dunn, that's the name I was looking for, John Dunn. And let's say it this with a modern way. No person is an island.

And the same with no part of mathematics. There is even the most esoteric seeming things on the outer reaches of set theory are still linked in to very down-to-earth parts of math in probability, in the functional analysis that underlies quantum theory. So this is news to me, and I just want to thank you for enlightening us. This was fun. Thanks for having me. Explore more math mysteries in the quantum book, The Prime Number Conspiracy, published

by the MIT Press. Available now at Amazon.com, BarnesandNoble.com, or your local bookstore. Also, make sure to tell your friends about this podcast and give us a positive review or follow where you listen. It helps people find The Joy of Why. The Joy of Why is a podcast from Quanta Magazine, an editorially independent publication supported by the Simons Foundation. Funding decisions by the Simons Foundation have no influence on the selection of topics, guests, or other editorial decisions in this podcast or in Quantum Magazine. The Joy of Why is produced by Susan Vallett and Polly Stryker. The Joy of Why is produced by Susan Vallett and Polly Stryker.

Our editors are John Rennie and Thomas Lin, with support by Matt Karlstrom, Annie Melchor, and Zach Zawitsky. Our theme music was composed by Richie Johnson. Julian Lin came up with the podcast name. The episode art is by Peter Greenwood, and our logo is by Jackie King. Special thanks to Burt Odom-Reed at the Cornell Broadcast Studios. I'm your host, Steve Strogatz. If you have any questions or comments for us, please email us at quanta at simonsfoundation.org.

Thanks for listening.