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)

Exception thrown when renaming
Trying to rename Definition:Topologically Equivalent Metric Spaces back to Definition:Homeomorphism/Metric Spaces because that's actually where it sits better. Changed my mind on a refactoring job I did earlier today.

Getting this:


 * [16ffc302] 2014-12-22 20:13:45: Fatal exception of type MWException

I even tried restoring and re-deleting the offending target page Definition:Homeomorphism/Metric Spaces but it still does it.

My next plan is to do the move manually (select all, cut and paste), so as to effect the change. That will mean losing the history, but there's not much to lose, so no worries. --prime mover (talk) 20:17, 22 December 2014 (UTC)
 * Re-indexed everything, should be good now. --Joe (talk) 20:45, 22 December 2014 (UTC)


 * All is good. Sorry for the delay in replying, a bit distracted at the moment. --prime mover (talk) 21:38, 23 December 2014 (UTC)

Main page overhaul
I've been picking at redoing the main page in my sandbox. If anyone has some ideas please feel free to modify it. My main goal was to get rid of the underused news section and most wanted list. Any thoughts? --Joe (talk) 02:29, 30 December 2014 (UTC)


 * I'd be sad to lose the "most wanted" list, but I admit that it's not really used enough. I sometimes go through it and browse when I'm bored with what I'm currently working on, so it would be nice to at least retain the list somewhere. --prime mover (talk) 06:26, 30 December 2014 (UTC)


 * When will it go live? :) &mdash; Lord_Farin (talk) 12:45, 30 December 2014 (UTC)
 * Whenever everyone thinks it's good enough. I'm pretty happy with it for now, though it would be nice to change style somewhat. --Joe (talk) 14:14, 30 December 2014 (UTC)


 * I'd say: go for it. Change is good. --prime mover (talk) 16:25, 30 December 2014 (UTC)

Books Without Links
The books do not have links. On the Template:BookReference page (at the bottom), it says to contact the administrators if a book you reference shows up in red. So I thought I'd say it here, and not try to add any entries myself.
 * "Complex Analysis" by Serge Lang
 * "Real and Complex Analysis" by Walter Rudin

I referenced Lang for the proof of Morera's Theorem, and Rudin for Triangle Inequality for Integrals.

