192
$\begingroup$

Some famous quotes often give interesting insights into the vision of mathematics that certain mathematicians have. Which ones are you particularly fond of?

Standard community wiki rules apply: one quote per post.

$\endgroup$
8
  • 2
    $\begingroup$ There are 10 kinds of people in the world, those that understand binary and the other 9. $\endgroup$ Nov 30, 2009 at 5:29
  • 44
    $\begingroup$ Why did a question with so much positive feedback get closed? $\endgroup$
    – Romeo
    Nov 28, 2010 at 23:21
  • 21
    $\begingroup$ Diminishing marginal utility. $\endgroup$ Jan 31, 2011 at 2:46
  • 14
    $\begingroup$ Closing this solved what problem? $\endgroup$
    – Matt Brin
    Jan 18, 2012 at 18:35
  • 11
    $\begingroup$ @Matt: standards for what kind of questions people want on MO have changed over time, and keeping this question opens gives a false impression to new users of what kind of questions we want on MO. It's less confusing to close it. This happens on other SE sites as well; many of the most popular questions on StackOverflow, for example, are also closed. There's also the more practical issue that if it's open people keep adding answers and, again, the marginal utility of each additional answer is decreasing. $\endgroup$ Nov 12, 2013 at 3:03

94 Answers 94

61
$\begingroup$

"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. One can imagine that the ultimate mathematician is one who can see analogies between analogies."

--Stefan Banach

"Good mathematicians see analogies between theorems or theories. The very best ones see analogies between analogies."

--Stanislaw M. Ulam quoting Stefan Banach

$\endgroup$
5
  • 43
    $\begingroup$ So, category theorists? $\endgroup$ Nov 29, 2009 at 22:55
  • 58
    $\begingroup$ @Qiaochu: Higher category theorists! $\endgroup$ Nov 29, 2009 at 22:59
  • 8
    $\begingroup$ Who can see analogies between analogies between analogies? $\endgroup$
    – timur
    Nov 28, 2010 at 4:28
  • 1
    $\begingroup$ @timur The analogy operator is idempotent ;P $\endgroup$
    – Jose Brox
    Oct 11, 2017 at 11:15
  • 2
    $\begingroup$ @timur 2-category theorists $\endgroup$
    – seldon
    Mar 27, 2018 at 17:20
59
$\begingroup$

"Wir müssen wissen, wir werden wissen." - Hilbert.

Translation: We must know, we will know.

$\endgroup$
1
50
$\begingroup$

Do not ask whether a statement is true until you know what it means. -- Errett Bishop

$\endgroup$
2
  • $\begingroup$ I didn't know that you were a constructivist :p $\endgroup$
    – Amr
    Mar 26, 2016 at 20:02
  • $\begingroup$ @Amr: Well, I'm certainly not. On the one hand, a quotation is not an endorsement. On the other hand, although you perceive -- I believe correctly -- constructivist principles in the provenance of the quote, it is a good enough quote that it can mean other things as well. As a piece of general mathematical advice, I find it quite sound. $\endgroup$ Mar 26, 2016 at 20:12
47
$\begingroup$

"As every mathematician knows, nothing is more fruitful than these obscure analogies, these indistinct reflections of one theory into another, these furtive caresses, these inexplicable disagreements; also nothing gives the researcher greater pleasure... The day dawns when the illusion vanishes; intuition turns to certitude; the twin theories reveal their common source before disappearing; as the Gita teaches us, knowledge and indifference are attained at the same moment. Metaphysics has become mathematics, ready to form the material for a treatise whose icy beauty no longer has the power to move us." - Andre Weil

$\endgroup$
1
  • 15
    $\begingroup$ Does one have to be French to write lines like that? It's as if Weil were channeling Proust or something. $\endgroup$
    – Todd Trimble
    Jan 31, 2011 at 1:53
45
$\begingroup$

The purpose of computing is insight, not numbers.

— Richard Hamming (1962)

The attitude adopted in this book is that while we expect to get numbers out of the machine, we also expect to take action based on them, and, therefore we need to understand thoroughly what numbers may, or may not, mean. To cite the author's favorite motto,

“The purpose of computing is insight, not numbers,” although some people claim,

“The purpose of computing numbers is not yet in sight.”

There is an innate risk in computing because “to compute is to sample, and one then enters the domain of statistics with all its uncertainties.”

– Richard W. Hamming, Introduction to applied numerical analysis, McGraw-Hill 1971, p.31.

$\endgroup$
1
  • 1
    $\begingroup$ "The purpose of computing is numbers — specifically, correct numbers." Greengard 2000. $\endgroup$ Aug 6, 2011 at 15:26
43
$\begingroup$

