Talk:Main Page

Please Post Any Ideas
When writing proofs it would be useful to be able to reference definitions. As well as proofs, then, it would be useful to have a completely different section containing definitions, which could of course themselves contain (or reference) proofs which these definitions rely on.

This leads us on to axioms. Would it be worth adding a page detailing the ZF axioms, and another detailing the axioms of propositional logic? All mathematics can be derived (sooner or later) from these, so we could use that as a basis for this entire operation. I have a 1300-page document sitting on my computer which is an attempt to do just this (it just needs a lot of work to make it web-friendly and wikified).

Having done that, it would be an interesting idea to make sure that every result uses as its basis an existing result, all the way back to these axioms, and we may even be able to create a dependency tree (okay it won't be a "tree" as such, it will have more than one path for most of the proofs, but you see what I mean).

Having done that, we can then make an attempt to rigorously identify which proofs rely upon, for example, the Axiom of Choice and (if we're really ambitious) upon the Law of Excluded Middle.

Category change
What does everyone think about moving the Category Categories to be Proofs, and create a new Category Definitions and and a new one Axioms, then inside Categories, put Proofs,Definitons, and Axoims. I think It'll allow for better organization, all we'll have to do is fix the categories that are now part of Categories to be instead in Proofs. What do you think? --Joe 23:01, 22 July 2008 (UTC)

I've given you something to work on
I've added the definition "Set" and basic pages stating the Zermelo-Fraenckel Axioms are in place.

I have not been able to appropriately set the category of "Set" - can I leave that up to an admin guy?

--Matt Westwood 06:35, 23 July 2008 (UTC)

What category do you want it set to? It shows as belonging to Category: Definitions Should it in something else? --cynic 00:59, 24 July 2008 (UTC)

Oops
I've just realised that I've been consistently spelling Zermelo-Fraenkel wrong. There's no c in Fraenkel.

Would it be worth setting up a page for "errata"? I'm notorious (in certain circles) for making mistakes.

Done, see Proofwiki.org:Errata--cynic 00:59, 24 July 2008 (UTC)

namespace problem
The problem with adding "Definition" or "Proof" in front of the namespace of each entry, is that when you look in the proof index or category index, they all end up under "D" or "P". See what's happened with the "Definitions" category.

Would it be possible for the namespace to be just (for example) "Empty Set" and for the category to be assigned automatically and invisibly?

Or if that can't be managed, put the category (Def/Axiom/Proof) at the end?

I don't think that's doable, but Joe might be able to mess with the settings to hide the namespace for indexing. Don't spend to much time on it though. On a side note, don't put proofs: in front of the proofs, they automatically go into the main namespace, which is where they belong.--cynic 00:59, 24 July 2008 (UTC)