-- Ovenhouse (talk) 23:46, 30 December 2014 (UTC)


 * Yep okay, I'll get onto it.


 * ... stub pages have been added for the Lang and the Rudin as required. All that is needed is for the contents to be added.
 * (My technique for this used to be to scan them in, use an OCR and tidy up using Notepad++ or something, but I can't do this so easily any more as I have "upgraded" my printer, and the scanner is so physically constructed as to make the scanning of books impossible.) --prime mover (talk) 08:01, 31 December 2014 (UTC)

Can't upload files again
Got the error messaeg

Could not create directory "mwstore://local-backend/local-public/archive/f/fd".

Can this be fixed?

Thx. --prime mover (talk) 07:19, 21 January 2015 (UTC)
 * Should be okay now, the issue is that the archive directories are being created with the wrong permissions. I'll look into a more permanent fix for when this happens in the future. --Joe (talk) 14:28, 21 January 2015 (UTC)


 * All working again now, thanks. --prime mover (talk) 21:08, 21 January 2015 (UTC)

Not ProofWiki related, but I need help
After an overnight software update, the fonts on my machine have got screwed up.

This can be seen when I open up an edit pane and see the letters are incomplete, which is hard on the eye and makes editing a more difficult operation.

See this screenshot for an example:


 * Edit Pane Screenshot.png

Does anyone have any idea as to what might have happened? There is nothing obvious from "inspect element" -- it just shows font="monospace" as you'd expect.

IT's not just ProofWiki it happens on -- every application which requires I open an edit pane behaves the same.

Anyone else had the same problem? --prime mover (talk) 06:56, 12 February 2015 (UTC)
 * According to Google it's possibly caused by one the latest Windows updates. --Joe (talk) 14:27, 12 February 2015 (UTC)


 * That could indeed be what caused it -- had an overnight update, as I say. Thx. --prime mover (talk) 17:10, 12 February 2015 (UTC)


 * Yep, that's sorted now. Many thanks.--prime mover (talk) 17:20, 12 February 2015 (UTC)

Problem with graphics again
In the page Definition:Quadrilateral/Parallelogram/Base, I tried to change the line:

to:

so as to change the presentation size of this item, but I got:


 * Error creating thumbnail: Unable to save thumbnail to destination

Is this a recurrence of our recurring problem saving graphics images? --prime mover (talk) 12:05, 7 March 2015 (UTC)
 * Yes, I'll find a better solution. --Joe (talk) 14:26, 7 March 2015 (UTC)

Euclid Has Been Mastered
The $13$ books of have now been documented on  as well as the so-called Book $XIV$ by.

Obviously there is still a lot of room for improvement, as well as the many (historical) alternative proofs of many of the propositions.

But all that is ongoing work and can be done at any time.

From here I will be tidying up some outstanding maintenance tasks, and then will go ahead and revisit the work on Abstract Algebra, specifically in relation to the foundations of the natural numbers that I initially documented from the work of and has been worked on since by Lord_Farin.

If there are any specific maintenance tasks that you would like me to address, please let me know. --prime mover (talk) 07:35, 18 March 2015 (UTC)


 * A most commendable effort on your part. That your perseverance be known and lauded across the interwebs! :) &mdash; Lord_Farin (talk) 20:27, 18 March 2015 (UTC)
 * That's awesome! You are the undisputed prime mover --Joe (talk) 02:58, 19 March 2015 (UTC)


 * (Takes a bow) $\substack{.\,. \\ | \\ \smile}$ --prime mover (talk) 06:11, 19 March 2015 (UTC)

$\LaTeX$ codes
A new resource has been created in User:Prime.mover/LaTeX Commands which contains all the $\LaTeX$ commands as defined in MathJax, in alphabetical order. Yes I know it's not complete -- it does not handle commands properly which require arguments. Work in progress. --prime mover (talk) 21:50, 23 March 2015 (UTC)

MathJax Updated to Latest
I've updated MathJax to the latest version (2.5.1). --Joe (talk) 01:01, 27 March 2015 (UTC)

Milestones
It occurred to me with the recent restructuring of the front page, the number of proofs on has vanished. That means we can't keep track of approaching milestones. Whether this is a good thing or not may need to be discussed. Is it worth maintaining, or does it genuinely look a bit lame-o, specially since it is never a genuine count? --prime mover (talk) 20:17, 31 March 2015 (UTC)


 * I think there is value in the landmarks, although now that we've gone beyond 10k, I think there is a case for increasing the distance between the milestones. I would suggest continuing to 15k, then do 5k at a time until 50k. That should keep us occupied for the coming decades. &mdash; Lord_Farin (talk) 21:20, 31 March 2015 (UTC)

Point Set Topology -- worth continuing?
I have been told by an authority on mathematics that point set topology is no longer an area of mathematics that is to be pursued. No research is to be funded in this area any more, and Steen and Seebach are considered unacceptable as sources of study material. Obviously I should break off from what I'm doing in this area, that goes without saying -- but before I start deleting everything I've done in this area, are you all okay with losing all this from the database? It would free up space for something more useful, so I think we ought to. --prime mover (talk) 05:13, 13 May 2015 (UTC)


 * ... right, I have now flagged up all the counterexamples in Steen and Seebach for deletion, haven't got as far as the actual general results and definitions, I can start on them tonight. If anyone wants to start on the tedious job of actual deletion, then they are welcome to do so.
 * Once we've got Steen and Seebach out of the way, we can work on deleting all the stuff from the rest of the point-set topology works that we have in the DB. This will happen later tonight, till then I have a day-job to get to. --prime mover (talk) 07:27, 13 May 2015 (UTC)