Talk:Main Page

Localisation
Thoughts on have localisation pages for separate languages(or possible even a whole other wiki(eg. fr.proofwiki.org, en.proofwiki.org, etc.)? --Joe (talk) 19:11, 9 June 2011 (CDT)


 * Are there techniques for generating these things automatically? If not, isn't it more sensible to let an in-line translation tool do it for you when you access the link?
 * We already have at least one page in this wiki in German, from someone who thought that would be a good idea. But I'm daunted by the maintenance aspects of having to do the work in multiple languages - unless, as I say, there's some automatic technique for handling the hard work. --prime mover 00:26, 10 June 2011 (CDT)

Definitely a `curator' would be needed for each language. I think it's omitting large community to exclude other languages -- though perhaps it ought to be restricted to the main languages in which maths is written, say Russian, French, and German, maybe Spanish (don't know what Asian languages are used). Probably most people could write in English, but I could write in French, I very much doubt that I would. --Linus44 08:47, 10 June 2011 (CDT)


 * S'il faut que je le faire ... ah, putain de merde, je ne le veux pas. --prime mover 12:35, 10 June 2011 (CDT)


 * I rather suspect a bot would be pretty terrible at translating stuff (just try asking google translate to switch a page to french/spanish/whatever now and see how readable it is. I tend to think that it would be better to stick to one language, both to avoid creating an insane amount of work to curate/translate/etc and because it would seem to lead to a higher quality/quantity of articles (compare other language wikipedias to the english one, for instance).  Also, looking at the google analytics report for the past month: 12,000 visits from the us, 6000 from the uk, 3000 from india, 2000 each from canada and australia, 1500 from germany, 600 each from the philippines and pakistan, 500 each from south korea and france, etc.  Also 80% of visits were from some flavor of english (no, I have no idea how they track that, but google analytics is awesome). Of course, feel free to disregard all of this, seeing as it comes from an American who speaks only english and rather limited spanish. --Alec  (talk) 02:03, 12 June 2011 (CDT)

Agree that automatic translation is a non-starter; Google translate is next to useless, it just swaps each word in turn for something in the dictionary. Of the more intelligent options, comparing with a catalogue of properly translated phrases seems to be the best, but the biggest database (en français) I can find isn't really up to scratch (I tried "local field" but it just had some stuff about a meadow).

Also FWIW I changed my mind -- I think there's more to be gained by `sister sites' forming independently of proofwiki; any of the results here could be phrased, proved and categorised in ten different ways, and I see no reason to impose the existing structure on a site in another language.

It might be interesting to set up separate wikis as suggested, and demand only that the philosophy be followed. Perhaps a community might grow, and we can share stuff, manually translated as people are able/feel like it.

I would also add that the fact that the site is already written in English somewhat skews the data from Google analytics --Linus44 21:04, 12 June 2011 (CDT)


 * If anyone wants to set up a sister wiki in a foreign language, my voice is: go to it. If we find it's worth linking to, then we can do that. Until then I would suggest that Google Translate is perfectly adequate. If you can't understand the gist of what's being said then your grasp of your own language is probably a bit shaky. :-) As a basis for one to generate a different-language version of a given page it's a good start, at least for someone appropriately bilingual in those two languages.


 * But as I say: not me, not today. --prime mover 00:32, 13 June 2011 (CDT)


 * Just had another idea: who's up for working on a "mathematical translation dictionary" project which does translate "local fields" into "corps locaux"? Ça plane pour moi ... --prime mover 00:35, 13 June 2011 (CDT)

Interesting interactive mathematical research project
What's your favourite number?

I heard this guy talking on the radio this morning. Seems like a cool project - but more about psychology than mathematics.--prime mover 16:43, 22 June 2011 (CDT)

This is pretty cool. --Joe (talk) 16:47, 22 June 2011 (CDT)

New version of mediawiki
... is better tha 1.16.2. It doesn't have the tedious features of cut and paste where the focus would get lost.

Only problem is that it no longer allows global search and replace. However, I think most of the pages with "math" tags in have now been replaced with "dollar" tags, so that should not be a big problem. --prime mover 00:37, 23 June 2011 (CDT)


 * I can still get a list of the pages with math tags see them if I search for math> (yes, I intentionally left out the opening < to pick up any random loose closing tags) in Special:ReplaceText...


 * Incidentally, all of the remaining math tags are in the main/main talk, definition/definition talk, and user namespaces, with the exception of the MediaWiki:Common.js page and on User talk:Prime.mover and User talk:Joe (I suspect the ones on you guy's talk pages should probably stay, seeing as they are in reference to the switch and our no longer using the tag). --Alec (talk) 00:41, 25 June 2011 (CDT)


 * I spent ages looking for a way to search for pages with "math" in them! I just tried your technique. There are still a few such pages that need amending. I am fixing them by copying the text into an external editor, doing a search/replace there, and copying them back. It won't take too long. --prime mover 02:32, 25 June 2011 (CDT)


 * ... all done, I believe. --prime mover 16:48, 25 June 2011 (CDT)

Feature: LaTeX in templates - can't use equals sign
If you are using a template such as Template:WIP or Template:Explain, and in the explanation text you include some $\LaTeX$, then beware you can't use the equals sign in it.

This is because the MediaWiki interpreter recognises it as a parameter indicator: LHS=RHS is interpreted to mean "replace instances of LHS in this template with the value held in RHS", examples of which can be seen in Template:Citation.

So if you find any pages with "explain" and "WIP" on them without any explanatory text actually included, this is probably because that text includes some $\LaTeX$ which includes an equals sign in it.

You can get round this by replacing = signs with \text{ equals }, as I don't believe there is an \equals tag (or whatever) available. --prime mover 16:43, 10 July 2011 (CDT)

Grading proof difficulty
One of the aims of this site is to allow accessibility to all. To that end, there are proofs which are simple and understandable by anyone, whatever their level of mathematical literacy, and there are proofs which require considerably more ability in order to get one's head round.

I wonder whether it's worth adding a "difficulty level" to the proofs we publish, so that casual browsers are able to choose to look at proofs which suit their level of expertise.

This is a quick thought which may or may not make any sense, but I'm throwing it out here so it doesn't get lost.

Anyone care to comment (positively or negatively)? --prime mover 18:22, 12 July 2011 (CDT)


 * I like the idea ... though it needs some thinking. --Joe (talk) 18:39, 12 July 2011 (CDT)

ITP 2011: Nijmegen, 27 Aug 2011
I have just returned from ITP 2011, the 2nd conference on Interactive Theorem Proving, held in Nijmegen, Netherlands between 22nd and 27th August 2011.

I had half an hour to present a talk discussing ProofWiki to a workshop in which several other similar-minded mathematicians had a similar opportunity. It was stimulating and offered up several new directions in which it may be advantageous to expand ProofWiki.

See Current events/ITP 2011 (work in progress) for full details. --prime mover 13:03, 29 August 2011 (CDT)


 * What if we moved what is in current events now into Community portal somewhere, and put this in its place. Seems very current events like? --Joe (talk) 15:19, 31 August 2011 (CDT)


 * That could work - we could add info as it crops up of whatever other events are going to be happening in the MathWiki community. It's a lot busier out there than I thought it was. Seems it's an idea whose time has arrived. --prime mover 15:29, 31 August 2011 (CDT)


 * ... Joe, would you be up for moving the "Is there anybody out there?" page into Community Portal? It looks like it may require layout skills over and above what I got. --prime mover 15:31, 31 August 2011 (CDT)


 * Sure, think it should go into Community portal or its own page? --Joe (talk) 15:38, 31 August 2011 (CDT)
 * It's big enough that it ought to be a link - unless we use a transclusion and stick it at the bottom. What do you think will look good? (Sorry for the delay, I got reading xkcd and just lost a quarter of an hour) --prime mover 15:50, 31 August 2011 (CDT)


 * I think we should put it on it's own page and put some links up somewhere, either in Community Portal, on the sidebar or both. I have to go out for supper, will get back to this later. --Joe (talk) 15:56, 31 August 2011 (CDT)


 * Okay, I have moved "Is there anybody out there?" into Community Portal as suggested, and disabled the contents list on that page so as to allow it to look okay, but it could do with tidying a bit. Anyone up for it? --prime mover 15:42, 1 September 2011 (CDT)

Change of Copyright Conditions
It has been suggested seriously that we need to change our copyright license. We are currently using the GNU Free Documentation License 1.2, but it may be better if we were to move to a Creative Commons license, as this allows more freedom of distribution.

In particular, if we use the same as Wikipedia and PlanetMath, i.e. that any material to be used by anyone, as long as its source is cited, we will be able to share freely any stuff back and forward with no worries. This is particularly important with regard to PlanetMath, as there is a lot of possible and desirable collaboration between the two sites.

But in order for this to happen, we need to make sure that all the contributors to this site are okay with this. I understand that this may be a difficult thing to achieve, as many (most?) of them are no longer active, and it may take some effort tracking them down and getting them to respond.

Advice needed from anyone who has knowledge of all this legal stuff, because I am not a lawyer. --prime mover 14:11, 30 August 2011 (CDT)


 * I know we've had this discussion before (Talk:Main_Page/Archive_3). I don't have much knowledge on this topic either, so I'd be happy to differ to someone more knowledgeable. BTW, great job on the conference Matt. --Joe (talk) 15:17, 31 August 2011 (CDT)


 * Who was the "professional mathematician" who suggested we go to GFDL? Wikipedia uses CC SA not GNU. They obviously changed, so we can too.


 * My attitude is: if you want to use something from this site then you should be able to, although if you do, it would be nice if you say where you got it from. I don't understand how this will make it impossible to use it in a book that you have to pay for - although if the entirety of that book consisted of just stuff from ProofWiki I can see how that would be cheeky. --prime mover 15:57, 31 August 2011 (CDT)

So should I go ahead and switch over to a CC license? --Joe (talk) 15:05, 3 September 2011 (CDT)


 * My view is: if it offers specific advantages of shareability, then I see no problem doing so. But I don't know about the legal aspects of just changing over (and don't currently have the motivation to go and find out, as I don't know how much reading I'll need to do and there's other stuff I want to do instead), and I would welcome someone out there who knows about such stuff who can advise. --prime mover 16:07, 3 September 2011 (CDT)

Search box
Has something been done to the search box? Under Google Chrome it is behaving in a way it probably thinks is really clever, but in fact is irritating. This could be a function of development of Chrome's ongoing upgrade to HTML5 (the "Search Box" is now not just a bland text field). (Firefox doesn't have that problem, but it has other issues and I never use it.) Is there a way the HTML can be amended at infrastructure level so as to turn this "search" box back into an ordinary text input field? Try it out as it is, see what I mean. --prime mover 15:38, 1 September 2011 (CDT)
 * Is it better now? --Joe (talk) 18:35, 2 September 2011 (CDT)
 * You're a genius. What did you do? (I ask in a professional capacity, I'm trying to learn this stuff.) --prime mover 01:23, 3 September 2011 (CDT)
 * Nothing fancy, just a setting for the Vector skin.--Joe (talk) 09:54, 3 September 2011 (CDT)
 * Oh all right, I'll look it up. I'm supposed to be learning about MediaWiki as part of my day-job. --prime mover 14:34, 3 September 2011 (CDT)
 * This particular setting is from the Vector extension. If you have any questions or want to see some config files just let me know. --Joe (talk) 14:37, 3 September 2011 (CDT)
 * Cool - may do that. Chx. --prime mover 15:05, 3 September 2011 (CDT)


 * ... unfortunately, the search box no longer behaves like a search box. It no longer dynamically displays the pages which so-far match what you have typed. --prime mover 14:33, 6 September 2011 (CDT)
 * I'll change the search bar for now so that it dynamically works for now. --Joe (talk) 14:41, 6 September 2011 (CDT)
 * H'mm ... works perfectly! I wonder whether it had got filled with spaces or something silly in my installation the other day. I'll do more experimenting next time something like this happens next time. --prime mover 15:11, 6 September 2011 (CDT)