(Caveat for all of mine: I've not hunted down primary sources to check that they're properly attributed)

"Manifolds are a bit like pornography: hard to define, but you know one when you see one." -S. Weinberger

$\endgroup$
0
43
$\begingroup$

"Why are numbers beautiful? It's like asking why is Beethoven's Ninth Symphony beautiful. If you don't see why, someone can't tell you. I know numbers are beautiful. If they aren't beautiful, nothing is."- Paul Erdős

$\endgroup$
2
  • 4
    $\begingroup$ +1 I cannot tell you how frequently I use this quote in explaining to others (or to avoid explaining to others) how wonderful mathematics is. $\endgroup$ Jul 11, 2010 at 3:32
  • 1
    $\begingroup$ ...And anyone who doubts that my area of research is important is an idiot. $\endgroup$ Aug 31, 2022 at 10:21
40
$\begingroup$

For general continuous curves, it's not that a simple proof [of the Jordan curve theorem] is not possible, it's that it's not desirable. The true content of the result is homology theory, which proves the separation result in n dimensions. There are special proofs in 2D that are simpler, but every such proof that I have seen feels like a one-night stand.

Greg Kuperberg, in a comment to a MO question

$\endgroup$
36
$\begingroup$

“Having thus refreshed ourselves in the oasis of a proof, we now turn again into the desert of definitions.”

– Th. Bröcker & K. Jänich, Introduction to differential topology (p.25)

$\endgroup$
2
  • 13
    $\begingroup$ I see it just the other way around! $\endgroup$
    – Jose Brox
    Dec 8, 2009 at 15:50
  • 6
    $\begingroup$ A good definition can occassionally be worth a thousand proofs, I think, but frankly, elementary differential geometry seems to me to fit the “desert of definitions” pretty well. Not that there is anything wrong in that. Some times you have to suffer loads of boring definitions in order to see the depth and beauty of the subject. (And besides, deserts can be beautiful too.) $\endgroup$ Dec 8, 2009 at 18:19
36
$\begingroup$

This one has to do with the quote by Rota that appears in the first post of C. Siegel:

" The essence of Mathematics is proving theorems and so, that is what mathematicians do: they prove theorems. But to tell the truth, what they really want to prove once in their lifetime, is a lemma, like the one by Fatou in Analysis, the lemma of Gauss in Number Theory, or the Burnside-Frobenius lemma in Combinatorics.

Now what makes a mathematical statement a true lemma? First, it should be applicable to a wide variety of instances, even seemingly unrelated problems. Secondly, the statement should, once you have seen it, be completely obvious. The reaction of the reader might well be one of faint envy: Why haven't I noticed this before? And thirdly, on an esthetic level, the lemma including its proof should be beautiful!"

  • Aigner & Ziegler in Proofs from the Book.
$\endgroup$
1
  • $\begingroup$ Lemmas do the work in Mathematics. Theorems, like Management, just take the credit. $\endgroup$ Aug 3, 2022 at 21:44
36
$\begingroup$

Dirichlet allein, nicht ich, nicht Cauchy, nicht Gauß, weiß, was ein vollkommen strenger Beweis ist, sondern wir lernen es erst von ihm. Wenn Gauß sagt, er habe etwas bewiesen, so ist es mir sehr wahrscheinlich, wenn Cauchy es sagt, ist ebensoviel pro als contra zu wetten, wenn Dirichlet es sagt, ist es gewiß; ich lasse mich auf diese Delikatessen lieber gar nicht ein.

C. G. J. Jacobi, writing to von Humboldt, in 1846.

Without pretty ßs: Only Dirichlet, Not I, not Cauchy, not Gauss, knows what a perfectly rigourous proof is, but we learn it only from him. When Gauss says he has proved something, I think it is very likely; when Cauchy says it, it is a fifty-fifty bet; when Dirichlet says it, it is certain; I prefer not to go into these delicate matters.

