tea.mathoverflow.net - Discussion Feed (what is the main goal of a paper really)2018-11-04T16:07:43-08:00http://mathoverflow.tqft.net/
Lussumo Vanilla & Feed Publisher
bsteinberg comments on "what is the main goal of a paper really" (17544)http://mathoverflow.tqft.net/discussion/1244/what-is-the-main-goal-of-a-paper-really/?Focus=17544#Comment_175442011-12-13T12:19:16-08:002018-11-04T16:07:43-08:00bsteinberghttp://mathoverflow.tqft.net/account/675/
I saw a few votes to reopen so I decided to try an edit to see if I could convey what was intended as the point of the question. In part I am torn between two arguments I have for a theorem and I am ...
As an example I have in mind from my own work, I have two ways to prove a certain finite dimensional basic algebra is hereditary. One is by counting the number of paths in its quiver and showing it is the dimension of the algebra. The proof is combinatorial but not even bijective. Anyone who reads the proof will agree it is correct, but nobody will have any feeling why this algebra is hereditary. The other proof goes through a long, circuitous homological path by which it is shown that yes Ext between simple modules vanishes after degree one. This proof requires much more effort on the reader to decipher than the short counting proof, but it is more informative and this is not an isolated case.
In fact, I claim it is possible to write a correct proof without understanding the result yourself. I have even seen authors admitting that they proved something via a "mindless" computation and they don't really understand why it is true. So I do not believe (a) and (b) are the same. The question is that in cases when they are different, what is preferable. A good answer of course maybe Qiaochu's idea of writing a blog! But I am happy to keep it closed if people really think it is not an MO-suitable question. Note it was CW from the beginning. I strongly believe all such questions with no right answer should be such.]]>
Ryan Budney comments on "what is the main goal of a paper really" (17540)http://mathoverflow.tqft.net/discussion/1244/what-is-the-main-goal-of-a-paper-really/?Focus=17540#Comment_175402011-12-13T11:09:41-08:002018-11-04T16:07:43-08:00Ryan Budneyhttp://mathoverflow.tqft.net/account/107/
Are options (a) and (b) different? They look to be essentially the same.
Are options (a) and (b) different? They look to be essentially the same.
]]>
quid comments on "what is the main goal of a paper really" (17539)http://mathoverflow.tqft.net/discussion/1244/what-is-the-main-goal-of-a-paper-really/?Focus=17539#Comment_175392011-12-13T10:53:00-08:002018-11-04T16:07:43-08:00quidhttp://mathoverflow.tqft.net/account/583/
Meta theread for:
What is the main goal of a paper really?
Quick facts: closed couple days ago. Now edited with the idea of reopening. 3 votes to reopen.
Personal opinion: I voted to close the ...
Meta theread for: