tag:blogger.com,1999:blog-264226589944705290.post6384309999319115549..comments2021-12-14T05:53:12.175-08:00Comments on God Plays Dice: Organization of papersMichael Lugohttp://www.blogger.com/profile/15671307315028242949noreply@blogger.comBlogger4125tag:blogger.com,1999:blog-264226589944705290.post-88751893850183385202008-10-01T13:05:00.000-07:002008-10-01T13:05:00.000-07:00I don't know if the order in which one writes a pa...I don't know if the order in which one writes a paper should always follow the logical ordering of the proof. For example, you should state your big theorems at the beginning so the reader knows what the paper is about, and it is often useful to state a major lemma before its supporting lemmas in order to motivate all the proofs of the smaller lemmas. The order of the proofs should often follow the logical order, but not always. If there's a long proof of a technical lemma that doesn't help with one's intuition, you may as well put it at the end of the paper.<BR/><BR/>I think a paper should follow an order that best motivates the discussion and promotes a nice flow of ideas, while keeping close enough to the logical order that the reader can piece together the logical flow on their own. But, of course, my research is in a subject where the types of proofs are probably quite different than yours.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-74226365469738745472008-09-30T22:44:00.000-07:002008-09-30T22:44:00.000-07:00Nabokov wrote his books this way. One interesting...Nabokov wrote his books this way. One interesting side affect (supposedly, I've never checked it myself) is that the lengths of his pargraphs are bimodal: one index card or two.Noahhttps://www.blogger.com/profile/13307255016779382983noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-15932310113499585872008-09-30T21:02:00.000-07:002008-09-30T21:02:00.000-07:00Let's just hope it IS a partial order--you don't w...Let's just hope it IS a partial order--you don't want to lay out all your topics into a graph and find a cycle in there!Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-6094242278258326092008-09-30T19:42:00.000-07:002008-09-30T19:42:00.000-07:00When I was working on my book, I tried to explain ...When I was working on my book, I tried to explain this same point in almost exactly the same terms to my editor. I don't think I was very successful.<BR/><BR/>I often think of the problem in terms of finding a Hamiltonian path in a partially-ordered graph. The nodes of the graph are the topics I need to discuss, and the path is constrained partly by adjacency (which topics are related enough that there are good transitions between them) and by the need to extend the partial order to a total order (which topics are prerequisites for which).<BR/><BR/>Since the nodes in any one subject area will tend to form a highly-connected subgraph, a good heuristic is to consider the reduced graph that replaces each subject area with a single node, solve the problem first on the reduced graph, and then extending the path on the reduced graph by finding an appropriate path into and out of each subject-area clique.<BR/><BR/>This really is how I think about it, although I don't actually draw the graph. But I am often aware, as I write a book chapter or talk, of the backtracking search as I first find an approximate path that hits almost all the vertices, and then perturb it locally to shoehorn in the last few topics.Mark Dominushttps://www.blogger.com/profile/17698641253266210249noreply@blogger.com