User talk:Prime.mover

External link suggestion for "Equivalence of Definitions of Ellipse"
Maybe you could consider adding a link on the page Equivalence of Definitions of Ellipse to a "pure" geometric proof that can be found here http://www.lucamoroni.it/ellipse-geometric-proof-equivalent-definitions-foci-directrix/ It's a different approach to showing the equivalence of the definition of the ellipse based on purely plane geometry arguments and I think it could fit well (as a complement) in the Ellipse page of Proof Wiki.


 * Alternatively you may wish to add the proof yourself -- we don't link to proofs, we include them complete.


 * Incidentally, please sign your posts. --prime mover (talk) 15:23, 20 November 2016 (EST)

Length of Arc of Cycloid/Proof 2
I found the main part of the proof here, but I quite believe it's lacking some common sense. We need a much clearer sketch than this. Simcha Waldman (talk) 07:05, 21 November 2016 (EST)

Template Request: R
I will be using graphs generated in R in the future. It would be a good idea to have a template for citation. Something like you did for me with Template:TarskiGeometryCitation. Something like.

However, the citation format recommended is quite verbose, and I think it would add clutter to have the whole thing on every page. So I'm not sure what to do, and would like your input.

Once I see how you do it, hopefully I can figure out how to add citations for different packages I might use, by mimicking. --GFauxPas (talk) 14:26, 1 December 2016 (EST)


 * Can you give me an example of how you believe it should be used? Like, put a page together that uses it? --prime mover (talk) 16:55, 1 December 2016 (EST)


 * I'm working on it. I'm using it to draw contours for contour integration. --GFauxPas (talk) 19:21, 1 December 2016 (EST)


 * Okay, here's my idea. From Complex Riemann Integral is Contour Integral, every Laplace Transform for a fixed $s$ is a contour integral. I want to illustrate the idea that the contour integral converges for, for example, $\operatorname{Re}\left({s}\right) > 0$ and diverges for, for example, $\operatorname{Re}\left({s}\right) < 0$.


 * files removed while I fiddle with them and make them pretty


 * And maybe you or me will think of other ways illustrations of contours would be illuminating to the reader.


 * I haven't decided yet whether I should impose the parameterization of the curve on the graph like I did. I can easily rerender the graph with or without various accouterments.  --GFauxPas (talk) 14:41, 9 December 2016 (EST)


 * Still not sure quite what you want me to do. I appreciate the elegance of presentation, by the way. --prime mover (talk) 14:47, 9 December 2016 (EST)


 * Thank you! I worked very hard on it, on learning how to code it in . What I would like your help with is how to add a citation at the bottom of the page to acknowledge that I generated in the image in   using  . Just like how when we put up a definition from a book, we cite the book at the bottom of the page. --GFauxPas (talk) 14:50, 9 December 2016 (EST)


 * Straightforward enough. Let me know:
 * a) exactly what it would say
 * b) what the parameters are
 * c) whether you want it to go into any particular category
 * and so on. I'd suggest it may be more like the MathWorld template than a that book one. --prime mover (talk) 14:53, 9 December 2016 (EST)

should be:

This image was generated using the  programming language: R Core Team (2016). R: A language and environment for statistical computing. R Foundation for Statistical Computing, Vienna, Austria. URL https://www.R-project.org/.

and  should be

This image was generated using the  programming language, utilizing the   package.

(As above).

H. Wickham. ggplot2: Elegant Graphics for Data Analysis. Springer-Verlag New York, 2009.

I defer to you as to where to put colons or commas wherever, or if you think of a better way to word it. Thank you in advance! --GFauxPas (talk) 15:00, 9 December 2016 (EST)


 * BTW, I've never seen Laplace Transforms presented as contour integrals anywhere. might be the only place with this graphical interpretation. --GFauxPas (talk) 15:18, 9 December 2016 (EST)


 * There you go, feel free to edit them as you wish.
 * There's plenty of stuff that appears on the net only on, but I expect we would be able to find something about this in published papers somewhere. I know I've plotted the things myself when optimizing microwave filters.
 * Westwood's Puzzle is unique to, unless it's gone further afield by now. --prime mover (talk) 15:25, 9 December 2016 (EST)

