Talk:Main Page

Some Development Questions (open)
Joe encouraged me to post my questions on the "main talk page". Hopefully, I post it on the right place.

I am the developer of the site Math Harbour (young GNU project) that developes search engines at Mathematics. You can find it here http://sites.google.com/site/mathharbour/, but it will soon have the domain "mathharbour.com". I will write more about the type of the GNU-license, when the site gets better integrated. Recommendations are welcome.

'''A summary of my questions: '''

1. Why can not CSE googlebot find most definitions in Proof Wiki? Please, test the term "dimension" in the Define -engine (http://sites.google.com/site/mathharbour), and then test the term "bijection". The latter term only works.

2. Can I embed your site without any modification with iFrames? An example is http://sites.google.com/site/proofmath/. Please, notice that I am not stealing anything, Proof Wiki only gets more traffic and I think it is a good thing.

3. If Math Harbour have your site embedded, I hope you can embed some of its search engines. I will, of course, make them much better if you want them. The Define Math and Proof Math -engines would fit to Proof Wiki (particularly if problem in 1st Question can be fixed).

 - My original post to Joe

''Firstly, I want to thank for your great service. I have three questions. One question is related to Google CSE. The other is related to the GNU license. The third is related to the sites.

I have developed some engines, and one of the engines index some of your definitions: please, search for "bijection" in

* http://sites.google.com/site/mathharbour/Search-Engines/define-math

I have one problem. Google CSEs can find only the first page of your definitions even though the index is like:

* http://www.proofwiki.org/w/index.php?title=Category:Definitions&from=H * ...   * http://www.proofwiki.org/w/index.php?title=Category:Definitions&from=Z

1. Why does it not work?

The reason for the other question to make 100% that my site can embed your site in iFrame (without any modification). To make my question clearer, you can see here an example:

* http://sites.google.com/site/mathharbour/Search-Engines/math-proof

I will take it immediately away if it somehow endangers the license. If I can understand it right, it should not.

2. Can I embed your site without any modification with iFrames to my site? Proof Wiki benefit from the traffic of Math Harbour.

Finally, I believe your site would benefit from the engines. I am developing them openly, free for contributions, under GNU-license. I will soon include more about the topic to the site. If you allow me to embed your site in iFrames, I am ready to customise engines to your site so you can embed it to your site. Alternatively, Google offers some Ajax-code so you do not necessarily need iFrames.

3. What kind of engines your site would like to have?

Please, do not hesitate to contact me. --Heooo

I don't initially foresee a problem with with having ProoWiki pages embedded, the whole page is there so I don't think it will violate the license. --Joe (talk) 18:12, 14 June 2009 (UTC)

Change of Image namespace
The new version of MediaWiki has changed the namespace Image to File. Though it is still backward compatible, I think we should begin to use File:filename.ext when calling an image. --Joe (talk) 14:33, 15 June 2009 (UTC)

A Question about Random Pages
I was unable to contact Joe by email. Hence, I will publicly ask.

The "Random proof" is a very cool feature. Pages, such as "random proof in algebra", "random proof in logic" and "random proof in graph theory", would be useful as well. So are there more random pages? Is it possible to get them more?

I was talking to Heooo via email, and we may be working towards this idea, implementing new search engines on ProofWiki. --Joe (talk) 20:08, 15 June 2009 (UTC)

The ProofWiki look (open)
I'm working on editing the look of the site so that we don't look exactly like Wikipedia. This is what I've been working on so far if you want to take a look at it tell me what you think (likes and dislikes). All you have to do is copy what I have and paste it into you own page at User:username/monobook.css (You may have to clear your cache: Ctrl+Shift+r in firefox I think). Any feedback would be great. I've already made some small changes to the main one for ProofWiki such as rounding the edges on the boxes. --Joe (talk) 19:35, 16 June 2009 (UTC)

I'm immediately noticing two things: red (i.e. nonexistent) links on the top bar (discussion, delete, etc) are really hard to read, and the gaps in some places seem pretty big, especially between the top link bar and the page title. Also, fyi, I think something you did overrode my theme selection (I had changed it in preferences). I'm trying out the one you made, so I don't know if I can change back/what your modifications would do to other themes, but I thought you should know. --Cynic (talk) 03:54, 18 June 2009 (UTC)

I fixed it so that you can change you theme! The monobook.css only effects the monobook skin (which is the site default for new users). --Joe (talk) 20:35, 18 June 2009 (UTC)

Hmm ... not sure I like orange much, I'm more of a purple man. But hey, it ain't wikipedia (not necessarily either a bad or good thing) and it looks clean and neat. Nice one. May play with the colors on my own monobook.css. --Matt Westwood 21:40, 18 June 2009 (UTC)

I've edited it a little more ( Fixed header spacing and colours). Thoughts? --Joe (talk) 02:15, 20 June 2009 (UTC)

Thumbs up :) Nice enhancement. --Heooo

