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)

Symbol definition
Would it be a good idea to set up a special page for symbols? We "all know" what $$+, -, \times, =$$ etc. mean, but when we get into the technical details of things like $$\nabla, \varnothing$$ and so on, it would be sweet to have a quickly-accessed glossary page defining all the symbols.

--Matt Westwood 06:31, 24 July 2008 (UTC)

Illogical, Captain
I have set up a page "Definition:Logic" and also tried to set up "Logic" as a category, but I must have done that wrong because it said it entered it in "Category::Category" so I hope I haven't given you too much of a headache to sort out.

No apologies for the number of (seemingly trivial) entries in "Definitions", there is madness to my method.

--Matt Westwood 18:43, 25 July 2008 (UTC)

Hey, I deleted the logic category for now, trying to keep all definitions for now under category definitions. If it gets to the point where we need to organize definitions, then something will have to be thought up, since we can't confuse the categories for proofs and definitions.--Joe 18:51, 25 July 2008 (UTC)

Definitions stuff
I've yet to figure out how to get rid of the namespaces from the definitions category. But I do know how to get it to sort differently, when you add the page to the category do as follows:

If definition is graph, then the box would be

Categories:Definitions|graph this will will give the page a sort key of 'graph', so it will be under G in the categories page. Hope this works/makes sence --Joe 20:26, 25 July 2008 (UTC)

Hmm ... not sure it does (or I'm doing it wrong)
The way I add a new page is to enter its name into the "Search" box and hit "Go" and it will ask me whether to start that new page it can't find. I've studied the docs and I can't figger out how else to start a new page.

But when I enter, for example, "Categories:Definitions|Wibble" and press "go" it won't give me that option of generating the page. Suggestions as to how to go about starting a new page? Or the link that tells me how?

I'll carry on doing what I'm doing at the moment to keep the ball rolling ...

--Matt Westwood 20:59, 25 July 2008 (UTC)

that's how you create a page, but when you put assign it a category, you have to add the | The page name Will still have Definition in front, but on the category page, it will be organzied by what comes after the |.

See this page for an example, and go to the Definitions category too see where its placed--Joe 21:24, 25 July 2008 (UTC)

Gotcha. Cooking with gas now.--Matt Westwood 22:53, 25 July 2008 (UTC)

Uppercase Greek
In LaTeX, uppercase Greek letters that are the same as Roman uppercase letters are not included in the standard language. With this in mind, it appears that some have been very kindly set up on this site.

However, they do not appear in the same format that the other uppercase letters are given in.

For example,

$$\Alpha$$ appears as $$\Alpha$$ (italics), but

$$\Gamma$$ (a LaTeX inclusion) appears as $$\Gamma$$ (no italics).

I believe that for consistency, it would be nice to have

$$\Alpha$$ specified as

$$\textrm{A}$$ which would then appear as $$\textrm{A}$$. There might be an argument for using

$$\mathrm{A}$$ - it looks basically the same: "$$\mathrm{A}$$" but I believe LaTeX treats it differently.

Proof the week
Proof of the week suggestions --Joe 15:59, 2 August 2008 (UTC)

I like this one:

http://proofwiki.org/wiki/There_exist_irrational_a_and_b_such_that_a%5Eb_is_rational

--Matt Westwood 17:06, 2 August 2008 (UTC)

Any suggestions for this coming proof of the week? --Joe 15:33, 9 August 2008 (UTC)

Boy, have you guys got stability problems
I've tried 5 times now to upload the final proof on the Conjunction and Implication page, but it keeps 404'ing on me.

Is there a page size limit? (in which case we have real big problems when it comes to FLT) - or is it just the time of day or something (see time on autosig)?--Matt Westwood 07:43, 3 August 2008 (UTC)

Update: Finally got this to work, but as I say, it took several attempts.

Rats - it's done it to me again! That's 40 minutes of my life I'm never going to get back!

Yes I know I ought to write the entire proof in a separate text editor and copy and paste it in, but that's not the point.--Matt Westwood 18:26, 4 August 2008 (UTC)

I haven't experienced the problem, and the server seems to be working fine. What if you try using the Show preview button, maybe that will help. At least then TeX will be rendered and saved to the site. Might help to decrease upload times when you save a page. I'll try uploading some large things to the sandbox, and see if I encounter and problems--Joe 18:29, 4 August 2008 (UTC)

Yes, that's what I have been doing. Gives me "This page can not be found" or whatever variant. Pressing the "refresh" button gives me a blank text editor. Pressing "back" has a similar effect. The prudent man would control-c the entire posting into his clipboard before pressing those pesky buttons - but sometimes I forget ...--Matt Westwood 19:31, 4 August 2008 (UTC)

Anyway, when you have pressed "Show preview" and seen it looks good, and for the fifty-eighth time in ten microseconds the browser has crashed on you when you press "Save page", how do you recover your edits?

If your browser crashes, there's probably not much you can do. Maybe there could be something wrong with your browser or internet connection? I haven't experienced any problems, and I've check the sever and it doesn't appear to have had any downtime or problems. I recommend checking your browser logs to see why it crashed. --Joe 19:13, 5 August 2008 (UTC)

Hmm ... that's an idea ... I'll have to find out where those live. Such info isn't all that obvious. --Matt Westwood 20:29, 5 August 2008 (UTC)

What browser are you using? If it's firefox, just type about:crashes in the url bar. If it's not firefox, it should be. Try a different browser and see if it helps.--cynic 22:21, 5 August 2008 (UTC)

"If it's not firefox, it should be." It is now! Good call. I ought to have done that ages ago.--Matt Westwood 10:32, 10 August 2008 (UTC)

I've made another mistake
I've just entered a page called "Definition:Compositon of Relations". Duh. Needs to be changed to "Composition".--Matt Westwood 21:22, 8 August 2008 (UTC)

No problem, all you have to do, select 'move', its a tab near the top. Then delete the page, using the 'delete' label. --Joe 21:36, 8 August 2008 (UTC)

Gotcha. Will do.--Matt Westwood 21:53, 8 August 2008 (UTC)

I've already moved that one for you! --Joe 22:05, 8 August 2008 (UTC)

Small proofs
During the course of establishing a definition, I find it is sometimes a good idea to include on that page some obvious, small proofs which are probably not worth setting up as full-blown pages in their own right. See what I've done, for example, on the page defining reflexivity.

What's the general consensus on this one? Should we enter a fresh page for these simple proofs or would it be better to keep them next to where the definitions are?--Matt Westwood 11:15, 10 August 2008 (UTC)

I would say if it is a proof we might as well make a new page for it. --Joe 14:41, 10 August 2008 (UTC)

Okay no problem - just didn't want to litter the DB with fragments. --Matt Westwood 15:14, 10 August 2008 (UTC)