Bots
Does anyone have any ideas for some bots that would be useful?

A ProofWiki IRC channel
I was working on a project a few days ago and needed to question a developer about something. Turns out the project had an IRC channel, so just signed on and asked my question. Apparently I had found a bug, the developer fixed it in a few minutes, and I was on my way.

Does anyone think ProofWiki would benefit from an IRC channel of its own? Users could join up and chat, ask questions, get help with formatting, etc. --Joe (talk) 15:02, 3 September 2011 (CDT)


 * Do we have enough volume of traffic to make it worth while? On the other hand, will it be likely to increase the volume of traffic? More immediately important: will this cost? --prime mover 16:01, 3 September 2011 (CDT)


 * As for the suggestion: "Users could join up and chat, ask questions, get help with formatting, etc." users seem not to be very interested in asking about formatting, they just go ahead and use their own, preferring to do things the same way they prefer, rather than take the time to determine whether is such a thing as a house style, etc. And they never seem to stay around very long (with 3 exceptions) so with current levels of usage it's unlikely to fly ... I confess I probably wouldn't use it. --prime mover 16:04, 3 September 2011 (CDT)


 * I know I don't keep an IRC client open (and have no desire to), so I wouldn't be very helpful for this. Frankly, I tend to think IRC itself isn't widely used these days, and people can always ask questions by talk pages or email, which someone generally catches pretty quickly. --Alec  (talk) 23:54, 3 September 2011 (CDT)

