Timeline for (solution-verification) tag
Current License: CC BY-SA 3.0
6 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Apr 11, 2013 at 20:22 | comment | added | TheRealFakeNews | I agree with zyx, what if it's a computational problem? And if a major portion of the proof is wrong, then you don't have short "yes" answers. This is probably more likely since the OP is unsure with her/his proof to begin with. | |
Apr 9, 2013 at 18:32 | comment | added | zyx | Not all solutions that might need (solution-verification) are proofs. | |
Apr 9, 2013 at 12:38 | comment | added | Martin Sleziak | Judging from the upvotes to this answer (and to Asaf's comment, which the answer reflects) I guess that I am not the only one, who understands the proof-writing tag as an appropriate tag for "check-my-proof" type of questions. (And I have used the tag in this way.) But when I read the tag-wiki now, it seems to be closer to your interpretation. | |
Apr 9, 2013 at 12:23 | comment | added | Dominic Michaelis | Well as I unterstand the tag-wiki it is for "I already have proof that is right, but I want to improve it". So for example questions like "The intermediate steps in my proof are very long, shall I make a lemma for that ?" would fit in the proof-writing tag as i unterstand it | |
Apr 9, 2013 at 12:15 | comment | added | Martin Sleziak | I am not sure that I agree on what you call the abuse of proof-writing tag. The tag-wiki mentions as one example of usage of this tag: "Here is a proof about [x-mathematical idea]. How can it be improved?" | |
Apr 9, 2013 at 12:12 | history | answered | Dominic Michaelis | CC BY-SA 3.0 |