$\endgroup$
8
  • $\begingroup$ Shouldn't that be "er hat etwas bewiessen"? (I'd edit it had I the power.) $\endgroup$
    – Cory Knapp
    Nov 29, 2009 at 21:15
  • $\begingroup$ @ Cory Knapp: no, it should be "Beweis", a noun as attested by the "er" ending of the preceding adjective "strenger". The present perfect you suggest is impossible here, and moreover its correct spelling would be "er hat bewiesen" (only one "s"). Freundliche Grüsse. $\endgroup$ Nov 29, 2009 at 22:26
  • $\begingroup$ Very interesting quote, Mariano. For Jacobi to write that when Gauss claims to have a proof, it is just "sehr wahrscheinlich" sounds like the height of "chutzpah" ! $\endgroup$ Nov 29, 2009 at 22:37
  • 3
    $\begingroup$ The conjugation "er habe" is correct. It is a subjunctive mood indicating that it only a personal (Gauß's) opinion is expressed. It might also be possible that in former times (when spelling was different) they might have written it "er have". $\endgroup$ Nov 30, 2009 at 6:13
  • 3
    $\begingroup$ Oh I never get tired of cribbing about German along with Mark Twain .. baetzler.de/humor/the_awful_german_language.var .. $\endgroup$
    – Anweshi
    Feb 6, 2010 at 16:20
32
$\begingroup$

"Later mathematicians will regard set theory as a disease from which one has recovered." Henri Poincaré.

$\endgroup$
2
  • 6
    $\begingroup$ Taken out of context, this would seem to be accurate (the concept of evil with respect to higher categories), but one must remember that Poincar\'e was not against axiomatic set theory per se, but axiomatic theories in general. $\endgroup$ Nov 30, 2009 at 6:33
  • 30
    $\begingroup$ Actually this is not a quote. It is attributed to Poincare in various sources, but it is quite likely that this is a misinterpretation of something that he actually wrote (something to the effect that the diseases of set theory (such as Russell's paradox, for example) will one day be overcome). See J. Gray, Did Poincaré say ``Set theory is a disease''?, Math. Intell. 13 (1991), 19--22 $\endgroup$ Feb 15, 2010 at 16:21
32
$\begingroup$

If I feel unhappy, I do mathematics to become happy. If I am happy, I do mathematics to keep happy.

P. Turan, "The Work of Alfred Renyi", Matematikai Lapok 21, 1970, pp 199-210

$\endgroup$
30
$\begingroup$

"[Mathematics consists of] true facts about imaginary objects." Philip Davis and Reuben Hersh.

$\endgroup$
30
$\begingroup$

"In science one tries to tell people, in such a way as to be understood by everyone, something that no one ever knew before. But in the case of poetry, it's the exact opposite!" -- Paul Dirac (some people attribute it to Franz Kafka!?)

$\endgroup$
28
$\begingroup$

A mathematician is a device for turning coffee into theorems. —Alfréd Rényi, but often attributed also to Paul Erdős

$\endgroup$
4
  • 76
    $\begingroup$ Ken Ribet once told me the story of how he was sent a freebie book "for possible use in your undergraduate classes" that he looked at and decided he didn't want, so took it to the second hand bookstore in his lunch break, sold it, and bought lunch with the proceeds. On the way back to the math department he realised he'd turned theorems into coffee. $\endgroup$ Nov 29, 2009 at 22:42
  • 80
    $\begingroup$ A comathematician is a device for turning cotheorems into ffee. A cotheorem is of course what one deduces from a rollary. $\endgroup$ Nov 30, 2009 at 19:02
  • $\begingroup$ I first heard this on Numb3rs. Fantastic quote! $\endgroup$ Dec 2, 2009 at 3:49
  • 5
    $\begingroup$ I think "A mathematician is a device for turning 'coffee', wink wink, into theorems" is more likely to be authentically Erdos, no? $\endgroup$ Dec 22, 2013 at 19:26
28
$\begingroup$

"Either mathematics is too big for the human mind or the human mind is more than a machine." - Kurt Gödel

A declaration of war by a Platonist.

$\endgroup$
25
$\begingroup$

"A mathematician who is not also something of a poet will never be a perfect mathematician"- Karl Weierstraß

$\endgroup$
25
$\begingroup$

«Allez en avant, et la foi vous viendra.»

Free translation: keep going, faith will come later.

Jean-le-Rond D'Alembert, to his students (quoted by Florian Cajori in A history of mathematics)

$\endgroup$
24
$\begingroup$

In the biographical piece on Grothendieck a couple of years ago in the Notices <<http://www.ams.org/notices/200410/fea-grothendieck-part2.pdf>> the author says "One thing Grothendieck said was that one should never try to prove anything that is not almost obvious". It's not a quote, but it is a nice succinct way of putting his 'nut' analogy given above.

$\endgroup$
22
$\begingroup$

I have put this quote in the front of my thesis:

There are two kinds of mathematical contributions: work that's important to the history of mathematics, and work that's simply a triumph of the human spirit - Paul Cohen, Stanford, 1996

$\endgroup$
2
  • 4
    $\begingroup$ It is hard to believe that there aren't third (and possibly further) categories of mathematical contributions that are neither important nor triumphal. $\endgroup$
    – LSpice
    May 10, 2011 at 17:12
  • 2
    $\begingroup$ I agree in general, though I suppose it could be argued that if one takes all mathematical contributions that aren't "important to the history of mathematics", then collectively they are a triumph of the human spirit (but I don't claim that this is what Cohen actually meant). When I first answered this question, I had just finished proving most of the main theorems for my PhD thesis, so the romantic notion of "triumph of the human spirit" kind of captured my mood at the time. Also, Cohen said this when interviewed for A Beautiful Mind, so he probably simplified things a bit for the public. $\endgroup$ May 11, 2011 at 5:58
22
$\begingroup$

Farkas Bolyai to his son Janos, speaking about attempts to study Euclid's Vth postulate on parallel lines:

"You must not attempt this approach to parallels. I know this way to its very end. I have traversed this bottomless night, which extinguished all light and joy of my life. I entreat you, leave the science of the parallels alone... I thought I would sacrifice myself for the sake of truth. I was ready to become a martyr who would remove the flaw from geometry and return it purified to mankind. I accomplished monstrous, enormous labors; my creations are far better than those of others and yet I have not achieved complete satisfaction.... I turned back when I saw that no man can reach the bottom of the night. I turned back unconsoled, pitying myself and all mankind.

I admit that I expect little from the deviation of your lines. It seems to me that I have been in these regions; that I have traveled past all reefs of this infernal Dead Sea and have always come back with broken mast and torn sail. The ruin of my disposition and my fall date back to this time. I thoughtlessly risked my life and happiness - aut Caesar aut nihil."

$\endgroup$
21
$\begingroup$

"There are five elementary arithmetical operations: addition, subtraction, multiplication, division, and… modular forms." - Eichler

$\endgroup$
1
  • 2
    $\begingroup$ Described as apocryphal in at least one source --- see other question. $\endgroup$ Nov 29, 2009 at 20:44
20
$\begingroup$

«Jusqu'à quand les pauvres jeunes gens seront-ils obligés d'écouter ou de répéter toute la journée? Quand leur laissera-t-on du temps pour méditer sur cet amas de connaissances, pour coordonner cette foule de propositions sans suite, de calculs sans liaison? … Mais non, on enseigne minutieusement des théories tronquées et chargées de réflexions inutiles, tandis qu'on omet les propositions les plus brillantes de l'algèbre…». Evariste Galois

(My poor translation: For how long will young people be forced to listening or memorizing during whole days? When will they be allowed time to ponder on this mass of knowledge, to coordinate the multitude of unconnected propositions, of unrelated calculations? … Instead, they are carefully taught truncated theories, loaded with unnecessary reflections, while omitting the most brilliant propositions of algebra…)

$\endgroup$
20
$\begingroup$

"Maybe at times I like to give the impression, to myself and hence to others, that I am the easy learner of things of life, wholly relaxed, "cool" and all that - just keen for learning, for eating the meal and welcome smilingly whatever comes with it's message, frustration and sorrow and destructiveness and the softer dishes alike. This of course is just humbug, an images d'Epinal which at whiles I'll kid myself into believing I am like. Truth is that I am a hard learner, maybe as hard and reluctant as anyone."

Grothendieck in Pursuing stacks (letters to Quillen).

$\endgroup$
19
$\begingroup$

"So far as the theories of mathematics are about reality, they are not certain; so far as they are certain, they are not about reality." - Albert Einstein

(Personally, I'd take certainty over being about reality any day)

$\endgroup$
1
  • 9
    $\begingroup$ If this quote were from a mathematician, it would probably not contain the same information twice... $\endgroup$ Aug 14, 2018 at 20:40
19
$\begingroup$

"You don't have to believe in God, but you should believe in The Book." --- Paul Erdős. describing the Book held by the God that contains the most beautiful proofs to all the theorems

$\endgroup$
1
  • 5
    $\begingroup$ You wanted probably this: "You don't have to believe in the S.F., but you should believe in The Book." $\endgroup$ Nov 8, 2010 at 13:41
18
$\begingroup$

“The mathematician's patterns, like the painter's or the poet's must be beautiful; the ideas, like the colors or the words must fit together in a harmonious way. Beauty is the first test: there is no permanent place in this world for ugly mathematics.”- Godfrey Harold Hardy

$\endgroup$
17
$\begingroup$

My favorite math quote will probably always be Paul Gordan's response to Hilbert's proof of his Basis Theorem: "This is not Mathematics. This is Theology."

Along with his redaction after he came to accept the method: "I have convinced myself that even theology has its merits."

$\endgroup$
1
17
$\begingroup$

"The mathematician does not study pure mathematics because it is useful; he studies it because he delights in it and he delights in it because it is beautiful." - Henry Poincaré

$\endgroup$

Not the answer you're looking for? Browse other questions tagged or ask your own question.