A useful bot
I recently changed Template:BookReference to allow a "prev" and "next" parameter for an experiment I was going to work on. To do that I had to change it to replace the 2nd and 3rd author parameters to "author2=" and "author3=" to keep it working.

What that means is that all multi-author works need to have that "author2=" and "author3=" added to them so the 2nd and 3rd authors carry on appearing.

Can we have a bot to replace all instances of, for example:
 * BookReference|Counterexamples in Topology|1970|Lynn Arthur Steen|J. Arthur Seebach, Jr.

to:
 * BookReference|Counterexamples in Topology|1970|Lynn Arthur Steen|author2=J. Arthur Seebach, Jr.

I've actually done a lot of the books by hand the last few days (stupid me).

But there's still the one above and also:


 * BookReference|Probability: An Introduction|1986|Geoffrey Grimmett|Dominic Welsh

to be changed to:
 * BookReference|Probability: An Introduction|1986|Geoffrey Grimmett|author2=Dominic Welsh

I think that's all of them. --prime mover 00:34, 20 September 2011 (CDT)


 * Can the search and replace page do this? --Joe (talk) 10:07, 23 September 2011 (CDT)


 * Yes of course - I'd forgotten about that. Job done. --prime mover 12:46, 23 September 2011 (CDT)

Talk page hard to follow?
Does anyone else find following a conversation across several talk pages super confusing (Especially when referring to a past discussion )? Seems like the format: Me
 * You
 * Me

