Theorem Quotes (64 quotes)

...

(... through systematic, palpable experimentation.)

*durch planmässiges Tattonieren.*(... through systematic, palpable experimentation.)

*Response, when asked how he came upon his theorems.**Mathematical truth has validity independent of place, personality, or human authority.*Mathematical relations are not established, nor can they be abrogated, by edict. The multiplication table is international and permanent, not a matter of convention nor of relying upon authority of state or church. The value of π is not amenable to human caprice. The finding of a mathematical theorem may have been a highly romantic episode in the personal life of the discoverer, but it cannot be expected of itself to reveal the race, sex, or temperament of this discoverer. With modern means of widespread communication even mathematical notation tends to be international despite all nationalistic tendencies in the use of words or of type.

A distinguished Princeton physicist on the occasion of my asking how he thought Einstein would have reacted to Bell’s theorem. He said that Einstein would have gone home and thought about it hard for several weeks … He was sure that Einstein would have been very bothered by Bell’s theorem. Then he added: “Anybody who’s not bothered by Bell’s theorem has to have rocks in his head.”

A mathematician is a device for turning coffee into theorems.

An applied mathematician loves the theorem. A pure mathematician loves the proof.

And I believe that the Binomial Theorem and a Bach Fugue are, in the long run, more important than all the battles of history.

Bell’s theorem is easy to understand but hard to believe.

But neither thirty years, nor thirty centuries, affect the clearness, or the charm, of Geometrical truths. Such a theorem as “the square of the hypotenuse of a right-angled triangle is equal to the sum of the squares of the sides” is as dazzlingly beautiful now as it was in the day when Pythagoras first discovered it, and celebrated its advent, it is said, by sacrificing a hecatomb of oxen—a method of doing honour to Science that has always seemed to me

*slightly*exaggerated and uncalled-for. One can imagine oneself, even in these degenerate days, marking the epoch of some brilliant scientific discovery by inviting a convivial friend or two, to join one in a beefsteak and a bottle of wine. But a*hecatomb*of oxen! It would produce a quite inconvenient supply of beef.
Chebyshev said, and I say it again. There is always a prime between

*n*and*2n*.
Everyone believes in the normal law, the experimenters because they imagine that it is a mathematical theorem, and the mathematicians because they think it is an experimental fact.

For hundreds of pages the closely-reasoned arguments unroll, axioms and theorems interlock. And what remains with us in the end? A general sense that the world can be expressed in closely-reasoned arguments, in interlocking axioms and theorems.

Fourier’s Theorem … is not only one of the most beautiful results of modern analysis, but it may be said to furnish an indispensable instrument in the treatment of nearly every recondite question in modern physics.

Gradually, at various points in our childhoods, we discover different forms of conviction. There’s the rock-hard certainty of personal experience (“I put my finger in the fire and it hurt,”), which is probably the earliest kind we learn. Then there’s the logically convincing, which we probably come to first through maths, in the context of Pythagoras’s theorem or something similar, and which, if we first encounter it at exactly the right moment, bursts on our minds like sunrise with the whole universe playing a great chord of C Major.

I approached the bulk of my schoolwork as a chore rather than an intellectual adventure. The tedium was relieved by a few courses that seem to be qualitatively different. Geometry was the first exciting course I remember. Instead of memorizing facts, we were asked to think in clear, logical steps. Beginning from a few intuitive postulates, far reaching consequences could be derived, and I took immediately to the sport of proving theorems.

I believe that mathematical reality lies outside us, that our function is to discover or observe it, and that the theorems which we prove, and which we describe grandiloquently as our “creations,” are simply the notes of our observations.

I carried this problem around in my head basically the whole time. I would wake up with it first thing in the morning, I would be thinking about it all day, and I would be thinking about it when I went to sleep. Without distraction I would have the same thing going round and round in my mind.

*Recalling the degree of focus and determination that eventually yielded the proof of Fermat's Last Theorem.*
I compare arithmetic with a tree that unfolds upwards in a multitude of techniques and theorems while the root drives into the depths.

I confess that Fermat's Theorem as an isolated proposition has very little interest for me, for a multitude of such theorems can wasily be set up, which one could neither prove nor disprove. But I have been stimulated by it to bring our again several old ideas for a great

