User talk:Prime.mover

New approach to natural number section
I'm sure you've noticed my new approach to getting the natural numbers section to a higher level. I hope you like the direction I'm going in :). As always, feel free to inform me about any remarks or other concerns that you might have.

If you want to keep an eye on the progress, just take a look at the items on User:Lord_Farin/Sandbox/NN Refactoring that have been marked done (you can also add items you think relevant to the list). &mdash; Lord_Farin (talk) 20:37, 22 October 2014 (UTC)


 * I'm keeping an eye, no worries ...


 * I'm going to let you get on with it, I'm happy with this approach. It's a project I found was beyond my powers of extended concentration. Meanwhile, I'm going to continue trying to make head or tail of Euclid's books on number theory. --prime mover (talk) 20:44, 22 October 2014 (UTC)


 * As a sub-part of the refactoring, I encountered some results named Recursive Mapping etc.. These bear strong signs of Warner's idiosyncrasy, so I'll leave them alone. It's not urgent, just another thing to tack onto your to-do list, which probably is as unbounded as mine.


 * You've probably noticed that I haven't been doing much; I have been occupied by other things. Fortunately, my explicit planning list helps to keep track of where I was and what needs to be done, so that we can still progress in the end. &mdash; Lord_Farin (talk) 16:40, 7 February 2015 (UTC)


 * The Warner work was among the first work I did for and hence has the least corroboration from other sources. I have it in mind to completely revisit the entire thread in due course. Flag up any possible changes to the flow by means of source review templates and I will make sure I get to them when I re-approach this work.


 * At the moment I have my head down completing this first pass through Euclid, which I am going to concentrate on while I am still motivated. After a while I will need to take a break, but while I'm still making progress I'm sticking with that. After that I have no firm plans. It may depend on what "the people" want. --prime mover (talk) 17:36, 7 February 2015 (UTC)


 * I consider the big Warner revisiting due, at least regarding the NOS. Just so you know. I'm fine with postponing until you get around to it (I haven't been able to find a digital copy, so I can't do it myself). &mdash; Lord_Farin (talk) 21:13, 25 February 2015 (UTC)


 * As I say, leave me be to finish off Euclid (tantalisingly close now, nearly the end of book XI, only two more and some bits and pieces left to do) and then I'll revisit Warner.


 * A medical condition (and utter boredom with parallelepipeds) leaves me unable to concentrate for long periods at the current moment, so work is progressing more slowly than it ought. --prime mover (talk) 21:27, 25 February 2015 (UTC)

Feedback for Proofs
I noticed that the "Maximum Modulus Principle" has no proof, and I am working on one in my sandbox right now. But I am not comfortable posting it yet, and have a few questions I'd like to ask first (primarily looking to see if certain results are already proved on the site, and I just can't find them). Where is the best place to get feedback on works in progress before posting them? The main talk page? The questions page?

By the way, my two issues are:


 * I'm trying to find if what I've called the "Mean Value Property" (in my sandbox proof) is already proved on the site.
 * I know that my reference to "Absolute Value of Complex Integral" doesn't quite apply in this situation, but a very similar principle does. I'm wondering if the more general measure-theoretic version is proved somewhere on the site.

-- Ovenhouse (talk)


 * Feedback on specific works in progress can either be got by posting up on the talk page of the actual page in question, or if you believe there is a wider application for the question, then on the main talk page. Note that all edits can be seen on the "Recent changes" page, so everything that is posted up anywhere is visible by anyone who regularly trawls through this.


 * As far as I know, the "Mean Value Property" has not been done yet. I agree, it merits its own page. Note that every statement used needs to be backed up by a link to a demonstration of the truth of that statement; in particular there are references to integration by substitution and change of variables, neither of which have been covered in the complex domain on . Then of course we have the question of what further statements do these rest on? It's tortoises all the way down.


 * The more general result / similar principle to the "Absolute Value of Complex Integral" page do not as far as I know exist. It would be a worthwhile exercise to put them in place.


 * There has been embarrassingly little work done on complex analysis on this site. I have several times made a start but (such is my nature) I have each time become bogged down in the minutiae of the fundamentals to the extent that I have not yet got as far as complex calculus. Apart from me, the only other person to have done any work on the area was Anghel, who did a considerable amount of excellent work on Jordan curves.  However, the basics of complex calculus are still basically untouched.


 * A new approach from someone new would be welcome. If there are existing results, then (apart from the basic stuff and the aforementioned Jordan curve work) it is incomplete and does not form a coherent body of knowledge. If you are of a mind to flesh it out, then your efforts will be greatly appreciated. If results become duplicated, and as a result some redundancy creeps in, then no matter, we can merge existing pages into any new work that is being done.


 * Please note that there is a stringently-applied house style (there are reasons for this which have been discussed in some detail -- and at some heat -- elsewhere), so please do not be put off by a rash of "tidy" and "refactor" and "MissingLinks" templates appearing all over everything you do :-) -- these are more reminders for us janitors to work on than for you to be constantly going back and reworking stuff. --prime mover (talk) 10:57, 30 December 2014 (UTC)


 * If you are in doubt or cannot find a specific result, do not hesitate to use the MissingLinks template, describing what link is missing. Someone else might find it, or write it up. In this way, at least the reference is recorded. &mdash; Lord_Farin (talk) 12:46, 30 December 2014 (UTC)