User talk:Prime.mover

Future Proofs Guidance
I am just about ready to tackle the theorem of Transfinite Induction and, a little later, the slightly more difficult proof of Transfinite Recursion. Neither should be tough, because the proof has already been worked out in Takeuti/Zaring. Simultaneously, I will be proving the Peano Axioms for a subset of the ordinals. Notice that three of these are theorems which have multiple ways of stating them. For example, transfinite induction could be stated as $\forall y \in \operatorname{On}: ( \forall x \in y \phi ( x ) \implies \phi ( y ) ) \implies \forall y \in \operatorname{On}: \phi ( y )$ or by giving a specific set of conditions for a base case, successor case, and limit case. How should I go about this theorem -- I am assuming I should create just one page and stuff all the theorems on there. It would be nice if I could have some guidance, considering that I am still not too familiar with all the details of proofwiki... Andrew Salmon 00:42, 29 November 2011 (CST)


 * I apologise, but I have been told I do not have the authority to make decisions about the direction of ProofWiki. I have been reminded that ProofWiki is a wiki, and not "just prime.mover's personal blog". I am no longer allowed to answer questions as to what should or should not be in ProofWiki. This is completely up to the individual contributors, and editing pages of others and telling others what pages to put up should not be done by me. --prime mover 00:47, 29 November 2011 (CST)


 * To respond on-topic: I think you'd best put it up there with a Template:Tidy tag so that we can adapt it and guide you from there. As to the direction of the site, I think coherence and uniformity are very important for a pleasant reading experience. This is what the house style was developed for, and anything that does not conform to it should be put in appropriate form. At all times, when editing work of non-experienced authors, it is probably a good habit to drop a note on their talk page explaining where they violated the house style and how this can be prevented in the future. And I think you, prime.mover, are perfectly entitled to perform such corrections, despite what reactions have come on that part in the past. --Lord_Farin 11:55, 29 November 2011 (CST)


 * What he said. --Joe (talk) 12:14, 29 November 2011 (CST)


 * Ultimately comes down to, if we advertise this as a wiki, the rules of it being a wiki ought to be adhered to. And I'm not sure I'm contributing positively. Best if I stand down and let those who are actually legally qualified to take over. --prime mover 14:33, 29 November 2011 (CST)