Monday, 9 November 2009

convention - Can a corollary follow a conjecture?

I think it's generally bad form to have a corollary dependent on an earlier conjecture. I recommend one of the following:



Theorem: Assuming Conjecture A, properties X, Y and Z are true.



or



Theorem: Conjecture A implies X, Y and Z.



Most importantly, it should be crystal clear that the result is dependent on the conjecture.

No comments:

Post a Comment