*extension*of the theory of numbers. Of course, this theory belongs to the things where one cannot predict to what extent one will succeed in reaching obscurely hovering distant goals. A happy star must also rule, and my situation and so manifold distracting affairs of course do not permit me to pursue such meditations as in the happy years 1796-1798 when I created the pricipal topics of my*Disquisitiones arithmeticae*. But I am convinced that if good fortune should do more than I expect, and make me successful in some advances in that theory, even the Fermat theorem will appear in it only as one of the least interesting corollaries.*In reply to Olbers' attempt in 1816 to entice him to work on Fermat's Theorem. The hope Gauss expressed for his success was never realised.*
I confess that Fermat’s Theorem as an isolated proposition has very little interest for me, because I could easily lay down a multitude of such propositions, which one could neither prove nor dispose of.

I had a dislike for [mathematics], and ... was hopelessly short in algebra. ... [One extraordinary teacher of mathematics] got the whole year's course into me in exactly six [after-school] lessons of half an hour each. And how? More accurately, why? Simply because he was an algebra fanatic—because he believed that algebra was not only a science of the utmost importance, but also one of the greatest fascination. ... [H]e convinced me in twenty minutes that ignorance of algebra was as calamitous, socially and intellectually, as ignorance of table manners—That acquiring its elements was as necessary as washing behind the ears. So I fell upon the book and gulped it voraciously. ... To this day I comprehend the binomial theorem.

I have found a wonderful solution to Fermats’ Last Theorem—but my train is leaving.

If all sentient beings in the universe disappeared, there would remain a sense in which mathematical objects and theorems would continue to exist even though there would be no one around to write or talk about them. Huge prime numbers would continue to be prime, even if no one had proved them prime.

If you have to prove a theorem, do not rush. First of all, understand fully what the theorem says, try to see clearly what it means. Then check the theorem; it could be false. Examine the consequences, verify as many particular instances as are needed to convince yourself of the truth. When you have satisfied yourself that the theorem is true, you can start proving it.

In many cases a dull proof can be supplemented by a geometric analogue so simple and beautiful that the truth of a theorem is almost seen at a glance.

In the summer of 1937, … I told Banach about an expression Johnny [von Neumann] had once used in conversation with me in Princeton before stating some non-Jewish mathematician’s result, “Die Goim haben den folgendenSatzbewiesen” (The goys have proved the following theorem). Banach, who was pure goy, thought it was one of the funniest sayings he had ever heard. He was enchanted by its implication that if the goys could do it, Johnny and I ought to be able to do it better. Johnny did not invent this joke, but he liked it and we started using it.

Isolated, so-called “pretty theorems” have even less value in the eyes of a modern mathematician than the discovery of a new “pretty flower” has to the scientific botanist, though the layman finds in these the chief charm of the respective Sciences.

It may be appropriate to quote a statement of Poincare, who said (partly in jest no doubt) that there must be something mysterious about the normal law since mathematicians think it is a law of nature whereas physicists are convinced that it is a mathematical theorem.

It may be observed of mathematicians that they only meddle with such things as are certain, passing by those that are doubtful and unknown. They profess not to know all things, neither do they affect to speak of all things. What they know to be true, and can make good by invincible arguments, that they publish and insert among their theorems. Of other things they are silent and pass no judgment at all, chusing [choosing] rather to acknowledge their ignorance, than affirm anything rashly. They affirm nothing among their arguments or assertions which is not most manifestly known and examined with utmost rigour, rejecting all probable conjectures and little witticisms. They submit nothing to authority, indulge no affection, detest subterfuges of words, and declare their sentiments, as in a Court of Judicature [Justice],

*without passion, without apology*; knowing that their reasons, as*Seneca*testifies of them, are not brought*to persuade, but to compel*.
It was a dark and stormy night, so R. H. Bing volunteered to drive some stranded mathematicians from the fogged-in Madison airport to Chicago. Freezing rain pelted the windscreen and iced the roadway as Bing drove on—concentrating deeply on the mathematical theorem he was explaining. Soon the windshield was fogged from the energetic explanation. The passengers too had beaded brows, but their sweat arose from fear. As the mathematical description got brighter, the visibility got dimmer. Finally, the conferees felt a trace of hope for their survival when Bing reached forward—apparently to wipe off the moisture from the windshield. Their hope turned to horror when, instead, Bing drew a figure with his finger on the foggy pane and continued his proof—embellishing the illustration with arrows and helpful labels as needed for the demonstration.

It was said round 1912 that it gave him [Edmund Landau] the same pleasure when someone else proved a good theorem as if he had done it himself.

Mathematicians can and do fill in gaps, correct errors, and supply more detail and more careful scholarship when they are called on or motivated to do so. Our system is quite good at producing reliable theorems that can be backed up. It’s just that the reliability does not primarily come from mathematicians checking formal arguments; it come from mathematicians thinking carefully and critically about mathematical ideas.

Mathematics is not a deductive science—that’s a cliché. When you try to prove a theorem, you don’t just list the hypotheses, and then start to reason. What you do is trial and error, experiment and guesswork.

Mathematics is not arithmetic. Though mathematics may have arisen from the practices of counting and measuring it really deals with logical reasoning in which theorems—general and specific statements—can be deduced from the starting assumptions. It is, perhaps, the purest and most rigorous of intellectual activities, and is often thought of as queen of the sciences.

No matter how correct a mathematical theorem may appear to be, one ought never to be satisfied that there was not something imperfect about it until it also gives the impression of being beautiful.

Nothing in our experience suggests the introduction of [complex numbers]. Indeed, if a mathematician is asked to justify his interest in complex numbers, he will point, with some indignation, to the many beautiful theorems in the theory of equations, of power series, and of analytic functions in general, which owe their origin to the introduction of complex numbers. The mathematician is not willing to give up his interest in these most beautiful accomplishments of his genius.

One evening at a Joint Summer Research Congerence in the early 1990’s Nicholai Reshetikhin and I [David Yetter] button-holed Flato, and explained at length Shum’s coherence theorem and the role of categories in “quantum knot invariants”. Flato was persistently dismissive of categories as a “mere language”. I retired for the evening, leaving Reshetikhin and Flato to the discussion. At the next morning’s session, Flato tapped me on the shoulder, and, giving a thumbs-up sign, whispered, “Hey! Viva les categories! These new ones, the braided monoidal ones.”

Some of the most important results (e.g. Cauchy’s theorem) are so surprising at first sight that nothing short of a proof can make them credible.

The analysis of variance is not a mathematical theorem, but rather a convenient method of arranging the arithmetic.

The beautiful has its place in mathematics as elsewhere. The prose of ordinary intercourse and of business correspondence might be held to be the most practical use to which language is put, but we should be poor indeed without the literature of imagination. Mathematics too has its triumphs of the Creative imagination, its beautiful theorems, its proofs and processes whose perfection of form has made them classic. He must be a “practical” man who can see no poetry in mathematics.

The elegance of a mathematical theorem is directly proportional to the number of independent ideas one can see in the theorem and inversely proportional to the effort it takes to see them.

The fact that the proof of a theorem consists in the application of certain simple rules of logic does not dispose of the creative element in mathematics, which lies in the choice of the possibilities to be examined.

The following theorem can be found in the work of Mr. Cauchy: If the various terms of the series

sin