Is there any service that I can provide to compensate for the fact that I am not a perfect fit?
If there is none, then please give me 24 hours notice before you hide my work from me. Thank you very much.--Amorrow (talk) 18:34, 3 December 2016 (EST)


 * We have an evolved philosophy, and a general ethos which has also been evolving. You may see where gaps exist in our coverage, and you can take note of how we present definitions, results and proofs.


 * Whether there is a place in for more-or-less structured "courses" remains to be seen -- but if we do decide to go in that direction, the presentational quality of the resulting work needs to be, I am sorry to say, somewhat higher.


 * We are not Wikipedia, and we never intended to be a clone of it. Hence our naming conventions and house style rules are sufficiently different as for interlinking between to be impractical and undesirable.


 * If you are in a position to contribute within the guidelines as defined in our house policies, then you are welcome to do so to whatever extent you like. --prime mover (talk) 18:43, 3 December 2016 (EST)


 * This course I have prepared is still raw. I am 55 years old but I am rough in my writing style and at making calculus lightning-fast to learn. I do it because it makes me young again. Please do not cast me out abruptly. Please take a moment or two to deliberate.--Amorrow (talk) 19:24, 3 December 2016 (EST)


 * I am 56 in less than 3 weeks so if we're going to use arbitrary numbers to determine precedence, I outstrip you by a small margin, but that is immaterial. The point is that  is what it is, and it does what it does. I have been hunting around for an analogy, and the best I can do is consider someone who turns up at a come-all-ye music festival wanting to get up on stage and present a lecture on the life of Shostakovich. Not intrinsically a bad thing in itself, an erudite and well-constructed presentation it may well be, but it may well not fit in with the spirit of the event. As such it would need careful consideration of the arguments for and against its inclusion, and may even need to be put to the audience to see whether they would appreciate such a lecture.


 * In this context, as I say, we need (collectively) to consider whether such a departure is in the spirit of what is really about. --prime mover (talk) 01:25, 4 December 2016 (EST)

Is there some database inconsistency
Prime mover: I am confident that my wikisource for is simple and correct and yet it does not render properly everywhere. Feel free to compare it to this offsite copy. Is this typical for this site?--Amorrow (talk) 12:47, 4 December 2016 (EST)


 * You may want to familiarise yourself with the house style rules.


 * For a start, we don't use "math" delimiters here, we use dollar sign delimiters instead. We use MathJax not MediaWiki markup which is frightfully substandard.


 * For another thing, we have an "eqn" template for formatting equations, which generates a table styled consistently, so you don't need to set up all that low-level markup yourself.


 * I have a fair amount on my schedule at the moment so I am not going to be able to spend a lot of time with you on this. My view has always been that a mathematician should to a certain extent be an autodidact. --prime mover (talk) 12:58, 4 December 2016 (EST)

Wau
(moved from GFauxPas's sandbox discussion page)

I've been, er, "dicking about" this last few days, and encountered a Vi Hart video posted up by someone on Quora about the number which she calls "Wau". Googling it, I find your name attached to a comment on an xkcd forum referring to it. Might have guessed you'd have encountered it. :-)

What do you think: post up a page on about "Wau" or wait till April 1st? Or is it more appropriate to the Jokes page?

Remember: e to the i to the e i o equals e to the wau to the tau wau wau. --prime mover (talk) 23:19, 21 December 2014 (UTC)


 * Maybe create a new category of "important constants", and then stick it in that category? --GFauxPas (talk) 00:08, 22 December 2014 (UTC)


 * prime mover, now that you're creating pages for various interesting integers, perhaps now is a good time to add a page for $\digamma$. --GFauxPas (talk) 13:51, 9 December 2016 (EST)


 * You're the Vi Hart fan, take it away, maestro ... :-) --prime mover (talk) 14:06, 9 December 2016 (EST)

Two pages to be deleted
Please delete this and this, thank you. --kc_kennylau (talk) 09:41, 24 December 2016 (EST)


 * I suggest that unless you know what you're doing, you abandon this course of action. It is admirable that you are enthusiastic about something you have just learned, but until you fully understand the mathematics that underlies it (e.g. to the extent that you can create the definition pages correctly for Field Extension and Linearly Independent) then it may be a good idea for you to find something else to work on. --prime mover (talk) 09:49, 24 December 2016 (EST)


 * I will bear this in mind. --kc_kennylau (talk) 09:58, 24 December 2016 (EST)


 * :-) --prime mover (talk) 10:01, 24 December 2016 (EST)


 * So will you delete the two faulty pages that I created? --kc_kennylau (talk) 10:02, 24 December 2016 (EST)


 * In due course. --prime mover (talk) 10:06, 24 December 2016 (EST)


 * And I eventually proved both of them. o/ --kc_kennylau (talk) 16:26, 27 December 2016 (EST)