... would work a lot better. --Joe (talk) 16:35, 13 September 2011 (CDT)


 * Can't argue with that, but it has to presuppose that both correspondents have a watch on the talk pages they are posting to. More than once I've continued a conv on my own user talk page and my correspondent hasn't noticed I've replied. --prime mover 17:03, 13 September 2011 (CDT)


 * I see your point. Though, though I think that if someone posts something on your (in general) talk page, generally they are either asking a question or making a statement. It's up to them to check and see what you've had to say. If it's something important you want to tell them, then odds are you'd be posting on their talk page ... which they would get a notification about if they have it set up. ( If any of that made any sense?) --Joe (talk) 17:11, 13 September 2011 (CDT)


 * Fully agree, and go along with it from now. If people miss important stuff, then that's just a real shame. --prime mover 00:44, 14 September 2011 (CDT)

External Links on Home Page
Do we allow external link (to whatever websites) on home pages? Or does it count as "spamming links to external sites"?

I suspect that we ought to allow any user to put whatever they want on their home page ("within reason"). What say? --prime mover 18:39, 27 September 2011 (CDT)


 * Yeah, as long as it's not to a phishing site or something I guess. --Joe (talk) 19:29, 27 September 2011 (CDT)

GeoGebra extension
Thoughts? --Joe (talk) 17:59, 3 October 2011 (CDT)


 * Impressive. I will give it a good workout when I'm in the mood to get back to Euclid. --prime mover 00:35, 4 October 2011 (CDT)

Automatic verification of proofs
Hello ProofWiki users!

I have a thought (nothing concrete at this point) about developing a "wiki"/Q&A site for mathematical proofs, with automatic verification included. This would be similar to ProofWiki, with the difference that you would know the theorems and proofs in it are flawless, and aren't "hand waving".

Please see this (perhaps badly titled) blog post for more details.

I welcome feedback of any kind. I'm not a user of this wiki though, so I won't be coming here to check responses inline - please leave a comment on my blog or email me at ron.gross@gmail.com if you want me to see your feedback.

Ripper234 11:18, 6 October 2011 (CDT)

Linguistic ruling: "alternate" vs. "alternative"
I understand that in American English, the word "alternate" has evolved so as to be another word meaning "alternative". However, in British English, the word "alternate" is used to describe a sequence of things which are taken in turn, e.g. "a, b, a, b, ..." or as squares on a chessboard: "black, white, black, white ...", and can also be a verb with a slightly different pronunciation: "to alternate" meaning "to take one of two different values in turn" etc.

I would suggest that when there are two proofs or definitions posted up, the term "alternate proof" or "alternate definition" should not be used, but "alternative" used instead.

However, there is a linguistic problem even with this: because when there are three or more options, you technically should not use the term "alternative" because strictly speaking it means "the other option of two". If you have three or more choices, then "alternative" is not the term to use (putting contemporary media creations called "the third alternative" aside).

If "alternate" is just being used as a more complicated-looking (and therefore cleverer-looking) word for "other", then I suggest it should not be used at all, and instead just number the proofs "Proof 1", "Proof 2" ... etc.

If a proof has a description (e.g. "direct proof", "proof using induction", "proof using recursion") then use that, indeed, if you can encapsulate that description in one or two terms, but a simple numbering should be enough.

In short, shall we try to make an effort to lose "alternate" (and also "alternative", if you like) out of page subtitles? --prime mover 00:39, 7 November 2011 (CST)

Spamming accounts
We have a fair number of indefinitely-blocked users whose sole purpose was to act as advertising outlets for a variety of piffle. These, as I say, have been blocked and their contents removed, never to be seen again.

