User talk:Anghel

Welcome
Welcome to ProofWiki! Since you're new, you may want to check out the general help page. It's the best first stop to see how things are done (next to reading proofs, of course!). Please feel free to contribute to whichever area of mathematics interests you, either by adding new proofs, or fixing up existing ones. If you have any questions please feel free to contact one of the administrators, or post your question on the questions page.

Here are some useful pages to help get you started:
 * Community Portal - To see what needs to be done, and keep up to date with the community.
 * Recent Changes - To keep up with what's new, and what's being added.
 * Check out our house style if you are keen on contributing.
 * Main Page talk - This is where most of the main discussions regarding the direction of the site take place. If you have any ideas, please share them!

Cheers!


 * --Your friendly ProofWiki WelcomeBot 19:30, 29 October 2012 (UTC)

Proofread category
I noticed your adding of the Proofread category on pages you are creating (this may or may not be conscious). To make such references easier to understand, it is preferable to invoke them only through the associated templates (the same holds for Stubs and other maintenance categories), in this case Template:Proofread. --Lord_Farin (talk) 22:56, 5 December 2012 (UTC)

My extension of Schur's Theorem (Ramsey Theory)
You have removed it. I don't see a trace of it, nothing (I even didn't know that one can do such a thing on a wiki). Please, give me back my copy promptly. And next time don't be so callous and such a vandal about someone else's work. True, I am not going to contribute to this wiki anymore, be glad. But I want my copy anyway, I am serious about it, I insist Wlod (talk) 21:23, 25 December 2012 (UTC)


 * Your work can be found in the history of this page. I'm sorry I made you angry, but please understand: because you edited a Template, your edits showed up in every other page that used this template, including pages such as Carathéodory's Theorem (Analysis) and Definition:Cauchy Sequence. You will admit that it would be confusing for the readers to find notes about Schur's Theorem when they thought they should read about Cauchy and Carathéodory, right?
 * Please, don't leave the wiki because of me; I'm a plain editor like you, and have no modly powers. Give it a couple of days and think about it before you leave completely? --Anghel (talk) 21:38, 25 December 2012 (UTC)


 * Wlod: It's in the wrong place anyway, and no attempt has been made to put it into house style. Please learn to use how this wiki works before posting. Others can do it, surely a clever and authoritative leader like you can too.
 * Accusing fellow editors of being callous vandals, btw, you may find that you don't have a choice over whether you contribute to this wiki any more. Please be more polite. In return I will try to unset your bozo bit. --prime mover (talk) 00:11, 26 December 2012 (UTC)

Sources and the prev/next construct
Brave work on maintaining the flow of on the addition of the Equivalent Matrices may not be Similar page. It's worth bearing in mind:


 * a) Unless you actually have the work, or can access the particular section (for example) on line, it is usually not a good idea to "guess" the position of the page you are entering. In the course of the flow of the actual work, it may not even exist, or if it does, not in the place in the work you'd "expect" it to exist. (In this case, though, its logical position was as it is indeed placed.) Of course, if you do have access to it, then this advice does not apply.


 * b) Don't forget to adjust the "previous" link of the page that the new page links to. That is, if you insert page C between A and B, not only do you change the "next" of A to point to C, you also change the "prev" of B to point to C, while making A the "prev" of C and B the "next" of C. (In this case it was Definition:Rank/Matrix which still pointed to Similar Matrices are Equivalent.) Otherwise, going back through the book you will miss the new page you added. (It's easy to miss - I've got this wrong a few times myself - it's only by having gone back to some of these pages to review them that I have found some discrepancies.)

As I say, it appears that this is a particularly trivial point to make a fuss about, but there is someone out there (not me!) working on a master's thesis whose content includes an investigation into the use of the presentational style as defined by ProofWiki compared with the (necessarily) linear style of presentation as you find in a book. The idea was to superimpose on the ProofWiki database the various linear orderings imposed by the works in question. As such it may be the case that this prev/next implementation is crucial. --prime mover (talk) 23:50, 12 January 2013 (UTC)


 * I do not know if you make bots prime.mover but it may be worth it. Considering how regularly structured the site is I believe a decent first project would be to create a loop alert in the sources checker (please bear in mind, I have no concept of the difficulty of such a task). The content pages are essentially just text files aren't they? Is there anyway I can get a hold of those? I would be doing so purely in my own interests. I believe I could create a program to convert the database into relevant GML script for visualization. --Jshflynn (talk) 00:36, 13 January 2013 (UTC)


 * Whoosh. (That was the sound of what you said sailing right over my head. :-) --prime mover (talk) 00:49, 13 January 2013 (UTC)


 * As in what I was saying was rude? I apologise if it appears that way as the last thing I want to be is rude (what's the point?). I was trying to make a suggestion that would cut down the tremendous amount of work you already do.


 * Or as in it was a flawed idea? In which case I would really appreciate constructive feedback. Thanks. --Jshflynn (talk) 01:15, 13 January 2013 (UTC)


 * English idiom: something goes over one's head if one does not understand its meaning at all. --Dfeuer (talk) 01:22, 13 January 2013 (UTC)


 * In that case I will try to explain myself better.


 * I believe that the content pages of ProofWiki are just a bunch of text files and that it's possible for me to have a folder on my desktop containing a bunch of files like Definition:Topology.txt the contents of which is exactly what's in the textbox of when you edit the page Definition:Topology.


 * Then I would use create a Macro in Microsoft Excel to go through those files and analyse their structure for all sorts of interesting things.


 * In particular I would use it to create a GML (Graph Modelling Language) script which basically is a language used to create graphs.


 * I would then open that script in Cytoscape (a great piece of freeware for visualizing graphs). And then Viola! I would have a graph about proofwiki.


 * What kind of graph exactly? My first project would be to create a graph of all the definitions of proofwiki because they're a little bit more regularly structured than theorems. Showing which depends on which.


 * I think it would be very cool to know which words are pendant vertices so to speak. Which have really high degree and so on. As Joe (and possibly prime.mover I'm not sure) has access to the wiki's database I would really appreciate having the text files so I could do this. --Jshflynn (talk) 01:38, 13 January 2013 (UTC)


 * It would be cool idea to check for loops in the graph to avoid circular proofs. Something like Theorem A is used to prove theorem B, which is then used to prove theorem A. If you're serious about this project, you should ask for a database dump of the wiki - I know it's been done before. --Anghel (talk) 12:47, 13 January 2013 (UTC)

(To prime.mover): Thanks for the advice, and the correction - sorry I missed the linking on page B. As you figured out, I was a little too bold in my refactoring - but I wanted to try if I could figure it out. In the list of most read theorems on ProofWiki, there are quite a few that needs to be refactored simply because the proofs are too long. Eventually, I would like to help you with removing these refactors. --Anghel (talk) 12:47, 13 January 2013 (UTC)