Appreciation
Your indefatigableness is really something. --GFauxPas (talk) 16:24, 27 December 2016 (EST)


 * Heh. It would be nice to find I'd taught by example. :-) --prime mover (talk) 16:25, 27 December 2016 (EST)

Templates
Your habit of adding a newline between the  and   tags made a newline prepended whenever the template is transcluded, which sometimes causes problems. For example, consider:

which generates:

instead of:

The above. --kc_kennylau (talk) 08:38, 29 December 2016 (EST)


 * Where do I add a newline between the noinclude and the includeonly? --prime mover (talk) 09:17, 29 December 2016 (EST)


 * In Template:Defof and basically every template you write. --kc_kennylau (talk) 09:19, 29 December 2016 (EST)


 * Happy now??? --prime mover (talk) 09:23, 29 December 2016 (EST)


 * :D --kc_kennylau (talk) 09:31, 29 December 2016 (EST)

Template:NumberPageLink
I can totally see why this is a good idea. I would however suggest that the presentation be reconsidered. Currently Previous and Next are a bit lonesome and unexplained at the top of the page. &mdash; Lord_Farin (talk) 15:19, 15 March 2017 (EDT)


 * Wasn't sure about that. I was copying what I did with e.g. Symbols:F. Feel free to experiment with it if you have a good idea. --prime mover (talk) 15:23, 15 March 2017 (EDT)

Definition:Consistent
There seems to be going something wrong here. The definitions 1 and 2 that were added are not adequate. For definition 1 refers to "tautology" without specifying in which semantic context (and in any case it cannot be that a formal proof system's consistency is *defined* in terms of a semantics; this is the ground of soundness and completeness theorems). Similarly, not every formal language will contain the symbol $\neg$, so definition 2 is not applicable in this universality either.

It therefore is not a surprise that the definition equivalence proof is not complete: the proof does simply not hold!

What is the suggested course of action here? (Also, my apologies for finding out only 1,5 years later...) &mdash; Lord_Farin (talk) 06:00, 9 September 2017 (EDT)


 * I hear a whoosh.


 * There are aspects of logic which I cannot understand. Once I think I have a grip on something, it vanishes. Suggest the following:
 * a) Establish in what contexts definitions 1 and 2 make sense (i.e. have we got to build an appropriate semantic framework into which they can be established either as definitions or theorems?) and specify them within that context
 * b) If they genuinely can't be made sense of, they will need to be thrown away -- but it would possibly be worth adding a note to the errata section of Basson and O'Connor, from which I got all these definitions by puzzling over the text with an ice-pack on my head.


 * If you can have a go at this (e.g. if you have access to the Basson and O'Connor), feel free to do so -- otherwise put an instance of "questionable" on them (with as much explanation as you can) and I'll make the effort to revisit them. I used to enjoy logic but I fear I've reached a brick wall. --prime mover (talk) 06:18, 9 September 2017 (EDT)


 * I have the impression that reality is closer to option a). It is really very difficult to provide an approach that facilitates all the literature's slightly different, but "obviously" equivalent specifications to exist side-by-side.
 * Once I have access to my reservoir of ebooks again I will check for Basson/O'Connor and report back to you.
 * Ultimately, I think the only feasible approach is to have the overarching pages in place more or less like I constructed them now, but amended with loads of example and detail pages that will guide the reader to understanding that there is more subtlety than the idiosyncrasy of their respective treatise.
 * This will be a narrow road with many obstacles. But achieving the goal would be monumental: facilitating readers to understand and grasp the meta-level of logical reasoning, where all the similarities and repetitions that occur in setting up the many different flavours of mathematical logic can be made precise and unified.
 * But let's start small and address the current issue first :) &mdash; Lord_Farin (talk) 06:45, 9 September 2017 (EDT)


 * I found a freely accessible Basson/O'Connor online. It turns out that their definition is exactly as you wrote it. Problem is that it explicitly restricts the definitions to the specific system at hand ("assuming RST 1-4"). This makes them unsuitable to stay on the generic pages. Probably all terms they talk about need to have specific PropLog instances. Most should exist, I remember doing the exercise. But it is tedious and error-prone.
 * Do you have a problem if I put this one on my personal backlog, to be addressed when I have at least a few hours to dedicate? &mdash; Lord_Farin (talk) 16:40, 13 September 2017 (EDT)


 * Feel free. I found myself getting out of my depth, which is why I abandoned it at around that point, I was going to come back to it but never got round to it. --prime mover (talk) 17:10, 13 September 2017 (EDT)

