Now on-topic: I don't think the meta-forum is a good place to discuss non-meta questions. At least, the name and the layout are not inviting to do so. I would prefer 2 (or more) different forums. ]]>

Also, that idea might be good, but we have this meta forum right here. ]]>

So I suggest "forum.mathoverflow.net". ]]>

I think you raise some good points in your post (although on balance I disagree with the implication that imprecise questions are bad), but this is just silliness. When humans do mathematics with other humans, and they say "are there necessary and sufficient conditions for a graph to be Eulerian?" then clearly they don't want an answer like "A graph is Eulerian iff it's Eulerian." Presumably if someone habitually answered questions like that, he would have his math license revoked. Generally speaking, they also don't want something totally trivial like "A graph is Eulerian only if it has at least one vertex." If someone were to ask me that question, I'd say that a graph is Eulerian iff it's connected and every vertex has even degree. If for some reason I didn't know that this was sufficient, I might say, "Well, I don't know a full answer, but it's not too hard to see that it's necessary for the graph to have even degrees, and be connected." Certainly I <i>wouldn't</i> say something along the lines of "Well, do you want nontrivial properties that imply that a graph is Eulerian? that every Eulerian graph satisfies? preferably both?" Unless I'm having lunch with an automated proof system, this is pretty much all assumed as part of the question. ]]>

A couple of weeks ago when I started looking at MO, I could see several interesting examples of maths questions. I love little maths puzzles was often tempted to try and answer them. I just want to make the remark that at the minute there are loads of questions on MO and I think it's reasonable to say that many of them and perhaps even most of them are not maths questions. They are questions about mathematics, sure, but they are not questions in the traditional "example sheet" sense. They are questions of the form "can anyone say anything about X" or "where's a good place to learn about X" or (my pet hate) "can anyone give me necessary and sufficient conditions for when X is true". The reason this last one is my pet hate is that the answer is trivially "yes: X is true iff X is true".

My discussion with Andrew on this point (which actually seemed to coerce him into asking a more precise question) seemed to quickly focus on the following issue: when someone says "give me necessary and sufficient conditions for X to be true", clearly "X is true iff it's true" is an inappropriate answer (even though it's logically correct), which seems to indicate that the real question is something else. My belief is that the real question is often "can someone give me non-trivial examples either of the form "X implies Y" or of the form "Y implies X" or, preferably, of the form "X iff Y" ".

This post isn't a question. It's really just a talking point. It's a pet peeve of mine when someone asks a question which admits a trivial answer because to me it indicates that they haven't really formalised what question they really wanted to ask. On the other hand in my opinion MO is sort-of deluged with this sort of question at the minute. That may or may not be a good or bad thing. The only reason I'm posting here is that Andrew asked me to. I suspect that Andrew will have comments to make on this issue, and clearly the remarks on his MO question were not the place to make them, but now he has a chance to make them here :-) ]]>