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$
5
  • 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
    Commented Jan 25, 2018 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
    Commented Jan 25, 2018 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
    Commented Jan 25, 2018 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
    Commented Feb 2, 2018 at 6:22
  • $\begingroup$ @user477343 Isn't the existing tag (proof-verification) basically what you're asking for in your comment? $\endgroup$
    – Martin Sleziak
    Commented May 22, 2018 at 5:24

0

Reset to default

You must log in to answer this question.

Browse other questions tagged .