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)