Open question: How to deal with Complexity?
Future challenge is to keep the site simple. Will ProofWiki become more complex by expanding to other areas, besides books and mathematicians? Personally, I feel that examples would fit the site rather than the latter two topics, because they make proofs easier to understand. Perhaps, a collection site, like Serverfault for Stackoverflow, would store ambiguous topics. My site, Math Harbour, can help the use to some extent, but it will be very hard if the site is becoming too large to control.

I will give some examples, so that my point is easier to understand. ProofWiki has its timeline of Mathematicians here. Then again, you can see many other timelines here and here. You can see them even more if you investigate the topic here. The timelines are to some extent different. Still, I am afraid that the wheel is reinvented. What do you think? --Heooo

Yes, it's complex and probably going to get more complex. The plan as I see it is to link everything to everything else, so that it will be possible to trace every single result back to the most basic axioms (that's where I'm bogged down at the moment). If it expands into physics, for example (as well it ought to, there are many mathematical results that are somewhat impenetrable without the application to provide a motivating factor) then so it be. It's bound to expand into all sorts of other areas (just wait till we get round to statistics, that should be jolly) but till it does so we can but watch and wait.

The history timelines you cite are all very well, but one's just names and lines, the other one's just a few milestones here and there. Ours is different from both. I thought the mathematicians list would be a good idea so that the user would have a framework on which to hang the otherwise somewhat bald mathematical results.

As for the books, the idea was that we could cite where certain important results originally came from. I was being taken to task at one point for not quoting my sources from someone whose source I quoted. Rather than copy the details of the publications the things come from over and over again, I thought how about a page where all the important books live. But maybe that's a bit ambitious and unwieldy a task so maybe rethink that bit. But please, please, let's keep the mathematicians page. --Matt Westwood 19:38, 25 June 2009 (UTC)

I agree with Matt, we still need to get a feel for the Book's section. But in terms of the mathematicians, its not so much a timeline, more of a list of who proved what with the fortunate property that it is in chronological order. --Joe (talk) 20:33, 25 June 2009 (UTC)

I appreciate your ambitions. The url is then rather misleading. By the word "ProofWiki", I understand that the site is about proofs and related things. I am worried that if you specialise too much in mathematicians and books, then the quality of proofs (main idea of the site) may deteriorate. If you continue to expand topics, rather than enhancing the content by examples and such things, ProofWiki will have a time when it needs seriously consider management issues. How is it possible to control the huge variety of content in one Wiki (on one front page etc)?

I will return to the issue as I have experimented enough with the Google here. My belief is that it may solve the future problem in ProofWiki if it solves the same problem in Math Harbour. Please, do not get too concerned about the topic. You can continue with proofs, while I am investigating the topic. I will report my findings until I do not get the domain www.mathharbour.com propagated. --Heooo

We're limited in all these things by what gets contributed. Not many people are actually doing a great deal to expand the site in any direction. Once we have enough input we'll be able to shake it down and consolidate what we have. Feel free to start adding stuff. Several areas still untouched: stats/prob, mathematical physics, graph theory (barely started) are good areas to attack.

Oh yes, and we have a handful of pages on mathematicians out of nearly 2000 pages of proofs. That's hardly "specialisation" in mathematicians and books --Matt Westwood 05:36, 26 June 2009 (UTC)

ProofWiki in Search engines?
Let's take an example of the site here. Please, google one of its sentences such as: "From its definition, a group is a monoid, all of whose elements have inverses and thus are invertible."

You cannot find Proofwiki. Have you posted the sitemap? Please, read here and here. I feel the topic to be serious because ProofWiki should be much more popular in the searches. Hopefully, you can get it fixed. --Heooo

Could be because "group", "monoid" etc. are in the source code as internal links and therefore the linker can't pick up the text as is because it's not stored "as is". But I don't know about such things, my computer abilities are rudimentary. --Matt Westwood 05:31, 26 June 2009 (UTC)