Talk:Main Page

LaTeX is broken again ...
Check out Properties of an Ordered Ring ... --Matt Westwood 06:29, 26 September 2008 (UTC)

On it again, I think it's the same problem. --Joe 10:10, 26 September 2008 (UTC)

Working again! --Joe 13:37, 26 September 2008 (UTC)

Good man ... --Matt Westwood 18:23, 26 September 2008 (UTC)

POTW Suggestions
Anybody have a suggestion for proof of the week? --Joe 19:51, 27 September 2008 (UTC)

Don't pick any of mine, they're well known for being badly flawed. --Matt Westwood 20:13, 27 September 2008 (UTC)

How about the Quadratic Equation? And Matt, considering that you've posted several hundred proofs, it's inevitable that some of them will have errors of varying degrees of seriousness. --cynic 23:30, 27 September 2008 (UTC)

Sounds good! --Joe 23:37, 27 September 2008 (UTC)

On a side note, how do you go about changing the POTW? --cynic 23:43, 27 September 2008 (UTC)

If you edit the main page, then go to the bottom, there is a list of transculded pages and templates. POTW is Potw. --Joe 00:30, 28 September 2008 (UTC)

New users
I was thinking, we should try to write on new users discussion pages welcoming them to ProofWiki, and let them know where they can go to ask questions and that kinda thing. Would you guys (namely Cynic and Matt) be up for that? --Joe 23:46, 8 October 2008 (UTC)

yep, no problem with that ... I see people join but not many seem to contribute. Perhaps encourage people to "submit any old stuff, just to get the info in there, no matter if it's not 100% rigorous, it can always be tidied", sort of thing? Up to you. --Matt Westwood 05:19, 9 October 2008 (UTC)

Great idea, I've started a small section on my page that I can copy to a new users page when they join. Feel free to take that and modify/use. --Joe 11:03, 9 October 2008 (UTC)

Should we interwiki?
Does anybody know how to create interwikis? For example, so that I can link to Knol, MyWikiBiz, and PlanetMath articles by using the forms:

Knol:&hellip;, MyWikiBiz:&hellip;, and &hellip; ? Jon Awbrey 12:30, 9 October 2008 (UTC)

It should be possible to add an interwiki feature, we should probably put it to a vote to see what others think on the matter. I'll put the question up on the main page discussion .--Joe 15:10, 9 October 2008 (UTC)

I've copied this text from the origonal page so we can chat about it here. --Joe 15:18, 9 October 2008 (UTC)

Column Templates?
Another thing that might be nice to have &mdash; maybe some way to import from Wikipedia? &mdash; is the set of templates for creating evenly spaced columns:, ,. Jon Awbrey 13:04, 9 October 2008 (UTC)

It would be a good idea to implement these ideas here, I'm currently working on other parts of the site, so if someone else would like to set up these templates that would be awesome. --Joe 15:13, 9 October 2008 (UTC)

I confess I'm not a fan of just importing stuff from Wikipedia. If what we're providing is just another Wikipedia clone, then IMO we're not adding much value to the internet. I'd like to think that we're adding something, be it a pithy precis of something that may already exist (which is the direction I like to tend to go), or an expanded explanation of something that may already exist (probably not my bag, man), or something genuinely new that isn't so far netified (the holy grail). Just repeating something that's already out there doesn't stroke any of my erogenous zones, so to speak. What's anyone else think? --Matt Westwood 20:36, 9 October 2008 (UTC)

I agree that we shouldn't copy things, but the idea of column templates is a good idea. If someone where to implement that idea I would be fine with it. So long as they didn't just cut and paste wikipedia code. --Joe 20:41, 9 October 2008 (UTC)

Line Break
So I've figured out what causes the line break before nowiki tags every time a page is edited. It's a glitch in the extension used to suggest categories. If we get rid of this extension then we would have no problems, but would to manually add the categories like this instead:

Note that usually if you would like to link to that category page you would write Category:Proofs What does everyone think on the topic of keeping this extension? --Joe 19:27, 9 October 2008 (UTC)

I vote to just get rid of it. Would probably make it a little more work to add a category (you have to know if the category exists), but probably better in the end. --Joe 19:32, 9 October 2008 (UTC)

Actually, I was pretty used to adding them manually, so it's no nose off my skin to drop the assist. Jon Awbrey 19:34, 9 October 2008 (UTC)

Agreed, none of our category names are so long that it would be especially burdensome. --cynic 19:41, 9 October 2008 (UTC)

Okay, I'll take it out, the help page will need to be updated though to show the new(which is really the old) way. --Joe 19:43, 9 October 2008 (UTC)

Sorry mate, don't like it. I don't mind being in a minority of one, but I'd much prefer to have the automatic helper because I'm an idle sod. I'm happy to be overruled, I know I'm just one guy. --Matt Westwood 20:47, 9 October 2008 (UTC)

I agree that the other way is much easier, but it does cause some problems that I've been trying to fix for some time now. The line break before the nowiki, and when transcluding template pages, how to have it so that the template page is not included in the category(notably the stub, explain, tidy, and proofread templates). At the bottom of the editing page, I've added, so all you have to do is click on them to have them appear in the page code. Hopefully this will make life somewhat easier. --Joe 21:07, 9 October 2008 (UTC)

Yeah okay, guess that works for me. No worries mate. --Matt Westwood 21:31, 9 October 2008 (UTC)

Axioms vs. Rules
JA: I am noticing a problem about the usual distinction between Axioms and Rules of Inference. I have long been interested in systems where that distinction is finessed in various ways, but the fact remains that the distinction is very important in all the more ordinary logical systems. So I'm wondering if maybe we shouldn't have a Category for "Rules" ("Inference Rules" or "Rules of Inference"). Jon Awbrey 18:34, 10 October 2008 (UTC)

My incoherent two-penny-worth (it's been a hard week and my browser crashed just as I was about to post a particularly long entry and I lost the lot, had to do it again so I'm *tired* ...)

I understand that axioms are relative, in that the particular axioms you use depend on the particular field of maths you're undertaking a study of. I also understand that no (or very few) axioms are truly "standalone" in the sense that they can all be proved by more basic axioms in a more fundamental field. Examples being the axioms of number theory: "the natural numbers are well-defined", "addition is commutative" etc. (not documented yet, haven't quite got round to that yet) but those can be proved from more basic axioms rooted in abstract algebra. Those axioms themselves can be deduced from, for example, ZFC or whatever, and even the axioms of propositional logic depend on a "relative" perception of truth; the Law of the Excluded Middle, for example, may or may not hold in certain fields of study. (Apologies, I haven't explained myself very well - and I consider myself a professional communicator!)

Thus it was my suggestion that the "axioms" section be available to put any so-called "axioms" of whatever fields of mathematics we can muster the energy to document, but with the proviso that we can also provide proofs of those axioms from another mathematical field as we progress. (It's early days yet, we've barely scratched the surface of *anything* yet.)

If your particular angle of attack separates the concept of "axioms" from those of "rules", then I see no reason why not to separate "rules" out from "axioms", but I'd be interested in what way the rules of inference are anything but "axiomatic" as the concept of being "something taken as a truth and not needed to be proven" is what I see axioms as being, and if your rules of inference are a basis of where you start from, then they'd seem like axioms to me. --Matt Westwood 21:17, 10 October 2008 (UTC)