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$
1
  • $\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 Mod
    Commented Jan 22, 2018 at 19:12

1 Answer 1

Reset to default
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$
1
  • $\begingroup$ I think so, too, thanks! $\endgroup$
    – Raphael Mod
    Commented Jan 24, 2018 at 18:27

You must log in to answer this question.

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