The Joy of Why - How Do Mathematicians Know Their Proofs Are Correct?

Episode Date: July 13, 2022

Just as scientists test hypotheses, mathematicians prove or disprove conjectures. But what makes a proof stronger than a guess? What does evidence look like in the world of mathematics? Hear ...Melanie Matchett Wood, professor of mathematics at Harvard University, explain how probability helps to guide number theorists toward certainty.

Transcript
Discussion (0)
Starting point is 00:00:00 Daniel and Jorge Explain the Universe is a podcast about, well, everything in the universe. Do you want to understand what science knows about how the universe began and what mysteries remain? Are you curious about what lies inside a black hole? And if we'll ever know, Daniel is a physicist working at CERN who actually knows what he's talking about. And Jorge asks all the questions that pop up in your mind as you listen to make sure everything is crystal clear. Listen to Daniel and Jorge Explain the Universe on the iHeartRadio app, Apple Podcasts, or wherever you get your podcasts. I'm Steve Strogatz, and this is The Joy of Why.
Starting point is 00:00:38 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 talking about evidence in mathematics. What kinds of evidence do mathematicians use? What leads them to suspect that something might be true before they have a watertight proof? It might sound like a paradox, but it turns out that reasoning based on probability theory, the study of chance and randomness, can sometimes lead to what mathematicians are really after, which is certainty, not just probability. For example, in the branch of math known as number theory, there's a long history of using randomness to help mathematicians guess what's true. Now, probability is being used to help them prove what's true. We'll be focusing here on prime numbers. You probably remember prime numbers, right? You
Starting point is 00:01:30 learned about them at school. A prime number is a whole number greater than one that can only be divided by one and itself. For instance, 7 or 11, those are prime numbers, but 15 is not because 15 can be divided evenly by three or by five. You could think of prime numbers as sort of like the elements in the periodic table of chemistry in the sense that they are the indivisible atoms that make up all the other numbers. Prime numbers seem like they should be simple, but some of the biggest mysteries in math are questions about prime numbers, in some cases, questions that have been around for hundreds of years. There's really something very subtle about primes. They seem to live in a borderland between order and randomness.
Starting point is 00:02:17 My guest today will help us understand more about the nature of evidence in math, and especially how and why randomness can tell us so much about prime numbers, and why models based on probability can be so useful at the cutting edge of number theory. Joining me now to discuss all of this is Melanie Matchett-Wood, professor of mathematics at Harvard University. Welcome, Melanie. Hi, it's good to talk to you. It's very good to talk to you. I'm a big fan. Let's talk about math and science in relation to each other because the words often get
Starting point is 00:02:51 used together. And yet the techniques that we use for coming to proof and certainty in mathematics are somewhat different than what we try to do in science. For instance, when we talk about gathering evidence in math, how is it the same or how is it different than gathering evidence by the scientific method in science? A mathematical proof is an absolutely airtight, complete logical argument that some mathematical claim has to be that way and couldn't be any other way. So unlike a scientific theory, which may be the best we have based on the evidence we have today, but we'll get more evidence, you know, in the next 10 years, and maybe there'll be a new theory. A mathematical proof says that
Starting point is 00:03:40 some statement has to be that way. We can't possibly discover that it will be wrong in 10 years or 20 years. Well, what kinds of things do count as evidence in math? So you might see that something is true in a lot of examples. And based on it being true in a lot of examples, which you could maybe say would be evidence for that fact. You might make a conjecture, what mathematicians would call a conjecture, a guess that something is true. But then what mathematicians would want would be a proof that that thing that you saw worked out in so many examples would always work out the way that you claimed. Right. Very different from just the weight of the evidence. This is a statement that there's a reason why something is going to be true forever, for all time, in every case. And not just, oh, well, I've looked at a million cases and it's true in every
Starting point is 00:04:35 single one of them, which is a reason to guess or conjecture that it's always true. But in mathematics, we make a distinction between such a guess that could be based on a lot of cases or evidence and having a theorem or a proof, an argument that tells you that it will work in every case, even the ones you haven't tried. Now, is it just that mathematicians are fastidious by nature? Or are there cases where something that looked like it was true up to some very large number of possibilities ended up not being true beyond some other big number? Oh, that's a great question. Well, here's an example I like because I like the prime numbers. the prime numbers 2, 3, 5, 7. One of the things that you could do, just you might look and say,
Starting point is 00:05:36 hey, are they divisible by 2? And that turns out to be not very interesting. After 2, none of them are divisible by 2. They're all odd. And then you might think, well, are they divisible by three? And of course, after three, they can't be divisible by three either since they're primes. However, you might notice that some of them, when you divide them by three, you get a remainder of one, that they're one more than a multiple of three. So things like seven, which is one more than 6, or 13, which is 1 more than 12. And some of those primes, like 11 or 17, which is 2 more than 15, they'll have a remainder of 2 when you divide them by 3, because they're 2 more than a multiple of 3.
Starting point is 00:06:18 And so you could think of these primes in teams. Team 1 is all the ones that are 1 more than a multiple of 3, and team 2 are all the ones that are one more than a multiple of three and team two are all the ones that are two more than multiple of three. And as you go through the primes and you list the primes, you could list all the primes and you could tally up and see how many are on team one and how many are on team two. And if you did that tally up to 600 billion, at every point, every number up to 600 billion, you would find that there are more Team 2 primes than Team 1 primes. So you might naturally conjecture based on that evidence that there will always be more Team 2 primes than Team 1 primes. Sure. Totally sounds like it.
Starting point is 00:07:07 Turns out, at a number around $608 billion something, I forget the exact number, it changes. Oh, come on. Yep. It really changes. And now all of a sudden, Team 1 is in the lead. So that is a- Wait a minute. Wait, this is amazing. Now, do they keep changing? Do we know what happens as you keep going? Do they keep changing? Yeah, great question. So indeed, it's a theorem that they will change leads infinitely often.
Starting point is 00:07:39 Really? So they will keep trading the leads. But it is a really great example to keep in the back of your mind when you're studying prime numbers, that just because something was true for the first 600 billion cases doesn't mean that it will always be true. Oh, wow. Nice. Okay. So, like, in general, how do you get from a conjecture to a proof? It depends a lot on the case. I mean, there are many cases of mathematics where we have conjectures and we have no proofs. So there's not some simple recipe to get from a conjecture to a proof,
Starting point is 00:08:16 or we wouldn't have so many famous open problems where, you know, there's some conjecture that people think that something works a certain way, but we don't know it for sure. But sometimes the conjecture might suggest reasons that something is true. Sometimes it's just mathematical theory that's built upon more and more mathematical theory that people have been developing for hundreds of years, gives us enough tools and structure to work with to understand things that we come up with a proof. But it's not that the
Starting point is 00:08:50 conjecture necessarily leads to the proof. The conjecture might inspire people to try to find the proof, but the way the proof comes about may be entirely separate from the conjecture itself. Yeah, I'm interested in kind of enumerating or listing the kinds of evidence that fall short of a proof that lead people to have the confidence that it's worth trying to go for a proof. Yeah, another thing we might call as evidence that isn't just examples would be a heuristic. A heuristic might be something like an argument, except at a much lower standard of rigor. It's just like, does that seem okay? Not have I absolutely certainly established this fact beyond any shadow of a doubt, but does that, yeah, seems pretty plausible. So a heuristic might be a line
Starting point is 00:09:37 of reasoning that seems pretty plausible, you know, but isn't actually a rigorous argument. So that's one kind of evidence. Sometimes one might have a model that we think captures the essential elements of the mathematical system we're trying to understand. And so then you would conjecture that your system has the same behavior as your model. Okay. At some point, I want to hear some examples of models and conjectures and, you know, to the extent to which they work or don't work on some questions or not others. But if you don't mind, I'd like to go back just to a few little personal things kind of because we're talking here about numbers and you are a number theorist. People may not know many number theorists in their everyday lives. So I wonder if
Starting point is 00:10:26 you could tell us what is number theory and also why do you find it interesting? Why did you come to study it? Well, number theory is the mathematical study of the whole numbers. So one, two, three, four, five. And in particular, one of the important things in the whole numbers are the prime numbers. As you explained right at the very beginning, they're the building blocks from which we can, through multiplication, build up all of the other numbers. So because number theory is concerned with all of those whole numbers, it's also concerned with their building blocks, the prime numbers, and how other numbers factor into primes and how they're built up out of primes. So number theory, for our purposes today, I guess, will be the study of the whole numbers with a particular interest in prime numbers.
Starting point is 00:11:15 That seems like a pretty good start. I suppose it's more than that, but maybe that's a good definition for us now. Do you think so? That's a good start. I mean, from there, one explores further things like, well, what if you start considering number systems that are more complicated than just the whole numbers? Like you start putting in other numbers like the squared of two, then what happens with primes and factorization? You get led to further questions. But honestly, there is a lot of rich and beautiful mathematics just in the whole numbers and the primes. So with that in mind, then, why do you find it compelling? Why do you
Starting point is 00:11:51 like the study of number theory? What drew you to it? I think I like that the questions can be so concrete. You know, I go and talk to elementary school kids, and I can tell them about, you know, some of the things that I think about. So it's fun for me to work on something that on the one hand, the questions can be so concrete, but on the other hand, the puzzle of trying to solve it can be so difficult. I mean, people have been trying to answer questions about the whole numbers, about the primes for literally thousands of years. And there are a lot of branches of mathematics. One of the important parts of modern number theory
Starting point is 00:12:33 is that to make progress on these stubborn old questions that people have been working on for so long, one needs to bring in new ideas and needs to make connections with other parts of mathematics. So even though I would call myself a number theorist, I use mathematics from all different kinds of fields, from studying geometry and topology and the shapes of spaces to probability and studying randomness.
Starting point is 00:13:00 I use all kinds of mathematics, but to try to say something about things like the whole numbers and prime numbers and factorization. Yeah, I love that vision of math as this giant interconnected web of ideas. And you can want to live in a particular part of it that's your favorite. But you've mentioned prime numbers as being a particular area of interest in number theory, the most fundamental part of it, really, what's hard about them? It's not clear yet in our discussion what's so mysterious there. Like, we've defined them. We could probably keep listing them, I suppose. What are some of those problems you're referring to that are hundreds of years old? Well, one of the biggest and most important questions, which is maybe about 120 years old or so, is you said,
Starting point is 00:13:48 oh, you could list them. If you did that, how many would you find? So let's say you listed the primes up to 100 or 1,000 or 100,000 or a million, a billion. As you list primes up to larger and larger numbers, how many of those numbers that you go through will actually be prime? So understanding that quantity is really the heart of the Riemann hypothesis, which is one of the Clay Math Institute Millennium Prize problems. There's a million dollar prize for answer. It's one of the most famous questions and we have no idea how to do it. And it really is just about the question of when you list those primes, how many will you find? Okay. It is funny, right? Because as you
Starting point is 00:14:32 start making the list, even if someone just casually started listing the numbers that are prime up to 100, you notice some funny things. Like at first, 11 and 13, they're two apart. 15, well, that doesn't work because it's divisible by 5 and 3. Then 17. So there's a gap of 4 now between 13 and 17. But then 19 is close again. I don't know. I mean, so the spacing between the primes can be kind of wonky. Like sometimes there's a pretty big gap in there. And sometimes they're right next to each other, just two apart. Yes. So understanding that spacing and those gaps has also been a big question of interest. There's been remarkable progress in the last decade in understanding the spacing between the primes. But there's still a really tantalizing basic question that we don't know the answer to.
Starting point is 00:15:24 really tantalizing basic question that we don't know the answer to. So you mentioned that these primes 11 and 13 are just two apart. So such primes are called twin primes. We couldn't expect primes to get any closer than two apart since after two, they all have to be odd. Here is a open question in mathematics, meaning we don't know the answer. And that's, are there infinitely many pairs of twin primes? And so here there is a conjecture. The conjecture would be, yes. I mean, not only is there a conjecture that, yes, they should go on forever and there should always be more of them, but there's even a conjecture about sort of how many you'll find as you go along. But that is completely open. As far as we know, it could be that once you get to a really big number, they just stop and you don't find any more pairs of twin primes at all. There's something very poetic about that, poignant, that thought, like that
Starting point is 00:16:16 that could be the end of the line at some point. I mean, neither of us probably believe that, but it's possible, I guess, it's conceivable that there's some last lonely pair of twins snuggling in the darkness way out there, you know, on the number line. Yeah, there could be. And, you know, as mathematicians, we would say, you know, we don't know. Even if you could make a graph as you go along of how many you found, if you plot that graph, it looks like it's just really definitely going up and up at a rate that would never, never turn around. But I guess that's part of the difference between math and science is we keep that skepticism and say, well, we don't know. I mean, perhaps at some point,
Starting point is 00:16:58 the graph just turns around and there aren't any more. So I like your image there of a graph, because I think everybody can relate to this idea of making a chart, making some kind of graph, you know, thinking of the primes as kind of like data. And so I think this is maybe a good time for us to turn to start talking about probability theory. And it seems a little weird to be talking about probability and statistics in connection with the primes, because there's no chance involved here. The primes are determined by the definition that we gave, that they're not divisible. But yet mathematicians and number theorists like you have used statistical or probabilistic arguments in thinking about the primes.
Starting point is 00:17:36 I wonder if you could sketch something like that for me using coin flipping and back to what we were talking about at the beginning, odd numbers and even numbers. Okay. So unlike the primes, we actually understand very well the pattern of odd and even numbers. They go odd, even, odd, even, of course. But suppose we didn't understand that pattern. And we're using this to understand how many odd numbers you might find if you looked at all the numbers up to a million. You could imagine since there are two possibilities, a number could be odd or a number could be even, that maybe someone went along and flipped a coin for each number. And if the coin came up heads, the number was odd. And if the coin came up tails, the number
Starting point is 00:18:23 was even. And so you could have your coin flipping person sort of walking along the number was odd. And if the coin came up tails, the number was even. And so you could have your coin flipping person sort of walking along the number line, flipping a coin at each number, and it comes up, say, to either declare that number odd or even. Now, on the one hand, that's nonsense. On the other hand, the coin flipping model will get some things right. The coin flipping model will get some things right. For example, if you say, you know, roughly how many of the numbers up to a million are even, we know that roughly the number of coin flips that will say come up tails,
Starting point is 00:18:57 if you do a huge number of coin flips, like a million is about half of them. And so that model, as silly as it may be, still can make some predictions correctly. And I should say that may sound silly because we already know the answer to that question. The idea is that we build models for more complicated patterns, like where the primes appear among the numbers instead of just where the odds appear? Yeah. I mean, I think we need to underscore that just how profoundly mysterious the primes are. There's no formula for the prime numbers the way there's a formula for odd numbers. Like,
Starting point is 00:19:37 if you think, oh, come on, this is it. We're really talking about absurd stuff here. It's actually very valuable to have these statistical models that can predict properties that are average properties, like the analog of half the numbers less than a big number are going to be odd. This is something that in the case of primes is a very serious, interesting question. What fraction of numbers less than a big number are prime? And as you say, you can make a statistical model that gets that right. And then what? That same model can be used to then predict how many twin primes there would be,
Starting point is 00:20:10 less than a big number? Does the same model do a good job in that case? So in the case of primes, if we were building a model, and there's a model mathematicians use called the Cromer model of the primes. If we were building a coin flipping model of the primes, where we imagine someone walking along the number line and at each number, you know, flipping a coin, say, to decide if that number was prime or not prime, we would incorporate as much as we know about the primes into that model. So first of all, we know that big numbers are less likely to be prime than smaller numbers. So those coins would have to be weighted and we'd have to try to put in precisely the weightings that we expect. And we know things like you can't have two primes next to one another because one of them would have to be odd and one of them would have to be even. So we put that into the model and then there's more things we know about the primes next to one another, because one of them would have to be odd and one of them would have to be even. So we put that into the model. And then there's more things we know about the primes.
Starting point is 00:21:08 So the model is something that starts at this coin flipping model, but then it's modified by all these other rules and all the other things that we know about the primes. And once you put all of those things that we do know into the model, you then ask this coin flipping, you know, model, well, do you see infinitely often coins coming up prime just two apart? And the model tells you, oh, yes, we do see that. In fact, we see it at this very particular rate we can give you a formula for. And then if you graph the number of actual twin primes in the actual numbers where there are no coins flipped against what the model predicts, you see that the model gives you a very accurate prediction for the number of pairs of twin primes you'll find as you go along. And so then you think, you know, maybe this model knows what it's talking about. That's great. I mean, that's kind of important, what we just got to there, that you didn't use the word computers yet, but I assume that you're not doing this by hand.
Starting point is 00:22:13 The people who are listing twin primes out to, I don't know, what are we talking about? Trillion, trillion, trillion? I mean, these are big numbers we're talking about, aren't we? Well, for the listing of the twin primes, that would be done by computer, absolutely. But for building this model and coming up with the formula that the model gives, you know, that's done by hand, essentially, by mathematicians thinking about the model
Starting point is 00:22:37 and figuring out with it. That's so cool. So that's where the model is showing its stuff, that the model can actually predict what the computer sees, and it doesn't require a computer to make that prediction. That can be done by hand by people and can actually lead to proofs, except that it's proofs of properties of the model, not necessarily yet proofs of the thing you're interested in. Right. And at some point, the computer stops. Right. And at some point, the computer stops. You know, there's only so much computing power. But that formula that you would get, that the model would give you, that you could prove is true, again, about this model coin flipping situation, that formula will keep going. You can put bigger and bigger numbers into that formula, much bigger than your computer could ever, ever compute with. So you've been telling us a little about how randomness can help give models of interesting
Starting point is 00:23:30 phenomena in number theory, and I'm sure it's also true in other parts of math. Are there some cases where you can use randomness to provide actual proofs, not just models? Absolutely. Another branch of mathematics is called probability theory. And in probability theory, they prove theorems about random systems and how they behave. And you might think that, well, if you start with something random and you do something with it, you'll always have something random. But one of the remarkably beautiful things that one finds in probability theory is that sometimes you can get something deterministic out of something random. Well, how does that work? Like what?
Starting point is 00:24:20 Yeah. So you've seen the bell curve or the normal distribution, mathematicians would call it, and it appears theorem called the central limit theorem in probability theory that tells you that actually that this bell curve is in some sense not a fact of nature, but a fact of mathematics. The central limit theorem tells you that if you combine a whole bunch of small random effects independently, that the output of that will always match a certain distribution, this shape, this bell curve. Mathematics and the theory of probability can prove that if you have, if you combine a lot of little independent random things, the outcome of all that combination will give you a distribution that looks like this bell curve. And so even if you don't know what the inputs were like, and that's a really powerful theorem and a really powerful tool in mathematics. Yes, it certainly is.
Starting point is 00:25:38 And I liked your emphasis on that you don't need to know what's going on with the little effects, that somehow that gets washed out. That information is not needed. The bell curve is predictable, even if you don't know what the nature of the little effects is, as long as there's a lot of them and they're little and they don't affect each other, right? They're independent in some sense. Yeah, absolutely. And so that is an idea, you know, sometimes it's called universality in probability theory, that there are certain kinds of machines that if you put in a lot of random inputs, you can predict the output, like, for example, that you would get this bell curve or this normal distribution,
Starting point is 00:26:18 even if you don't know what you put in the machine. And that is incredibly powerful when there are things that we don't understand very well. But so are you telling me that, I'm sorry to cut you off, but are you telling me this is happening in number theory now too, that somehow we're getting the idea of universality to show up in number theory? Or am I dreaming? Well, to some extent, I would say that's a dream of mine that is beginning. You know, we're just, we're taking the first steps to seeing it be realized. So it's not just your dream. It's my dream too. Some of the work that I do today and that my collaborators and I work on is trying to make that kind of dream a reality so that some of these puzzling questions about numbers that we don't know the answer to, maybe we could understand
Starting point is 00:27:15 that there are patterns that come out like a bell curve, like a normal distribution that we can prove came out of the machine, even if we don't know what mysteries were put in. Well, it's a very inspiring, thrilling vision, actually, and I hope it all comes to pass. Thank you very much for talking to us today, Melanie. Oh, thank you. This was a lot of fun. If you like The Joy of Why, check out the Quantum Magazine Science Podcast,
Starting point is 00:27:44 hosted by me, Susan Vallett, one of the producers of Why, check out the Quanta Magazine Science Podcast hosted by me, Susan Vallett, one of the producers of this show. Also, tell your friends about this podcast and give us a like or follow where you listen. It helps people find the Joy of Why podcast. The Joy of Why is a podcast
Starting point is 00:27:59 from Quanta Magazine, an editorially independent publication supported by the Simons Foundation. independent publication supported by the Simons Foundation. Funding decisions by the Simons Foundation have no influence on the selection of topics, guests,
Starting point is 00:28:13 or other editorial decisions in this podcast or in Quanta Magazine. 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,
Starting point is 00:28:28 Annie Melchor, and Layla Sloman. Our theme music was composed by Richie Johnson. Our logo is by Jackie King, and artwork for the episodes is by Michael Driver and Samuel Velasco. I'm your host, Steve Strogatz. If you have any questions or comments for us, please email us at quanta at simonsfoundation.org.
Starting point is 00:28:52 Thanks for listening.

There aren't comments yet for this episode. Click on any sentence in the transcript to leave a comment.