The question is: is it possible to delete them completely from the database, as though they had never been created in the first place? As it is, they cause the number of users to be artificially considerably higher than is accurate. --prime mover 14:05, 9 November 2011 (CST)


 * Humm... for some reason I don't get emails for this page. It would be possible to delete these accounts, but it would be a pain. As well, new accounts are still being created for spam purposes ... there were several today. The only difference is that they give fake email addresses. So I don't think deleting them would truly address the problem. --Joe (talk) 19:46, 9 November 2011 (CST)


 * Okay, so 10 new accounts today, all but two in the format (boring name)(dull name)(3-digit number) (and one which is 3 letters followed by 3 digits) which are obviously spamming accounts. Hence we're well on the way to 700 users, although I would guess that of the last 60, probably about 5 are actual serious PW accounts. Not suggesting any solution, just sayin. --prime mover 14:51, 15 November 2011 (CST)


 * It's pretty annoying, but for the moment I don't see anything we can do about it. The mail server is getting a ton of bounced authentication emails as well. I hoped the ReCaptcha and checking the IP's against SORBS would fix the issue. I'll have to do some research to see what options are available. --Joe (talk) 21:10, 15 November 2011 (CST)

I think I've defeated the spamming ... for now. --Joe (talk) 08:07, 24 November 2011 (CST)


 * I just got really confused for a second when suddenly all the edit links were gone and I had to reconfirm my email :p --Alec  (talk) 10:43, 24 November 2011 (CST)

Congruence Symbol and POTW
Point 1: It's time for a new proof of the week, no? It's been a while since May 2.

Point 2: Anyone else get an extraneous space after the congruence symbol? Like in |$\cong$|, on my computer in both Google Chrome and Mozilla Firefox I get an extraneous space. A similar thing in $\sinh x$ between the "n" and "h", but it's not as noticeable. $\cosh z$ works fine. --GFauxPas 07:30, 17 November 2011 (CST)
 * It's a function of MathJax. I suggest we live with it. We do not want to spend a lot of time making fiddly reformatting of code when a new edition of MathJax may well have addressed the issue. We have already made a few adjustments where the rendering interferes with the interpretation, but I've got no interest in adjusting stuff where it reads perfectly adequately.
 * As for POTW, I expect someone will get round to it sooner or later, if they can be bothered. --prime mover 08:08, 17 November 2011 (CST)

Internal linking
I just had an idea for linking to pages explaining a notation. Something like this:

Then $f$ is described as multiplicative iff:


 * $m$ $\perp$ $n \implies f \left({m n}\right) = f \left({m}\right) f \left({n}\right)$

Click on the $\perp$. Thoughts? --GFauxPas 12:59, 17 November 2011 (CST)


 * I've thought about it, suppose it might work. But.
 * a) Before MathJax, links which consist of just LaTeX don't appear as links (i.e. in blue) so it's not easy to see. And in fact this one doesn't appear blue to me, but maybe that's because my eyesight is deteriorating (and it was never very good to start with).
 * b) You can't right-click on a LaTeX-only link and get the "Open link in new tab" (at least, not in Google Chrome and FireFox), you just get "View source". I argue that you really don't want to navigate away from the page you're reading when you are investigating the meaning of a symbol.
 * What the answer is, IMO, is the compromise of writing underneath the line where it's used:
 * "where $m \perp n$ indicates that $m$ is coprime to $n$"
 * ... and that, generally, is what is done. If not, then it ought to be. --prime mover 14:11, 17 November 2011 (CST)

Suggestions
1) I still think it would be a good idea to have a "suggestions box" type page, but whatever

2) How about a "random definition" option, like there is for random proof?

3) Would it be a bad idea to have a new category, "problems"? Like there are some classic problems that aren't definitions or theorems, like the falling ladder problem, birthday problem, largest open box, $\int \cos x e^x \mathrm dx$, finding a fake pearl out of 9 with only three weighings of a balance scale, pound of feathers pound of gold, etc etc. --GFauxPas 15:57, 12 December 2011 (CST)


 * 1) Wotever. This talk page has proved adequate so far. Anyone else think it's a good idea?
 * 2) The "random page" function comes with MediaWiki as part of its inbuilt functionality, but it excludes all pages not in the main namespace, i.e. everything with a colon in it. Therefore definitions and axioms etc. don't feature. I don't know how easy it is to get it to do this, but why not just a random page of any description?
 * 3) We already have Category:Classic Problems - is this the sort of thing you were thinking about? To a certain extent I agree, but I think we'd have to ruthlessly subcategorise or else it would become too unwieldy a category. (The pearl problem BTW is out of 12.) --prime mover 16:11, 12 December 2011 (CST)
 * Oh okay, 12. But yeah, are any/all of the things I mentioned the kind of things that belong on PW? --GFauxPas 16:17, 12 December 2011 (CST)
 * If you have the patience to a) paste them up, and b) prove the answers, then go for it. --prime mover 16:39, 12 December 2011 (CST)
 * How do I make a category for "classic Calculus problems"? --GFauxPas 17:38, 12 December 2011 (CST)
 * Same way as you make a category for any sort of page. Add the category at the bottom of the page and it appears in red. Click on it and it takes you to the new category page. Then add the supercategory at the bottom. --prime mover 00:19, 13 December 2011 (CST)

Okay, sorry to come across all wikipedia and all that, but what is the decider as to what is considered a "classic problem"? Specifically, what makes Derivative of x to the x "classic"? Can't say I've even seen it in any of the calculus / analysis books I've got (not that I have that many) except perhaps as an exercise, or as a stepping-stone to get somewhere else. No matter, as I established a while back, I can't set myself up as an arbiter. --prime mover 16:25, 13 December 2011 (CST)
 * I don't mind you being an arbiter. It's just my impression from Khan Academy and my Calc I prof. that this is "the" example given to show people the "trick" of taking the logarithm of both sides, in the same vein that "the" example of Integration by Parts is $\int e^x \cos x \mathrm \ dx$. If you don't think it's classic enough, you can remove the tag without offending me. --GFauxPas 17:08, 13 December 2011 (CST)

Would it be a bad idea to have a new template like there is for, something along the lines of:


 * Because of the multitude of trigonometric identities and the many surprising relationships between $e$ and trig. functions, this integral can be presented in many different ways. However, they all differ at most by a constant. ? --GFauxPas 10:27, 20 December 2011 (CST)
 * Don't like it much. But then I'm not a fan of this sort of imprecise language. If there are many different ways of presenting an integral, then (if they are genuinely different, and this different is enlightening) add them.


 * I think it's worth guarding against the tendency to just "talk about" results unless there's something genuinely informational to present. Saying "There's lots of interesting stuff that comes from here" without actually specifying what that stuff is doesn't seem to fit the philosophy of this site (which, yes I know, needs tightening up). Less is more. --prime mover 14:53, 20 December 2011 (CST)

New host
We have the same spam bots coming back from before you added the "add PW's name" option, Joe --GFauxPas 12:17, 5 January 2012 (EST)
 * On it. --Joe (talk) 12:34, 5 January 2012 (EST)

Does anyone else find this server a lot faster? --Joe (talk) 14:43, 5 January 2012 (EST)
 * It seems faster to me, yeah. --GFauxPas 15:09, 5 January 2012 (EST)
 * Not for me, not particularly. --prime mover 15:13, 5 January 2012 (EST)
 * I had noticed the increase in speed also. It is quite significant for me. How a convenient corollary. --Lord_Farin 15:28, 5 January 2012 (EST)

F'nality of MediaWiki 18(?)
... or whatever number it is.

Is here an option to get the app to alert an editor if they attempt to close a page with unsaved edits on it? I confess I have got used to that feature - and I will probably suffer from the loss of quite a few edits before I get used to the fact that it doesn't seem to be able to do that any more.

Apart from that - Good job. Let us know about hosting fees. --prime mover 14:44, 5 January 2012 (EST)

There are still a few extensions for the vector theme I haven't brought back online... that feature might be in there. I'll look into it. --Joe (talk) 14:46, 5 January 2012 (EST)

