The Music of the Primes: Why an unsolved problem in mathematics matters. Marcus Sautoy du

Чтение книги онлайн.

СКАЧАТЬ were trying to calculate 2^N on a clock with N hours. The challenge then is to prove whether this guess is right or wrong. It is these mathematical guesses or predictions that the mathematician calls a ‘conjecture’ or ‘hypothesis’.

      A mathematical guess only earns the name of ‘theorem’ once a proof has been provided. It is this movement from ‘conjecture’ or ‘hypothesis’ to ‘theorem’ that marks the mathematical maturity of a subject. Fermat left mathematics with a whole slew of predictions. Subsequent generations of mathematicians have made their mark by proving Fermat right or wrong. Admittedly, Fermat’s Last Theorem was always called a theorem and never a conjecture. But that is unusual, and probably came about because Fermat claimed in notes that he scribbled in his copy of Diophantus’s Arithmetica that he had a marvellous proof that was unfortunately too large to write in the margin of the page. Fermat never recorded his supposed proof anywhere, and his marginal comments became the biggest mathematical tease in the history of the subject. Until Andrew Wiles provided an argument, a proof of why Fermat’s equations really had no interesting solutions, it actually remained a hypothesis – merely wishful thinking.

      Gauss’s schoolroom episode encapsulates the movement from guess via proof to theorem. Gauss had produced a formula which he predicted would produce any number you wanted on the list of triangular numbers. How could he guarantee that it would work every time? He certainly couldn’t test every number on the list to see whether his formula gave the correct answer, since the list is infinitely long. Instead, he resorted to the powerful weapon of mathematical proof. His method of combining two triangles to make a rectangle guaranteed, without the need for an infinite number of calculations, that the formula would always work. In contrast, the seventeenth-century prime number test based on 2^N was finally thrown out of the mathematical court in 1819. The test works correctly for all numbers up to 340, but then declares that 341 is prime. This is where the test fails, since 341 = 11 × 31. This exception wasn’t discovered until Gauss’s clock calculator with 341 hours on the clock face could be used to simplify the analysis of a number like 2³⁴¹, which on a conventional calculator stretches to over a hundred digits.

      The Cambridge mathematician G. H. Hardy, author of A Mathematician’s Apology, used to describe the process of mathematical discovery and proof in terms of mapping out distant landscapes: ‘I have always thought of a mathematician as in the first instance an observer, a man who gazes at a distant range of mountains and notes down his observations.’ Once the mathematician has observed a distant mountain, the second task is then to describe to people how to get there.

      You begin in a place where the landscape is familiar and there are no surprises. Within the boundaries of this familiar land are the axioms of mathematics, the self-evident truths about numbers, together with those propositions that have already been proved. A proof is like a pathway from this home territory leading across the mathematical landscape to distant peaks. Progress is bound by the rules of deduction, like the legitimate moves of a chess piece, prescribing the steps you are permitted to take through this world. At times you arrive at what looks like an impasse, and need to take that characteristic lateral step, moving sideways or even backwards to find a way around. Sometimes you need to wait for new tools, like Gauss’s clock calculators, to be invented, so that you can continue your ascent.

      In Hardy’s words, the mathematical observer

      sees A sharply, while of B he can obtain only transitory glimpses. At last he makes out a ridge which leads from A, and following it to its end he discovers that it culminates in B. If he wishes someone else to see it, he points to it, either directly or through the chain of summits which led him to recognise it himself. When his pupil also sees it, the research, the argument, the proof is finished.

      The proof is the story of the trek and the map charting the coordinates of that journey – the mathematician’s log. Readers of the proof will experience the same dawning realisation as its author. Not only do they finally see the way to the peak, but also they understand that no new development will undermine the new route. Very often a proof will not seek to dot every i and cross every t. It is a description of the journey and not necessarily the re-enactment of every step. The arguments that mathematicians provide as proofs are designed to create a rush in the mind of the reader. Hardy used to describe the arguments we give as ‘gas, rhetorical flourishes designed to affect psychology, pictures on the board in the lecture, devices to stimulate the imagination of pupils’.

      The mathematician is obsessed with proof, and will not be satisfied simply with experimental evidence for a mathematical guess. This attitude is often marvelled at and even ridiculed in other scientific disciplines. Goldbach’s Conjecture has been checked for all numbers up to 400,000,000,000,000 but has not been accepted as a theorem. Most other scientific disciplines would be happy to accept this overwhelming numerical data as a convincing enough argument, and move on to other things. If, at a later date, new evidence were to crop up which required a reassessment of the mathematical canon, then fine. If it is good enough for the other sciences, why is mathematics any different?

      Most mathematicians would quiver at the thought of such heresy. As the French mathematician André Weil expressed it, ‘Rigour is to the mathematician what morality is to men.’ Part of the reason is that evidence is often quite hard to assess in mathematics. More than any other part of mathematics, the primes take a long time to reveal their true colours. Even Gauss was taken in by overwhelming data in support of a hunch he had about prime numbers, but theoretical analysis later revealed that he had been duped. This is why a proof is essential: first appearances can be deceptive. While the ethos of every other science is that experimental evidence is all that you can truly rely on, mathematicians have learnt never to trust numerical data without proof.

      In some respects, the ethereal nature of mathematics as a subject of the mind makes the mathematician more reliant on providing proof to lend some feeling of reality to this world. Chemists can happily investigate the structure of a solid buckminsterfullerene molecule; sequencing the genome presents the geneticist with a concrete challenge; even the physicists can sense the reality of the tiniest subatomic particle or a distant black hole. But the mathematician is faced with trying to understand objects with no obvious physical reality such as shapes in eight dimensions, or prime numbers so large they exceed the number of atoms in the physical universe. Given a palette of such abstract concepts the mind can play strange tricks, and without proof there is a danger of creating a house of cards. In the other scientific disciplines, physical observation and experiment provide some reassurance of the reality of a subject. While other scientists can use their eyes to see this physical reality, mathematicians rely on mathematical proof, like a sixth sense, to negotiate their invisible subject.

      Searching for proofs of patterns that have already been spotted is also a great catalyst for further mathematical discovery. Many mathematicians feel that it may be better if these defining problems never get solved because of the wonderful new mathematics encountered along the way. The problems allow for exploration of a kind which forces mathematical pioneers to pass through lands they could never have envisaged at the outset of their journey.

      But perhaps the most convincing argument for why the culture of mathematics places such stock in proving that a statement is true is that, unlike the other sciences, there is the luxury of being able to do so. In how many other disciplines is there anything that parallels the statement that Gauss’s formula for triangular numbers will never fail to give the right answer? Mathematics may be an ethereal subject confined to the mind, but its lack of tangible reality is more than compensated for by the certitude that proof provides.

      Unlike the other sciences, in which models of the world can crumble between one generation and the next, proof in mathematics allows us to establish with 100 per cent certainty that facts about prime numbers will not change in the light of future discoveries. Mathematics is a pyramid where each generation builds on the achievements of the last without fear of any collapse. This durability is what is so addictive СКАЧАТЬ