The Millennium Problems

The Seven Greatest Unsolved Mathematical Puzzles of Our Time

de Keith J. Devlin · Publicada por primera vez en 2004

In 2000, the Clay Foundation announced a historic competition: whoever could solve any of seven extraordinarily difficult mathematical problems, and have the solution acknowledged as correct by the experts, would receive 1 million in prize money. There was some precedent for doing this: In 1900 the mathematician David Hilbert proposed twenty-three problems that set much of the agenda for mathematics in the twentieth century. The Millennium Problems--chosen by a committee of the leading mathematicians in the world--are likely to acquire similar stature, and their solution (or lack of it) is likely to play a strong role in determining the course of mathematics in the twenty-first century. Keith Devlin, renowned expositor of mathematics and one of the authors of the Clay Institute's official description of the problems, here provides the definitive account for the mathematically interested reader. [Review by David Roberts, on 02/7/2003] In May 2000, the Clay Mathematics Institute elevated seven long-standing open problems in mathematics to the status of "Millennium Prize Problems," endowing each with a million-dollar prize. The seven particular problems were chosen in part because of their difficulty, but even more so because of their central importance to modern mathematics. The problems and the corresponding general areas of mathematics are as follows. 1) The Riemann Hypothesis - Number Theory 2) Yang-Mills Existence and Mass Gap - Mathematical Physics 3) The P versus NP problem - Computer Science 4) Navier-Stokes Existence and Smoothness - Mathematical Physics 5) The Poincaré Conjecture - Topology 6) The Birch and Swinnerton-Dyer Conjecture - Number Theory 7) The Hodge Conjecture - Algebraic Geometry The Navier-Stokes equations were first written down in the early 1820's, Riemann made his hypothesis in an 1859 paper, and the Poincaré conjecture dates from 1904. The remaining problems arose in the period 1950-1971. In The Millennium Problems, Keith Devlin aims to communicate the essence of these seven problems to a broad readership. It is, of course, a very ambitious goal. The preface makes it clear what Devlin's ground rules are. First he assumes only "a good high school knowledge of mathematics." Second, he is writing "not for those who want to tackle one of the problems, but for readers — mathematician and non-mathematician alike — who are curious about the current state at the frontiers of humankind's oldest body of scientific knowledge." He is clear that the readership drives the level of the book, so that precise statements of the problems will not always be given. Rather the goal is "to provide the background to each problem, to describe how it arose, explain what makes it particularly difficult, and give... some sense of why mathematicians regard it as important." After the short preface, the book has an interesting Chapter 0, and then one chapter for each problem in the above order. These seven chapters are constructed similarly. Most have a long historical component, generally including biographical information about the person or persons after whom the conjecture is named. Each has substantial background mathematical information, with topics ranging from complex numbers in Chapter 1 and group theory in Chapter 2 to congruences in Chapter 6 and algebraic varieties in Chapter 7. Applications are emphasized when possible. A nice theme in Chapters 2 and 4 is that mathematicians are behind physicists and engineers and just trying to catch up. Each chapter concludes with a discussion of the millennium problem itself. Chapter 5 illustrates how Devlin ties the various units of a chapter into a coherent narrative. It begins with four pages about the life and work of Henri Poincaré. It moves on to introduce "rubber sheet geometry" in terms of how subway maps and refrigerator wiring diagrams are not geometrically faithful to the physical objects they represent, but nonetheless clearly capture all relevant information. This unit is important as it will make readers feel that topology is natural, rather than weird. Chapter 5 next introduces the concepts of vertices, edges, faces and finally Euler characteristic in terms of the Königsberg bridge problem. It introduces non-orientable surfaces and makes the introduction of an ambient four-space seem natural, since it is necessary for an embedding of the Klein bottle. It topologically classifies closed surfaces first crudely in terms of their orientability, and then completely in terms of networks drawn upon them and the Euler characteristic of these networks. It gives a very attractive example of two seemingly linked rings that in fact can be pulled apart. This example shows the reader that not everything is geometrically obvious, and thus underscores the utility of algebraic invariants that can rigorously confirm that two objects are topologically different. It discusses how the ordinary two-sphere is characterized among all closed su