4
$\begingroup$

I'm not sure which questions fall under the tag . In particular, are questions which essentially ask for a specific proof of a statement appropriate? The current tag description:

Questions about methods and techniques for proving theorems.

doesn't seem to exclude this case, while maybe it should.

Perhaps a description such as

Questions about general methods and techniques for proving multiple theorems. When asking about the proof of a single statement, use [some-tag-specifically-for-proofs?] instead.

would be better.

Should the tag excerpt be changed? Should some tag specifically for proofs be created? (We already have the tag, but that deals specifically with the correctness of algorithms, while proofs of other statements or even other properties of algorithms can also be on-topic). Any further thoughts?

$\endgroup$
  • $\begingroup$ I think you understood the intent of the tag well. Your proposed tag description is indeed better; I'd put something like "use tags relating to what the proof is about instead". That's what we've been doing, anyway. $\endgroup$ – Raphael Jan 22 '18 at 19:12
3
$\begingroup$

I've gone ahead an suggested a new tag description to :

Questions about general methods and techniques for proving multiple theorems. When asking about the proof of a single statement, use tags relating to what the proof is about instead.

, which got accepted. I feel the tag intent is more clearly represented now.

$\endgroup$
  • $\begingroup$ I think so, too, thanks! $\endgroup$ – Raphael Jan 24 '18 at 18:27

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .