Talk:Main Page

Ads / donations
Is the hosting fee still at the level of 120 US $\$$ /month? Provided that I pay the hosting fee, is it possible to make this page ad-free? --Mathmensch (talk) 10:41, 27 October 2014 (UTC)


 * I'm seriously concerned that it's that much. I was of the opinion that it was about $\$$50 a year. --prime mover (talk) 19:08, 27 October 2014 (UTC)


 * The less, the better. But please answer! --Mathmensch (talk) 15:59, 3 November 2014 (UTC)


 * Have you tried AdBlock? --prime mover (talk) 07:24, 22 November 2014 (UTC)

Milestone
See how close we are to the 12,000th proof on.

I am going to hold off adding the final stub lemma from till after someone else has posted something up to give us something landmarkworthy. --prime mover (talk) 20:56, 28 October 2014 (UTC)


 * A close call. --prime mover (talk) 23:03, 28 October 2014 (UTC)

Four tildes
Dear members of the proofwiki,

I would suggest that somewhere below the edit box, a button is included which produces four tildes if you click it. In this way, one could save some time; especially on some laptops (like mine) where you have to press the respective key twice in order to get a tilde. Pressing one time is reserved for something like ñ. --Mathmensch (talk) 15:59, 3 November 2014 (UTC)


 * Hmm, there used to be an edit bar that included exactly such a button (at the top of an editing window IIRC). I have disabled it, I think, but if it's gone for everyone that's something to look into. &mdash; Lord_Farin (talk) 19:05, 3 November 2014 (UTC)


 * No, it's there for me. --prime mover (talk) 20:28, 3 November 2014 (UTC)


 * Oh it's there for me too. Didn't know this design. Sorry. --Mathmensch (talk) 01:38, 4 November 2014 (UTC)

Clock reset
The clock seems to be about 8 minutes fast -- any chance of a reset? Thx. --prime mover (talk) 23:13, 12 November 2014 (UTC)
 * I installed an ntp server, should keep the clock synced from now on. --Joe (talk) 00:02, 14 November 2014 (UTC)
 * That seems to have done the trick. Good job. --prime mover (talk) 01:21, 16 November 2014 (UTC)

"Help" link in menu on LHS
I have just noticed that the "Help" link that appears on the left hand side menu takes you completely off-site and you land on a generic MediaWiki page. What does anyone else think: is this a good idea or would it be better to keep the users within ? I don't know what the legal requirements are here, are we supposed to pass control to MediaWiki from here or what? --prime mover (talk) 21:17, 15 November 2014 (UTC)

