User talk:Prime.mover

Archives
For what it's worth I have archived my user talk page in all its offensive embarrassing glory. --prime mover 12:15, 29 April 2012 (EDT)


 * So, what's your affiliation with the RU Nijmegen? --Lord_Farin 17:40, 29 April 2012 (EDT)


 * Participated in a conference on mathematics wikis. Feel free to inform me if I do not have the authorisation to display its crest in conjunction with my name, as it could be construed as presumption. --prime mover 19:38, 29 April 2012 (EDT)


 * I don't know nor bother; I'm with Utrecht anyway - at least until the summer of 2013. --Lord_Farin 04:42, 30 April 2012 (EDT)

Your last contribution to the talk page really was not constructive; I understand this by looking at the clock, but please ensure that you are contributing something in the future. It's not an obligation to respond the same evening (although some would call me a hypocrite for putting this up, I don't really care; feel free to hit back at some point). --Lord_Farin 18:46, 1 June 2012 (EDT)
 * It was constructive enough. I corrected the two points mentioned, but the fact is the last major change to this page IMO detracted from rather than enhanced its meaningfulness, as it failed to keep the notation consistent. What does a man do? It's a crappy page anyway. --prime mover 18:51, 1 June 2012 (EDT)
 * I think the issue was just that it sounded like you were annoyed at Frades rather than at the existing mediocre content. Sometimes it would probably be better to wait rather than responding overly tersely while you're pissed off :) --Alec  (talk) 22:13, 1 June 2012 (EDT)

Perhaps on the book pages, we could put links to theorems that reference that book, for instance, under each chapter, we may list the numbers of the theorem and link them directly to the pages that they correspond to. Is this something that could/should be implemented to any extent? Andrew Salmon 08:55, 24 July 2012 (UTC)


 * If that's something you want to do, then feel free to get under way. --prime mover 09:41, 24 July 2012 (UTC)

I've made an effort to make my style more in line with the proofs on this site, but they still keep getting marked "tidy". What does this one, in particular, need to become "house style"? Transfinite Recursion/Lemma --Andrew Salmon 05:18, 26 July 2012 (UTC)


 * Two points in particular:
 * 1. Spacing, basically. If you notice, every page on ProofWiki (every tidy non-talk page, that is) has a gap between the sections which consists of two blank lines. This forces a noticeable gap between e.g. the Theorem section and the "Proof" heading. Note that when you edit a section separately, the gap vanishes (this is an awkward feature of MediaWiki software) so editing individual sections is not recommended. Funny, but I have a feeling LF has already mentioned this (although I can't find it).
 * 2. Note that every time brackets are used, the "left" and "right" delimiters are used, and braces {} are used to enclose the field being parenthesised. This ensures consistency and provides an immediate way to ensure brackets match.


 * Also worth noting that there are several places where links are not being used. Every concept needs a link to a page explaining it.


 * Also worth noting that whenever you start a new topic on a talk page, do it by pressing the "Add topic" button above, or otherwise add a new heading in the talk page itself.


 * I hate to have to write instructions for this stuff over and above what is in the Help pages (although all this is doc'ed in the House Style page) - I prefer to think that these things can be picked up by following examples. --prime mover 05:36, 26 July 2012 (UTC)


 * That is, as long as the influx of new contributors putting up piles of new information does not exceed a certain bound. --Lord_Farin 10:28, 2 August 2012 (UTC)

What word should we use here
The theory $x < y \implies z+x < z+y$ holds for ordinal arithmetic. Note that the converse does not hold and that ordinal addition is noncommutative. What word should we use to describe this theorem. I'm looking for a term like Ordinal Addition is Associative or Ordinal Addition is Left-Cancellable. Thanks, Andrew Salmon 07:19, 27 July 2012 (UTC)
 * Ordinal Addition Preserves Ordering? --GFauxPas 08:23, 27 July 2012 (UTC)


 * Definition:Relation Compatible with Operation, and we can call it "left-compatible" and "right-compatible" if you need to discriminate. --prime mover 14:05, 27 July 2012 (UTC)

Colons
I think that subpages like Powers of Group Elements/Sum of Indices should be referred to as Powers of Group Elements: Sum of Indices since IMHO the forward slash looks very ugly. --Lord_Farin 10:59, 2 August 2012 (UTC)


 * I agree, and I admit I have been less than diligent at sorting these occurrences out, through sheer laziness. --prime mover 17:19, 2 August 2012 (UTC)

Help
Could you take a look at Lebesgue Pre-Measure is Pre-Measure? I can't seem to identify the issue, it looks like nothing I have seen before in PW. --Lord_Farin 18:11, 4 August 2012 (UTC)


 * The culprits are apparently my $Lord_Farin 18:17, 4 August 2012 (UTC)


 * It looks fine to me. What appears to be the problem? --prime mover 20:52, 4 August 2012 (UTC)


 * When writing consecutive $(($ or $]]$ in the eqn template it apparently breaks the interpreter, probably some issue pertaining to the PHP regexp implementation in MediaWiki. Look back in the history, the first big edit of today, and you can see it for yourself (I can, at least). --Lord_Farin 20:55, 4 August 2012 (UTC)


 * Well, is bound to cause a problem especially when you follow it with a  because that's the delimiters for an internal link. Within a template you might fall foul of more severe restrictions. I have consisently used $\left[\left[{ ...  }\right]\right]$ for Definition:Equivalence Class in the past - recommend you might want to do the same for your contructs: $\left[\left[{ ...  }\right)\right)$ and $\left(\left({ ...  }\right]\right]$. It seems to work. --prime mover 21:01, 4 August 2012 (UTC)

I have adapted it to the latter inside the eqn's indeed; it works. However it is cumbersome and the intuitive form does not lead to problems outside of templates (that I know of). As I see it the dollar signs (ah, that's where it may be from, precedence in parsing delimiters) are parsed before internal links, hence can't be caught by annoying issues with double ['s. On the other hand I may lay off my recalcitrance later, when I'm in a more realistic mood. --Lord_Farin 21:09, 4 August 2012 (UTC)


 * Hah! You invented the notation - you live with it! :-) --prime mover 21:14, 4 August 2012 (UTC)

