User talk:Asalmon

Peano's Axioms
Sorry but I'm not sure I agree with your edits here. My reasons are on the talk page. What's your views on this in light of my comments? --prime mover 16:21, 8 September 2011 (CDT)

Hint for tracking changes
If you make sure that any page you edit gets added to your watchlist, then any questions that are raised on the talk page of that page will automatically make sure you are notified. In that way it would not be necessary to specifically send you a message on your talk page that such-and-such a page has changed. --prime mover 00:35, 9 September 2011 (CDT)

Reinvention of wheels
One thing I would watch out for is the danger of recreating proofs which have already been done. I recommend you take some time out to study what already exists in the field that you're thinking of contributing to before you spend a lot of time creating proofs.

As an example, there is a massive wealth of simple results in Category:Set Theory and its subcategories which you shoud be able to use directly, rather than working through them again blow by blow. In particular there's Intersection with Subset is Subset which gives you $S \subseteq T \iff S \cap T = S$, which you proved again in Axiom of Subsets Equivalents.

Just a thought. --prime mover 13:53, 10 September 2011 (CDT)

Keep structure clean
When you add interesting little comments to pages, please try and keep them out of the "Proof" (or "Definition" or "Theorem" sections) as these are more-or-less formal expositions of subject matter. Asides are best inserted into "comment" or "also see" or "notes" or "warning" sections, or whatever is most appropriate.

The plan is to make the formal expositions of such a standard and quality that they can be interfaced with an automatic proofing system (probably years away yet, and no firm strategy yet). --prime mover 14:56, 11 September 2011 (CDT)