2
$\begingroup$

The 'proofs' tag is not allowed.

Use proof-writing if you'd like advice on the presentation of your proof, or proof-verification if you'd like feedback on its validity.

Otherwise, simply tag the question according to the area of mathematics that it concerns.

Plainly it is not true that all questions about proofs are ask for advice on writing proofs or verification of proofs. We have , which is "for explanation and clarification of some steps of a particular proof" and , which is about "proof[s] as formal mathematical objects".

None of the above fits for this question.

That all questions about proofs fit within what is quoted above, so that the word "Otherwise" is appropriate, is exaggerated.

I have created the tag. Is there a better way to do this?

$\endgroup$
  • 7
    $\begingroup$ Any reason why you think you need to add a tag concerning proofs, instead of "simply tag the question according to the area of mathematics that it concerns" as suggested? $\endgroup$ – user99914 Jan 25 '18 at 5:20
  • 3
    $\begingroup$ Unfortunately, I do not think this is a good tag. Classifying a question as "trying to understand a proof" isn't necessary - it's implied by the question itself. It doesn't help to organize, because there aren't enough commonalities between questions that are about understanding particular proofs. $\endgroup$ – user296602 Jan 25 '18 at 5:39
  • 3
    $\begingroup$ The current revision of the question starts with a quote without any explanation where this quote is taken from. So I'll add that this is the warning which a user gets if they try to make a post with the blacklisted (proofs) tag. I have added also a screenshot in this answer. $\endgroup$ – Martin Sleziak Jan 25 '18 at 8:49
  • 1
    $\begingroup$ I have seen many post beg8nning with confirmation of proof: … including my own ones, so perhaps we could invent a tag (confirmation-of-proof) or (proof-confirmation) as well? $\endgroup$ – Mr Pie Feb 2 '18 at 6:22
  • $\begingroup$ @user477343 Isn't the existing tag (proof-verification) basically what you're asking for in your comment? $\endgroup$ – Martin Sleziak May 22 '18 at 5:24

You must log in to answer this question.

Browse other questions tagged .