Should I put the proof after each theorem, proposition?
Or should I put them in an appendix of the chapter, or of the whole
thesis?
I think it depends on the style of the thesis, and the number of
proofs. I looked around on the work of people working in similar
topics, or just near me for some other reason.
On the very theoretical side of the spectrum is the thesis of Hubie
Chen, who I share office with, has all the proofs immediately after
each theorem. His works is quite conscious and I think it make sense.
Less theoretical is the thesis of Ron Petrick, who did experiments. His
proof are in the appendix. It makes sense as his work is very technical
and the proof has lot of details. Adding them in the main text, would
have make the text impossible to follow.
The thesis of Blai Bonet and the thesis Patrik Haslum are theoretical
and experimental. They both put the proofs on the main text.
In journals in my area (like Artificial Intelligence Journal - AIH,
Journal of Artificial Intelligence - JAIR) people do both, depending on
the needs. For the article we are working at, we choose to put them in
an appendix. There are lots of ideas, and putting the long proof on the
body is not a good idea.
For my work, the situation is heterogeneous. In general have both
theoretical and experimental work, as Blai and Patrik. (Not surprising,
just see coauthors of both of them, and you will find my advisor). I
think for the first part, I will put the proof in the main text. There
are not many of them. For the last part, corresponding to this article
we are working at, I would like to keep the separation. I'm worried
about not following the same "policy" across the whole document. What
do you think?
