Quotes on Theorems

One cannot really argue with a mathematical theorem.

I am persuaded that this method [for calculating the volume of a sphere] will be of no little service to mathematics. For I foresee that once it is understood and established, it will be used to discover other theorems which have not yet occurred to me, by other mathematicians, now living or yet unborn.

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.

Imagine a life-form whose brainpower is to ours as ours is to a chimpanzee’s. To such a species, our highest mental achievements would be trivial. Their toddlers, instead of learning their ABCs on Sesame Street, would learn multivariable calculus on Boolean Boulevard. Our most complex theorems, our deepest philosophies, the cherished works of our most creative artists, would be projects their schoolkids bring home for Mom and Dad to display on the refrigerator door.

The Open Source theorem says that if you give away source code, innovation will occur. Certainly, Unix was done this way... However, the corollary states that the innovation will occur elsewhere. No matter how many people you hire. So the only way to get close to the state of the art is to give the people who are going to be doing the innovative things the means to do it. That's why we had built-in source code with Unix. Open source is tapping the energy that's out there.

I have found a very great number of exceedingly beautiful theorems.

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.

A mathematician is a device for turning coffee into theorems.

When a truth is necessary, the reason for it can be found by analysis, that is, by resolving it into simpler ideas and truths until the primary ones are reached. It is this way that in mathematics speculative theorems and practical canons are reduced by analysis to definitions, axioms and postulates.

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.

Thus, be it understood, to demonstrate a theorem, it is neither necessary nor even advantageous to know what it means.

If only I had the Theorems! Then I should find the proofs easily enough.

What philosophy worthy of the name has truly been able to avoid the link between poem and theorem?

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.

A mathematician is a person who can find analogies between theorems; a better mathematician is one who can see analogies between proofs and the best mathematician can notice analogies between theories.