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)

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)