User talk:KarlFrei

Welcome to ProofWiki! Since you're new, you may want to check out the general help page. It's the best first stop to see how things are done (next to reading proofs, of course!). Please feel free to contribute to whichever area of mathematics interests you, either by adding new proofs, or fixing up existing ones. If you have any questions please feel free to contact one of the administrators, or post your question on the questions page.

Here are some useful pages to help get you started:
 * Community Portal - To see what needs to be done, and keep up to date with the community.
 * Recent Changes - To keep up with what's new, and what's being added.
 * Check out our house style if you are keen on contributing.
 * Main Page talk - This is where most of the main discussions regarding the direction of the site take place. If you have any ideas, please share them!

Cheers! prime mover (talk) 03:51, 6 September 2018 (EDT)

New proofs of existing results
Hi

Please note that when you develop a new proof of a result which has already got a proof for it, this should be added as a separate proof. Please do not replace an existing proof.

This is specifically with reference to Inverse of Positive Real is Positive. --prime mover (talk) 08:31, 18 September 2018 (EDT)


 * Sorry. I did not view this as a new proof but only as a constructive version of an existing proof (basically just reorder the lines). However, I've now realized that it doesn't even work, so I've gone back to the previous version. Again, apologies! KarlFrei (talk) 08:43, 18 September 2018 (EDT)

New proofs of existing results
Hi

Please do not just replace an existing proof with a new one, even if the new one does look better to you than the one it replaces.

I have reversed out your latest edit, and I will now do the job of re-incorporating the new one as a separate proof. --prime mover (talk) 07:41, 23 September 2018 (EDT)


 * ... There. Like that. --prime mover (talk) 07:51, 23 September 2018 (EDT)


 * Sorry, I am really not trying to be difficult, but in this case I thought the replacement I did was obvious.


 * The old proof was essentially A -> B -> C -> D and D -> C -> B -> A (wrapped in two proofs by contradiction). I replaced this by A <-> B <-> C <-> D. Surely this kind of change is unproblematic?? What is the point of keeping the two directions separate? KarlFrei (talk) 11:14, 23 September 2018 (EDT)


 * Also, it seems you could at least keep in the proofs by contraposition which I put in (and which you have been allowing so far). I really don't see what is so problematic about these minor edits. KarlFrei (talk) 11:18, 23 September 2018 (EDT)


 * Your new proof remains in place. As for the one you changed from being a proof by contradiction to a proof by contraposition, I can't see what you're complaining about. You deleted it. --prime mover (talk) 16:14, 23 September 2018 (EDT)

Even if a proof is supposed to replace another because it is "better" in some relevant way, it is usually good to have this idea checked by other contributors. We have merged two proofs of the same result on occasion, when the differences were deemed sufficiently negligible. However it should be noted that these were exceptions. &mdash; Lord_Farin (talk) 16:43, 23 September 2018 (EDT)