Style
Hello. I do want to learn this "house style" and the correct formatting for this site. I have been through the house style page several times, but I am confused as to why some of my recent pages have been marked "tidy". I would like to write pages without them getting hit with the "tidy" template, so would it be possible for you to write maybe 3 or 4 words explaining what is wrong with the page the next time you do it? I don't want to impose too much writing or explanation that may be able to be found elsewhere, but maybe you could write something like "more links" or "spacing is wrong" or something to that effect. --Andrew Salmon 04:13, 6 August 2012 (UTC)


 * Will do. Note that some of it is really subtle, like making sure that e.g. there is a colon then a space between the bookreference template and the section it comes from, and using "Also see" not "See also". And note the use of the eqn template. And sentences always being on a new line. --prime mover 05:11, 6 August 2012 (UTC)


 * Some of it's grammatical stuff: "Then" is not followed by a comma. Sometimes it's just that a proof does not flow well as an argument. And so on.


 * As I say, the "tidy" flags are there so they can be attended to later when I'm not working on something else - but as the whole concept of how ordinals and classes are to be treated is to be given a complete rethink so as to be able to accommodate all these different and structurally incompatible approaches, just tidying the style is not such an immediately straightforward task. --prime mover 05:23, 6 August 2012 (UTC)


 * Seeing as you obviously have other plans for the ordinals section, would you recommend that I move onto chapter 9 as that deals with the axiom of regularity instead? --Andrew Salmon 05:40, 6 August 2012 (UTC)


 * Probably. I know nothing about the specific work in question. --prime mover 05:56, 6 August 2012 (UTC)

As requested, I've spent some time adding some explanations to some of the "tidy" tags. --prime mover 06:41, 6 August 2012 (UTC)

Which'
In ongoing annoyance with the lack of a neuter gender counterpart to "whose" in the English language, I have adopted the egologism "which'" (in an attempt to find a close translation to the (archaic) Dutch "welks"); in case I'm being unclear, I mean the correct pronoun in 'The house which' door was open" where "whose" sounds distinctively wrong. This message serves not but to inform you that this use is intentional (and a faint attempt to make it a nostrologism instead of an egologism, but as you're a native speaker I suspect you will have grown used to "whose" or the more pedantic "of which"); please leave it in tact or provide me with the correct one-word alternative. --Lord_Farin 13:55, 6 August 2012 (UTC)

Also, behold the new type of page section I deemed useful: Definition:Convergence in Measure. It was useful mainly because it would be hard to have to come up with the code for $\displaystyle \operatorname{\mu-\!\lim\,} \limits_{n \to \infty} f_n = f$ every time, while I like it a lot better than $f_n \stackrel{\mu}{\longrightarrow} f$. --Lord_Farin 14:40, 6 August 2012 (UTC)


 * "whose" is AFAIK perfectly good grammar. I've never encountered an issue with it. I gather its wrongsoundingness originates from the fact that "who(m)" refers to an animate (or probably, strictly human) object, whereas "whose" is not so restricted, sounds as though it should mean "of whom".
 * I'll respect your suggestion, but I would not be surprised to find someone else "correcting" it. --prime mover 16:52, 6 August 2012 (UTC)


 * And the "Technical Note" looks like a useful innovation to me, go for it. It complements the "Symbol Index" which is shamefully not kept up to date (and was never in date in the first place, come to think of it). One of these days I'm going to go through a mathematical dictionary and extract everything in it to ProofWiki, though, so we have that to look forward to. --prime mover 16:56, 6 August 2012 (UTC)

Definitional Abbreviations
How to denote definitional abbreviations? What is the policy here? --Andrew Salmon 03:20, 7 August 2012 (UTC)


 * Looking around, it looks like the policy is to use $\dashv \vdash$. Is this correct? --Andrew Salmon 03:22, 7 August 2012 (UTC)


 * It's $:=$, see Definition:Definition.

"Start" link
Can the books have a "start" link on their book page that links to the first page that the book references? That is, it should link to the page that you get if you kept clicking prev until you can't anymore. Maybe it could be on the book page? --Andrew Salmon 06:20, 7 August 2012 (UTC)


 * Sounds like an excellent idea. I'll give it some thought - but I have to go to my day job right now. --prime mover 06:43, 7 August 2012 (UTC)