Talk:Main Page

Searches irritatingly case-dependent
I've just wasted several minutes searching for the page Definition:Top-Down by entering "top-down" into the "search" box. Even when I typed in "all:top-down" it still didn't return me any of the pages with this in it.

So I entered the page Definition:Top-Down into the search field and it instantly returned me, via a redirect, to the page Definition:Formal Grammar, which is what I was after all the time.

Is there a way of making the "Search" tool case-independent? --Prime.mover 06:46, 22 July 2010 (UTC)

I think there is, since I'm fairly sure Wikipedia search works that way. I believe they may use Google to power their search these days, but I suspect there is an extension that would do it. --Cynic (talk) 00:38, 4 August 2010 (UTC)

P vs NP
Has anyone seen this proof? --Joe (talk) 16:49, 9 August 2010 (UTC)

Two down, five to go ... something of a relief all round that this one has the result it does ... --Prime.mover 18:52, 9 August 2010 (UTC)

For any classificationists ...
What does anyone think about adding MSC2010 classification codes to pages written?

See Mathematics Subject Classification and MSC2010 for background. --prime mover 06:46, 9 October 2010 (UTC)


 * This is an excellent idea...looking at the contents of MSC it looks pretty well suited. --Linus44 09:47, 10 May 2011 (CDT)


 * I've made a start - see Recent Changes. Not sure how satisfactory this is going to be. Please feel free to play. --prime mover 16:59, 11 May 2011 (CDT)

I changed the link to cope with both formats (e.g. 12-05 links to 12-XX, 12F05 links to 12Fxx; no idea why the latter is lower case). It's not a very pretty solution, but its the most succinct I could think of without a bigger library of string handling functions --Linus44 02:36, 12 May 2011 (CDT)

Thinking about it - a section just for the classification feels like too much; perhaps it'd be better (if it works on this wiki) to have the categories matching those of the MSC, and have it arranged so that the MSC code appears at the bottom of each page in the "Categories:" bit, and links on the category pages.

It feels like somewhere here there's an important idea buried, but this isn't quite it. I think the wider classification of result will become more significant as the site grows so it'd be good to have a rigorous foundation. The MSC seems to have similar detail to it's divisions, and would be a good authority for such a system. --Linus44 05:37, 12 May 2011 (CDT)

create account
Moments ago I created an account here at ProofWiki. I hope you don't mind me pointing out something that's a teensy bit confusing during that process. At one point, it asked me:


 * To help protect against automated account creation, please solve the simple sum below and enter the answer in the box (more info):
 * Failed to parse (PNG conversion failed; check for correct installation of latex, dvips, gs, and convert): 91 + 5 =

I'm guessing it really meant to ask something more like:


 * To help protect against automated account creation, please solve the simple sum below and enter the answer in the box (more info):
 * 91 + 5 =

Is there some way to fix this? --DavidCary 19:23, 28 March 2011 (CDT)


 * How's your PHP? --prime mover 00:09, 29 March 2011 (CDT)


 * I can confirm this as an issue here. I don't see a way to edit the user login/creation page, so I assume this is something Joe needs to fix. --Alec  (talk) 00:53, 30 March 2011 (CDT)


 * I am aware of the issue, the problem is that the way MathJax is setup, it only parses inside the body of the document. I'm looking into it. --Joe (talk) 22:41, 3 April 2011 (CDT)


 * Suggestion: don't put the captcha inside MathJax delimiters, just show the numbers in raw text (perhaps bold, perhaps in a bigger font). --prime mover 02:06, 10 April 2011 (CDT)

Searching and accents
My programming knowledge is fairly limited so I don't know if this is a reasonable request -

Is it possible to make a search for (e.g.) Mobius Strip return pages also containing Möbius Strip, i.e. substitute accented characters?

Or if not does anyone know a neater way than google & copying the wikipedia article title to search for it? Can't see an accent addon for Chrome --Linus44 03:00, 9 May 2011 (CDT)


 * ... if not, then accentless redirect pages would do the job. We've done this on occasion (Bezout's Lemma for example). Don't know why we never followed through with the idea. Probably more easily implemented and maintainable in the long run. --prime mover 14:27, 9 May 2011 (CDT)