22
$\begingroup$

My question, motivated by idle curiosity while sitting in LaGuardia airport, is the following. You've just proved nice result A and it is time to write the paper. What is the real goal of the paper?

(a) to get the reader understand why result A is true.

(b) to convince the reader result A is true.

In some cases it may be feasible to do both. But often there is some tension between (a) and (b). To understand a result one needs global understanding. One may need to do some ugly computations in coordinates or deal with pictures that LaTex doesn't handle.

On the other hand to check the truth of a paper it is often easier to have local understanding because humans can only keep so much info in their brain at once. So if (b) is your goal you will work hard to break things up into smaller certifiable statements. That way once the reader has been convinced that Lemma X is true they can work with the statement and forget why it is true. To make it easier to check a proof one is often led to invent new formalisms or language and find coordinate free arguments. This can affect negatively (a) because you may not see the forest because of the trees.

I'd like to get the community's opinion. Usual Community Wiki rules are applicable.

Edit in hope of reopening. Perhaps if I make things more specific I can get the kind of answer I wanted and things would be less subjective. Suppose I have 2 proofs that finite sets $X$ and $Y$ have the same cardinality. One is proof is a relatively easy computation of the sizes of each set using known identities with binomial coefficients, Stirling numbers, etc. Any decent referee would follow it. The other proof is an involved bijection between $X$ and $Y$ whose details would be involved to check. Space considerations in the journal do not allow for both proofs. Which one should I submit?

$\endgroup$
11
  • 3
    $\begingroup$ Is it really hard to do both at once? In my experience, heuristics that clears up things at the expense of verifiability tends to actually obscure things when read by somebody not already familiar with the subject. $\endgroup$ Dec 10, 2011 at 0:47
  • 6
    $\begingroup$ Vote to close as subjective and argumentative. This is by an large a matter of style/taste. Answers might make a nice/interesting read, but questions like this on MO cause too much direct and indirect difficulties. $\endgroup$
    – user9072
    Dec 10, 2011 at 1:40
  • 4
    $\begingroup$ My answer: both (a) and (b). An author who doesn't try to do both has failed. (there, I'm both subjective and argumentative!) $\endgroup$ Dec 10, 2011 at 7:18
  • 2
    $\begingroup$ It also somewhat depends on the field, I guess. As a mathematical physicist, having a correct proof of a statement is far from enough for me (the fact that the statement holds having already been established with reasonable certainty by theoretical physicists). What I very much care about is really understanding why the statement is true, and that's the main purpose of a proof for me. So, a paper which can only be checked line by line, without ever leading to a full picture is useless, as far as I am concerned (as are proofs relying on long, unenlightening computations). $\endgroup$ Dec 10, 2011 at 11:09
  • 6
    $\begingroup$ Meta thread at tea.mathoverflow.net/discussion/1244 $\endgroup$
    – user9072
    Dec 13, 2011 at 18:53

4 Answers 4

56
$\begingroup$

Papers are written so that their author(s) can forget their content and move on to other things. Therefore when you write you should be very careful to put in enough of the big picture and enough of the details so you'd be able to reconstruct your thoughts 10 years later if you'll need to, assuming you'll forget everything but retain some familiarity with some basic principles of mathematics.

$\endgroup$
8
  • 2
    $\begingroup$ 10 years? I envy you! $\endgroup$ Dec 10, 2011 at 1:19
  • 5
    $\begingroup$ This purpose seems more easily accomplished by blog posts (I understand this is what Terence Tao uses them for, for example). $\endgroup$ Dec 10, 2011 at 1:21
  • 11
    $\begingroup$ I should like to vote several times this answer. When I come back to my own articles, two decades all, I often feel lost... $\endgroup$ Dec 10, 2011 at 15:33
  • 4
    $\begingroup$ Papers are written without any (explicit) regard for readers other than the author himself/herself? :( $\endgroup$ Dec 15, 2011 at 1:52
  • 3
    $\begingroup$ Surprisingly for me, I have heard similar answer from Yuri Manin, he told me he writes papers keeping in mind himself after 10 years as a reader. Actually I do not quite agree with such position - since I guess not so many people as smart as him that probably means it might would be difficult to understand his papers... On the other hand hearing this for the second time, makes me think that may be I am not wise enough to take accept the truth :):) $\endgroup$ Dec 19, 2011 at 20:12
40
$\begingroup$

I would add

(c) To convince the reader that I had a good reason for caring that A is true.

This has seemed sadly lacking in many of the papers I've refereed (sample bias, probably). Of course this goal is not easy to achieve, but I do sometimes wish authors would make more effort.

$\endgroup$
3
  • 1
    $\begingroup$ Good point. I think that is compatible with both (a) and (b). My point was whether the goal is to be understandable at an intuitive level or at a technical level. $\endgroup$ Dec 10, 2011 at 4:41
  • 2
    $\begingroup$ I should perhaps clarify that the "I" in (c) means the author. That is, I see too many papers which don't even tell me why the author wanted to prove that theorem, let alone start to convince the reader that he or she should care. I have probably been guilty of this fault myself. $\endgroup$
    – Yemon Choi
    Dec 10, 2011 at 5:38
  • $\begingroup$ Why he proved the theorem? Because he wanted that postdoc position or other and needed x number of papers to be relevant on the academic job market? No.. that can't be it. $\endgroup$ Jul 3, 2014 at 8:25
9
$\begingroup$

As you say, one goal of a paper is to certify that something is true. But the author should be more concerned with the result's certifiability than any reader. The author, being human, also requires the result to be broken up into smaller and more easily verified pieces. I can't count the number of times that I have proved a statement modulo certain details, and upon writing them up carefully I discovered that a new case emerged or the statement of the theorem needed to be altered in some (perhaps material) way.

The introduction of a paper is a great place to sketch an overview or give heuristics ... most readers will not venture beyond it anyway.

$\endgroup$
7
$\begingroup$

Put (a) in the introduction, and explanations between theorems and lemmas. Then use proofs to achieve (b).

$\endgroup$
1
  • $\begingroup$ This can work sometimes, but ofttimes I think it does not unless the intuition is still close to the final proof. Maybe the original proof was via explicit computation with chain complexes, but after you knew the proof you could use fancy homological algebra to avoid the messy stuff. $\endgroup$ Dec 13, 2011 at 17:53

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