is discontinuous at each value (2

*u*_{0}+*u*_{1}+*u*_{2}+... are continuous functions,… then the sum*s*of the series is also a continuous function of*x*. But it seems to me that this theorem admits exceptions. For example the seriessin

*x*- (1/2)sin 2*x*+ (1/3)sin 3*x*- …is discontinuous at each value (2

*m*+ 1)π of*x*,…
The inner circle of creative mathematicians have the well-kept trade secret that in a great many cases theorems come first and axioms second.

The presentation of mathematics where you start with definitions, for example, is simply wrong. Definitions aren't the places where things start. Mathematics starts with ideas and general concepts, and then definitions are isolated from concepts. Definitions occur somewhere in the middle of a progression or the development of a mathematical concept. The same thing applies to theorems and other icons of mathematical progress. They occur in the middle of a progression of how we explore the unknown.

The primes are the raw material out of which we have to build arithmetic, and Euclid’s theorem assures us that we have plenty of material for the task.

The professor may choose familiar topics as a starting point. The students collect material, work problems, observe regularities, frame hypotheses, discover and prove theorems for themselves. … the student knows what he is doing and where he is going; he is secure in his mastery of the subject, strengthened in confidence of himself. He has had the experience of discovering mathematics. He no longer thinks of mathematics as static dogma learned by rote. He sees mathematics as something growing and developing, mathematical concepts as something continually revised and enriched in the light of new knowledge. The course may have covered a very limited region, but it should leave the student ready to explore further on his own.

The pursuit of pretty formulas and neat theorems can no doubt quickly degenerate into a silly vice, but so can the quest for austere generalities which are so very general indeed that they are incapable of application to any particular.

The results of mathematics are seldom directly applied; it is the definitions that are really useful. Once you learn the concept of a differential equation, you see differential equations all over, no matter what you do. This you cannot see unless you take a course in abstract differential equations. What applies is the cultural background you get from a course in differential equations, not the specific theorems. If you want to learn French, you have to live the life of France, not just memorize thousands of words. If you want to apply mathematics, you have to live the life of differential equations. When you live this life, you can then go back to molecular biology with a new set of eyes that will see things you could not otherwise see.

The scientist has to take 95 per cent of his subject on trust. He has to because he can't possibly do all the experiments, therefore he has to take on trust the experiments all his colleagues and predecessors have done. Whereas a mathematician doesn't have to take anything on trust. Any theorem that's proved, he doesn't believe it, really, until he goes through the proof himself, and therefore he knows his whole subject from scratch. He's absolutely 100 per cent certain of it. And that gives him an extraordinary conviction of certainty, and an arrogance that scientists don't have.

The sum of the square roots of any two sides of an isosceles triangle is equal to the square root of the remaining side.

The theory that gravitational attraction is inversely proportional to the square of the distance leads by remorseless logic to the conclusion that the path of a planet should be an ellipse .... It is this logical thinking that is the real meat of the physical sciences. The social scientist keeps the skin and throws away the meat.... His theorems no more follow from his postulates than the hunches of a horse player follow logically from the latest racing news. The result is guesswork clad in long flowing robes of gobbledygook.

The traditional method of confronting the student not with the problem but with the finished solution means depriving him of all excitement, to shut off the creative impulse, to reduce the adventure of mankind to a dusty heap of theorems.

The world is anxious to admire that apex and culmination of modern mathematics: a theorem so perfectly general that no particular application of it is feasible.

The “seriousness” of a mathematical theorem lies, not in its practical consequences, which are usually negligible, but in the significance of the mathematical ideas which it connects.

Theorem proving is

*seductive*—and its Lorelei voices can put us on the rocks.
Theorems are not to mathematics what successful courses are to a meal.

There are very few theorems in advanced analysis which have been demonstrated in a logically tenable manner. Everywhere one finds this miserable way of concluding from the special to the general and it is extremely peculiar that such a procedure has led to so few of the so-called paradoxes.

There was a seminar for advanced students in Zürich that I was teaching and von Neumann was in the class. I came to a certain theorem, and I said it is not proved and it may be difficult. Von Neumann didn’t say anything but after five minutes he raised his hand. When I called on him he went to the blackboard and proceeded to write down the proof. After that I was afraid of von Neumann.

Thus, be it understood, to demonstrate a theorem, it is neither necessary nor even advantageous to know what it means. The geometer might be replaced by the

*logic piano*imagined by Stanley Jevons; or, if you choose, a machine might be imagined where the assumptions were put in at one end, while the theorems came out at the other, like the legendary Chicago machine where the pigs go in alive and come out transformed into hams and sausages. No more than these machines need the mathematician know what he does.
We often hear that mathematics consists mainly of “proving theorems.” Is a writer's job mainly that of “writing sentences?”

What we do may be small, but it has a certain character of permanence and to have produced anything of the slightest permanent interest, whether it be a copy of verses or a geometrical theorem, is to have done something utterly beyond the powers of the vast majority of men.

Young men should prove theorems, old men should write books.

[My favourite fellow of the Royal Society is the Reverend Thomas Bayes, an obscure 18th-century Kent clergyman and a brilliant mathematician who] devised a complex equation known as the Bayes theorem, which can be used to work out probability distributions. It had no practical application in his lifetime, but today, thanks to computers, is routinely used in the modelling of climate change, astrophysics and stock-market analysis.

~~[Misquoted ?]~~ It gives me the same pleasure when someone else proves a good theorem as when I do it myself.