Problem with \vec
The $\LaTeX$ command \vec appears to be broken. Instead of putting a short arrow over the target character, it seems to superscript a square: $\vec a$ and $\vec b$ and so on. --prime mover 05:35, 8 January 2012 (EST)
 * Looks fine on my browser, what are you using? --Joe (talk) 16:06, 8 January 2012 (EST)
 * Hmm. On Google Chrome it's broken, Firefox is fine. I've been having trouble with GC (my browser of choice, don't judge me, it doesn't make me a bad person ;-) since the server move - although I wonder whether that was coincidental with a GC version upgrade (these have been increasingly flaky over the last few months).
 * I have no desire to check it in IE (any version) but I may give it a go in Opera and Safari tomorrow (if I remember) from my work PC (my job requires that all the commercial s/w that I'm involved in works on all the big 5 browsers). --prime mover 17:43, 8 January 2012 (EST)
 * Interesting, I'm using Chrome as well, only the dev version. Must just be a version problem. --Joe (talk) 17:48, 8 January 2012 (EST)


 * I'm on version 16.0.912.75 m. --prime mover 17:59, 8 January 2012 (EST)
 * 17.0.963.26 dev --Joe (talk) 18:01, 8 January 2012 (EST)
 * Could explain it. No worries, I'm not doing vectory stuff atm anyway. --prime mover 18:08, 8 January 2012 (EST)
 * Looks fine to me in chrome 16.0.912.75 m... --Alec (talk) 14:46, 9 January 2012 (EST)


 * Utterly bizarre. And I've even cleared my cache and deleted all my history. --prime mover 14:58, 9 January 2012 (EST)
 * Change house style to $\mathbf v$ problem solved :P --GFauxPas 15:35, 9 January 2012 (EST)

I'm more than happy to agree. All those fiddly little arrows are so grade-school. --prime mover 02:37, 10 January 2012 (EST)
 * It works fine here, I'm using Firefox 3.6.24 for Ubuntu; actually, I'm using LXDE (Lubuntu), but should work on GNOME as well. --L.P. 23:03, 16 January 2012 (EST)

New User Messages
... don't seem to be happening today. Two new users a couple of hours ago still have not been introduced. --prime mover 13:22, 13 January 2012 (EST)
 * Fixed! --Joe (talk) 13:57, 13 January 2012 (EST)

Plural of premise
I've seen premises and premisses, both in authoritative sources. Which should I use?


 * Good question. I believe "premises" is the plural of "premise", and "premisses" is the plural of "premiss", which is also used. I have always preferred the first.

And a style ruling, please:

Also see

 * Theorem name, or
 * Theorem Name? --GFauxPas


 * Shrug. Don't really care, depends on how I'm feeling. The latter is better as it saves having to add a | field in the link. --prime mover 12:25, 22 January 2012 (EST)

Citing general documentation on the web
What does anyone else think about using sundry pdf's found on the web (usually as part of a set of specially prepared lecture notes) as source works for citation as references, for example:
 * Stanford handout

?

My view is rather not, as there is no indication of who wrote it. Also, web citations are ephemeral (we've found this earlier, citations entered into a proofwiki page one day had vanished by the next day), and unless backed up by hardcopy somewhere, IMO can't necessarily be trusted. Besides, except in cases of research topics, all the information can be found in a book somewhere, or a published paper that can be cited as an entry in a journal.

Perhaps I am oldfashioned by placing too much reliance on printed matter, but that's my position. --prime mover 01:44, 24 January 2012 (EST)


 * In general I would agree with you, as I'd indeed say that a hardcopy reference should be reported by a trustworthy user. If such is the case, generally that user has in fact taken the lectures corresponding to the lecture notes, making them a lot more reliable. In such a case, it is in my opinion acceptable to reference the notes in absence of any properly published book. --Lord_Farin 02:16, 24 January 2012 (EST)

Template:WIP
I hacked into Template:WIP with direct HTML code to allow for multiple correctly formatted lines of comment. --Lord_Farin 09:52, 26 January 2012 (EST)


 * Good idea. There may be other templates which may have similar work needed doing. --prime mover 12:22, 26 January 2012 (EST)


 * I have done all the commonly used (i.e., I recognized them) templates in this way. I encountered the gem Template:Inuse while processing (and while I'm at it, let me point out Special:Allpages as well. It is quite useful sometimes. --Lord_Farin 13:37, 26 January 2012 (EST)

Proof structures
Some while ago I started structuring iff proofs into two sections titled "Necessary Condition" and "Sufficient Condition", with both those titles being links to those definitions.

However, more recently we have adopted the more long-term strategy of splitting out multiple proofs into separate pages, each of which are likewise linked to from the section titles, e.g. "Proof 1", "Proof 2" etc.

It occurs to me that those approaches may become mutually incompatible, as we may want to separate out various proof sections into their own pages, so that clicking on e.g. "Necessary Condition" would take you, not to the page defining "N.C." but instead to that partcular (probably transcluded) section of the proof.

What we would want to do is then, having "unlinked" the title, add the words "Proof that the condition is necessary:" (or however the wording should be) underneath that title. Then we would be free to make that section title a direct link to the transcluded subpage containing just the proof of the theorem in that direction.

I have already been doing something similar to proofs of equivalence relations and orderings, and so on, and there may be other cases which use that same paradigm.

Comments? --prime mover 06:31, 18 February 2012 (EST)


 * This occurred to me too a while ago. I didn't feel like putting it in public as it appeared to be a minor issue. A really satisfactory solution hasn't occurred to me so far; I imagine that some time in the future we would like to use the MediaWiki extension idea that Joe threw up a few months ago. On yet another track one could argue that the splitting of these kind of proofs into multiple pages isn't really necessary; I haven't encountered an instance where I wanted to refer to (the proof of) only one side of the bi-implication. This is different with the multiple proofs case, as demonstrated by the changes processed to Derivative of Exponential at Zero last week.
 * For consistency and clarity, I think it would be best to have links in titles only when this means that the associated paragraph is transcluded. In cases like with the bi-implication, the creation of a link in a title should maybe best be avoided entirely.
 * Finally, an approach I have been coming to appreciate more and more when dealing with multi-staged proofs is a brief explanation at the start of the proof of what the main line is (basically, using a one-line introduction and summary encapsulating multiple detailed proof sections). This essentially removes the need for linking in titles in a quite appealing manner. --Lord_Farin 17:34, 18 February 2012 (EST)


 * One of the issues is that the texts often treat just one half of the bi-implication, and others treat the other half. I know it looks silly but I think it's worth separating out the pages in these cases, so as to be able to arrange the citations to match the pages. --prime mover 18:37, 18 February 2012 (EST)


 * In that case, feel free to use my sentence 'it would be best to have links in titles only when this means that the associated paragraph is transcluded' which then applies. This could be promoted to house style, but there is a humongous amount of changes to be processed. --Lord_Farin 08:36, 19 February 2012 (EST)


 * It does not all have to be done now. And I would rather "lead by example" rather than enshrine it in a house rule. But that's because I'm tired and I don't fancy doing either job. --prime mover 09:46, 19 February 2012 (EST)

Also see
I have removed a few links from "Also see" sections just now where the link goes to a concept which is already used in the main body of the page - in particular where the "also seen" concept is an integral part of the definition.

While there is no harm in including the concepts in the "Also see" section, it could add to the clutter of the page, and goes against the minimalist philosophy. On the other hand, gathering all such concepts together at the bottom could be seen as a useful approach (but would mean there's another 10000+ pages which need this done to them!).

What does anyone else think? It's a point at which I'm ambivalent about - I really can't decide which approach I prefer. --prime mover 06:35, 18 February 2012 (EST)


 * I feel quite strongly that closely connected concepts should be easy to locate; this is, AFAIC, not accomplished to a satisfactory standard when these are only accessible by some link in mid-page (maybe obscured by adapted text), which effectively forces one to read the entire entry when actually looking for something closely related. So I feel the Also see sections should rather be expanded than shrunk. --Lord_Farin 17:34, 18 February 2012 (EST)


 * Okay, that argument works. "Also see" will be encouraged to grow, in that case - but I still think it's worth being alert to putting everything in an "Also see" that's vaguely peripherally related - I see this as a section for strongly, directly related concepts. Whatever that means. --prime mover 18:39, 18 February 2012 (EST)

Also known as
For the situation where there are multiple names for a thing, it's been haphazard up till now. Sometimes the extra names will be in the same line as the definition: "A flibby widget (also known as a flabby tatter) is a ..." and sometimes in a section called "Alternative Name(s)" and so on, neither of which is ideal. Sometimes the alternative name and notation hang out on a nondescript street corner labelled "Comment(s)" or "Note(s)". Time we cleaned up the ghetto.

In keeping with the "Also see" convention, I propose an "Also known as" section as appropriate, where all the variant names and notations can be documented. And if we are going to keep with the "natural order" convention (which suggests that the further down the page you get, the more peripheral the subject matter), I suggest it goes just above the "Also see" section.

I will think about getting it together to specify the order of sections on a page sometime, but life has taken a turn for the busier recently and I no longer have the empty acres of spare time that I used to have ... --prime mover 16:47, 19 February 2012 (EST)

Springer On-Line Encyclopedia of Mathematics
This has recenlty been wikified: http://www.encyclopediaofmath.org/index.php/Main_Page ... Note that they are using the same technology as ProofWiki. Where we lead, lesser entities follow. --prime mover 15:55, 22 February 2012 (EST)
 * It's like the Wikipedia version of ProofWiki --GFauxPas 21:18, 22 February 2012 (EST)
 * I still think our approach is better. ;-) --prime mover 17:31, 23 February 2012 (EST)
 * Oh of course, I meant it's the wikipedia version of proofwiki in the sense that the sentences are hard to follow, it's messy, there aren't enough links to other concepts, and the LaTeX is poorly rendered. --GFauxPas 17:36, 23 February 2012 (EST)

Question
Other than properly citing the source, under what circumstances am I allowed to incorporate material from an outside source into ProofWiki articles? Abcxyz 23:35, 2 March 2012 (EST)
 * Depends what you mean by "incorporate" and "outside source". Copy/pasting from Wikipedia etc. is okay as long as it is converted into our house style. Otherwise adhere to the terms of the copyright from where it comes. --prime mover 01:04, 3 March 2012 (EST)

For example, is posting a variation of allowed? I'm not exactly sure whether that is allowed under the copyright of that article.


 * It says:


 * "Please contact the publisher regarding any further use of this work. Publisher contact information may be obtained at
 * http://www.jstor.org/action/showPublisher?publisherCode=maa.


 * You might want to do that. --prime mover 14:01, 3 March 2012 (EST)