Examples of Metric Spaces
I have been through my copy of and added all the examples of metric spaces that he mentions (sometimes just in passing: "Likewise there is an $L^p$ metric analogous to the metrics in Examples $2.2.9$ and $2.2.11$ and a space $\ell^p$ analogous to $\ell^2$ for any integer $p \ge 1$."  His treatment is not very rigorous and (for reasons of scope) incomplete -- so there may be some inaccuracies which will need to be addressed.

In particular I have tried to refactor the page and category structures so as to nest special cases of more general metrics and metric spaces into a more enlightening form. There is considerable room for improvement here (particularly in the area of Definition:Lp Metric and Definition:P-Sequence Metric which (see above) get a cursory mention in the above.

Any attempt by someone particularly knowledgeable in this field to consolidate this area will be warmly welcomed. --prime mover (talk) 07:51, 22 November 2014 (UTC)


 * I think it would be advisable to look beyond these metrics and make use of the norms instead. Currently Definition:P-Seminorm and Definition:P-Norm are not in line with one another, but I can see merit in a subpage for Definition:P-Sequence Norm (seminorm and norm are identical for sequences) once Definition:P-Norm is updated to discuss general Lebesgue spaces. &mdash; Lord_Farin (talk) 08:43, 22 November 2014 (UTC)


 * I would counsel against replacing the existing pages with those that use the language of norms instead. It can be very forbidding to a learning mathematician trying to understand metric spaces and the general context into which they fit to be presented with a sea of $\Vert x_j^p \Vert$ notation in such an abstract setting that the basic simplicity of what is being stated gets lost.


 * The same thing happened with the work on polynomials. The initial pages on polynomials were replaced by definitions of such abstract complexity that the entire concept was buried under a colossal weight of complicated abstraction -- and I never was able to restructure the pages so as to adequately present the underlying (basically simple) notions.


 * In short, I agree with your above paragraph except for the word "instead". As for bringing the page Definition:P-Norm into line, my view is that whatever source work can be found, with this concept explained in detail, should be mined for how its exposition is applied to the specific "real number line" case. Only then can these concepts really be grasped and put into context. --prime mover (talk) 08:58, 22 November 2014 (UTC)


 * Further to this, having got to grips with where the Norm pages are going, I offer up this comment by Sutherland (op.cit.):
 * For applications in analysis, metric spaces have a strong rival in normed vector spaces. The latter are particularly convenient for generalizing differential calculus and for handling linear problems in general (see .
 * Thus I understand it is accepted that there are two approaches to this field of mathematics: one which uses metric spaces, and one that uses norms. I really don't want the one to replace the other. --prime mover (talk) 09:05, 22 November 2014 (UTC)


 * Ah, indeed. I have never done much with metric spaces, and quite the contrary with normed VS's and other functional analysis; probably the reason for my focus. Then it will just be the task of to build suitable bridges between these platforms. &mdash; Lord_Farin (talk) 09:14, 22 November 2014 (UTC)

Slow response
It's been going very slow again tonight -- several seconds to load each page. Sometimes it's better than others, but I'm finding it in general a lot slower than usual

It may of course be a local and/or transient issue, but I'm raising it in case there's a systemic reason for the go-slow. --prime mover (talk) 22:13, 27 November 2014 (UTC)
 * I cleared the php cache and tweaked some server settings that might help, let me know if it keeps happening. --Joe (talk) 19:10, 28 November 2014 (UTC)
 * Many thanks -- it's up to its usual speed again now. --prime mover (talk) 11:00, 29 November 2014 (UTC)

Archive Templates and general Refactoring
I have built a template  for talk pages, which is available for anyone to use. I used this as the basis of the  refactoring which now has a from/to date range field. Similarly, there is a  which tidies up the link to the archive page from the main page. Finally I have added  and   for a standardised look-and-feel for the list of those archives in a standard style.

In this way I have encapsulated a lot of the raw html from the pages themselves, allowing the source code to be cleaner.

Enjoy. --prime mover (talk) 13:04, 29 November 2014 (UTC)

Another tidy-up
I have spent the weekend going through all the "named theorems" and adding a link on the mathematician whose name it is to the subfolder containing the theorems specific to that mathematician.

While I was about it, I created subfolders for all the named definition and axiom entries accordingly. Yes I know, a fair number of them are empty -- but there exist definitions named for those mathematicians so they should not remain empty for ever.

Also note that I have added any missing mathematicians that I have found whose named theorem or definition exists already in the database. Many of these are stubs only, as I wanted to get this particular tidy-up job done and not get bogged down in the detail. If there are any I have missed, please let me know (or feel free to add them yourself). --prime mover (talk) 22:17, 7 December 2014 (UTC)

Styling of headings
I have noticed that headings at level H1 and H2 (but not H3 or smaller) are being rendered in Times New Roman (or some serifed font) while the headings of H3 and smaller are appearing in the usual sans serif font as usual.

I'm not close enough to the coal face here to be able to address this or even to work out whether it's something about my own environment that may have got corrupted.

Can someone check this?

Many thanks. --prime mover (talk) 21:08, 9 December 2014 (UTC)


 * I updated MediaWiki last night to the newest release, I'll take a look at it later tonight to see what's up. Have you tried cleaning your cache? --Joe (talk) 21:10, 9 December 2014 (UTC)


 * Yep, cache is well and truly cleaned. Problem still exists -- on both Chrome and Firefox. To IE I go not. --prime mover (talk) 21:40, 9 December 2014 (UTC)
 * Ok, compared out headers to Wikipedia's. Looks like this is the new style. --Joe (talk) 01:09, 10 December 2014 (UTC)
 * Pfff. A bit rubbish, isn't it? :-)
 * Seriously though, can we look a bit different from Wikipedia, at least in this particular instance? --prime mover (talk) 06:09, 10 December 2014 (UTC)
 * Sure, what do you want to use for the fonts? You can just edit Common.css, or I can. --Joe (talk) 14:49, 10 December 2014 (UTC)

There we go, back to the ways of old. In passing, I noticed that the newly introduced "Code editor" is an abomination that prohibited saving any edits. Fortunately, it can be disabled. &mdash; Lord_Farin (talk) 18:54, 10 December 2014 (UTC)