Pff. It will take much more time to provide a coherent approach here. Ultimately, the axiom system provided for PropLog should be described, and everything (defined and) proved in reference to that system. This is very hard to keep separate from the more generic treatment of the underlying subjects. But on the other hand it is just similar to the exercise I have done for Boolean Interpretations.

We could subsequently start proving proof systems equivalent (as in $\vdash_{\mathcal P} \phi$ iff $\vdash_{\mathcal P'} \phi$). This would be a great achievement, a first step in overcoming the idiosyncrasy in logic. I will continue to think about this. It provides a concrete motivation to get this shit sorted out. &mdash; Lord_Farin (talk) 16:19, 20 September 2017 (EDT)


 * My ability to think has taken a turn for the worse recently. I hate what age does. The hope is that once the stressy stuff is out of the way, I will be able to take on mental challenges again. Until such time, this aspect of mathematical logic will have to remain completely in the hands of you (and anyone else who wants to add their own thoughts), and I will stick to nice easy concrete understandable numbers. --prime mover (talk) 16:24, 20 September 2017 (EDT)


 * There is nice progress. I have unified the approaches to propositional tableaus that were previously conflicting. I'm in the process of rounding up this task, which will result in fully descriptive pages for the Completeness and Soundness theorems described in Keisler/Robbin (for PropLog). Subsequently I can start the same train for the proof system in Basson/O'Connor. I'd almost forget I had started out with that aim. But the progress in untying (generic) PropLog from (specific) Tableaus is almost complete. &mdash; Lord_Farin (talk) 17:41, 4 October 2017 (EDT)


 * Are you actually in possession of a Keisler/Robbin? Or have access to (tantamount to the same thing)? --prime mover (talk) 17:43, 4 October 2017 (EDT)

Yes, I have a digital copy of the 1996 version. &mdash; Lord_Farin (talk) 17:46, 4 October 2017 (EDT)


 * That makes things easier then. My copy was that same edition. I only used it because is was one of the very few I had access to at the time. --prime mover (talk) 17:51, 4 October 2017 (EDT)

Reductio ad Absurdum/Sequent Form
Should we use two $\vdash$ in the same line? Whose notation is this following? --kc_kennylau (talk) 05:39, 25 September 2017 (EDT)

Definition categories
Sorry for not properly adding categories to definition categories. I see know why and how it has to be done. --barto (talk) 14:03, 20 October 2017 (EDT)


 * No worries. The whole structure and philosophy of categories was reworked some 2 years ago. Templates are still evolving. Those old AbAlg categories were never updated until now. --prime mover (talk) 14:08, 20 October 2017 (EDT)

Basson O'Connor
I notice you have introduced a pretty nice form of presenting proofs from proof systems other than natural deduction. This looks very nice, but I think the references cannot be used the way they are currently (because these are generally part of natural deduction and/or otherwise go beyond the scope of the proof system at hand.

To accommodate for this during my treatment of Basson-O'Connor I have chosen the approach seen on Proof by Contradiction/Variant 3/Formulation 2/Proof 2. What do you think? Is this something we can proceed further with? I'm looking forward to hearing what you think, because I want to cover some more of it the coming days and would regret having to go through everything again to make updates. &mdash; Lord_Farin (talk) 17:04, 26 October 2017 (EDT)


 * The only "controversial" point here is taking it back to bedrock with TableauLine rather than with the specifically-crafted proof lines I built for Natural Deduction. The only reason I invented those was laziness -- it saved me having to keep track of what all the parameters were for. But the spirit of the page is preserved. If this technique is going to be used in earnest, then building templates for the various cases is also worth thinking about. So no worries. --prime mover (talk) 17:41, 26 October 2017 (EDT)