User talk:Prime.mover

Using an external editor
Hey, I just found out and tested that you can use an external editor to edit pages. It works great. I tried so far using GVim using the "It's All Text" plug-in for Firefox. All you have to do is install the plug-in and then tell it where your editor is. Here are the two sites I used to help me set it up. I did this in Linux but I'm sure it'll work fine in Windows! Hope this helps --Joe


 * http://en.wikipedia.org/wiki/Help:External_editors
 * http://en.wikipedia.org/wiki/Wikipedia:Syntax_highlighting#External_editor_feature

Thanx dude - I'll check this out ... --prime.mover 06:20, 11 August 2008 (UTC)

Edit bar buttons
Hey, I'm not sure if you noticed the new post, but I added some new buttons to the edit bar (So far just ref tags and the one for the equation template). Any others that are used a lot that might be good to put there? --Joe 20:40, 20 October 2008 (UTC)

plenty! - too many, in fact, to be sensible. As I happen to be on any particular subject I tend to just add them to my user page, which is growing by the day.

Can't think of anything universal, unless you want to put up a Theorem - Proof template:

Proof
[[Category:]] ... or something. The main advantage to such things is the tendency towards uniformity of style, I suppose ...

I did notice the equation button, haven't used it yet, haven't been doing anything equation-based since I noticed it. But I will ... sooner or later. --prime.mover 20:53, 20 October 2008 (UTC)

Group Examples and such
I've combined the page on Definition:Dicyclic Group with all of the material from the Quaternion Group page, since the quaternion group is a special case of a dicyclic group. Let me know what you think of it!

For the dicyclic group page, as well pages like Alternating Group, Symmetric Group, what I'd like to do, what I personally think is ideal, is having these pages remain as repositories for all proofs about these objects, such as demonstrating that they are groups, that they are non-abelian, and any other common properties about them. A separate definition page should exist explaining what these objects are, so that we have something to link to from proofs that doesn't send the end user through a long explanation of why a group is a group.

Your thoughts? Zelmerszoetrop 22:12, 22 January 2009 (UTC)

Logic question
Hi, I want to start adding complete proofs for all of the basic metatheorems of first-order logic, but I don't think this wiki has an official deductive system for FOL. How should we pick one? Whoops, sorry about that. I was being lazy and didn't bother to check. Mag487 06:32, 25 August 2009 (UTC)

Hi, another very general logic query. We presently have formal logic divided into a bunch of categories (some of whose borders are blurry), like predicate logic, propositional logic, mathematical logic and so on. I would propose we either subsume the categories into a mathematical logic supercategory, or eliminate them altogether in favor of a mathematical logic category alone. I'm not sure, e.g., mathematicians really refer to predicate logic as such, but rather to "first-order logic without equality," which is on a continuum with a bunch of other logics (like first-order logic with equality, or second-order logic). My intention is to tackle the important basic results of first-order logic with equality (the logic that set theory takes place in) and then branch out a bit to other areas of mathematical logic like proofs of the incompleteness theorems. Mag487 07:25, 26 August 2009 (UTC)

commutative diagrams
Do you know how to do them on-wiki? J D Bowen 21:11, 9 October 2010 (UTC)


 * Nope. I created the ones in here using GeoGebra. It was fiddly. --prime mover 21:23, 9 October 2010 (UTC)


 * Since you can create them in LaTeX I suspect it would just be a matter of importing the relevant packages into the wiki's LaTeX distribution, but I have no idea if that's doable. --Alec (talk) 18:07, 11 October 2010 (UTC)

This doesn't work:

 $\xymatrix{ \bullet \ar[r] \ar@{.>}[r] & \bullet }$ 

Hi
I'm not familiar with Hartley and Hawkes, I'm using Grillet - Abstract algebra as a guide. Everything that's down already looks pretty good! I'm quite busy at the moment but I'll think about how to treat polynomials in the near future, I think the work is in keeping in mind a global picture, the results themselves aren't much trouble.

Yeah it's a nice little project - makes a pleasant distraction from all the work I'm supposed to be doing. I've changed a few \and's etc. as I've seen them; I'm new to the wiki-style editing so just shout if I'm doing something out-of-style. --linus44 00:22, 9 February 2011 (CST)

Pointwise operations
So there is, that's great, it wasn't going to be thrilling to write, thanks! "Induced structure" is a better term anyway. I'll mark the pages not needed for deletion. Also, this site needs a `like' button for what you wrote about "Q.E.D." for ending proofs on the help page. I die a little inside every time I see it. -- Linus44 06:46, 13 February 2011 (CST)

In fact, the definition of induced structure is quite robust so it covers addition (although interestingly not [I think] multiplication) of polynomial forms as well. This should shrink the unwieldy collection of pages I had used to prove that they are a ring. -- Linus44 07:54, 13 February 2011 (CST)

Math Fixing Macro?
Hi! I've been playing around with emacs macros to make changing pages with \ etc. quicker when I come across them. As far as I can tell, it's not possible to write one that sort's out the aligned material, i.e. that changes | $\mapsto$ \vert, removes the \ \ tags and spaces the }}'s inside an aligned equation without learning some lisp. Just wondered if you had written something along those lines? If not I might have a go, shouldn't be too hard unless lisp is unexpectedly confusing. Linus44 14:27, 20 February 2011 (CST)
 * Cor blimey, lisp! That takes me back. Never used the language, which is unusual for me and my life journey, but once you get your head round the paradigm it seems straightforward.


 * Sounds like a brilliant idea, but I'm wary about using a macro that does things blindly.


 * What would be useful would be for a bot to go through all the pages which have a) deprecated commands: \and, \or, \reals etc. and flag them up by adding them to a category, b) identify those with the old math tags on them, and do likewise, and b) identify those with other breakages on them, whatever they be. Then we'll have a great big category with all the pages that need fixing on them, and we can address them all. Perhaps we can "press the button" on any particular page we come to, and then check the page for consistency before releasing. --prime mover 15:06, 20 February 2011 (CST)


 * Well Lisp ain't too bad, although the author seems confused about the conventions regarding where to put plus signs. Something like this:

(defun cmath (start end) "Replace “<” to “&lt;” and other chars in HTML. This works on the current region."  (interactive "r")  (save-restriction (narrow-to-region start end) (goto-char (point-min)) (while (search-forward "$$" nil t) (replace-match "$" nil t)) (goto-char (point-min)) (while (search-forward "$$" nil t) (replace-match "$" nil t)) (goto-char (point-min)) (while (search-forward "" nil t) (replace-match "    " nil t)) (goto-char (point-min)) (while (search-forward "" nil t) (replace-match "" nil t)) (goto-char (point-min)) (while (search-forward "{{equation" nil t) (replace-match "{{eqn" nil t)) (goto-char (point-min)) (while (search-forward "\\and" nil t) (replace-match "\\land" nil t)) (goto-char (point-min)) (while (search-forward "\\or" nil t) (replace-match "\\lor" nil t)) ;; (goto-char (point-min)) ;; (while (re-search-forward "\\$\\(.+?\\)\\$" nil t)      ;;     (replace-match ;;      (concat "$" (replace-regexp-in-string "|" "\\vert" (buffer-substring (match-beginning 1) (match-end 1))) "$" ) ;regexp-in ;;         ;;(concat "$" (replace-string "|" "\vert" (buffer-substring (match-beginning 1) (match-end 1))) "$" ) ;;  	  nil t       ;;     )      ;;   ) (goto-char (point-min)) (while (re-search-forward "\\([^~]+?\\$[^~]+?\\)" nil t)     (replace-match (concat "{{begin-eqn}}" (replace-regexp-in-string "\\$" "" (buffer-substring (match-beginning 1) (match-end 1))) "{{end-eqn}}") nil t      )     ) ) )

(fset 'mfix  [?\C-x ?h ?\M-x ?c ?m ?a ?t ?h return])


 * in .emacs does the job except 2 problems:
 * for some reason I can't get it to substitute \vert for | (the commented bit), it won't escape the backslash
 * it deletes the dollar signs in the |c= part of equations as well]


 * Since it makes sense to preview the changes first I'm pretty much ok with this, the remaining changes aren't frequent enough to be tedious (which is another way of saying I'm tired of looking at regular expressions). But maybe I'll find the time and interest to neaten it up.


 * As for a bot, I'm more of an incidental programmer so I wouldn't know where to start, although it does sound cool. Linus44 14:22, 21 February 2011 (CST)


 * Perhaps we don't want to do the "equation" bits. No, no "perhaps" about it, I'd rather I (or whoever) did these by hand. The task's not intractable now, we have less than 600 of them, and it's therapeutic. I've done all the long pages (i.e. greater than 6000 characters) so most of the hard work's done.


 * But replacing delimiters directly by $ \$ $ is a good idea.


 * As for a bot, I glanced at the material on the mediawiki site (or wherever it was) and it talks about python, which I'm not prepared to get into at this stage (sheer intellectual idleness) ... had a recent change of career direction and there are less brain cells available for that sort of thing now, at least till I get my metaphorical feet under the equally metaphorical table. --prime mover 15:33, 21 February 2011 (CST)


 * I think I agree, especially when playing with |'s and double braces it's easy to come out with unwanted side effects since they form the "framework" of the template as well. The reason I stopped where I did was that to only pick out the correct sets of characters involved "nested" regular expressions, which I can testify are not theraputic. Although I am impressed with what can be done with emacs, I might learn lisp proper some time.


 * My knowledge of python is based on a couple of xkcd comics; have you tried  ? Linus44 16:57, 21 February 2011 (CST)


 * Nope, not yet, and not tonight, I'm up at 6 in the morning, my wife returns to work and needs transport. Another day. Sleep well. --prime mover 17:02, 21 February 2011 (CST)

Re: Links and Categories
I know, and I'll make more of an effort to do it, and will go back and cross-reference stuff I already added over time. For a lame single example, I did add the definition Definition:Ultraproduct a while after having referenced and used it in Compactness Theorem. Although as a side note, I also later noticed that there's a few compactness theorem proofs;

http://www.proofwiki.org/w/index.php?title=Special%3ASearch&search=compactness

I hadn't searched it when I first put it up (I'm learning to do this as well). So at some point I'll probably try to sort out how those should be merged together.

It just already takes a long time to add something and doing all the linking makes it take even longer and makes it less fun/interesting to do. As I get more familiar with the site and more used to the wiki stuff, I'll approach behavior you like more, but I'm probably going to end up striking a balance because I'd rather be doing something that seems like it's adding content rather than connecting it (I understand that poorly connected content is arguably not very good content). A significant part of my motivation here is review and self-education. I recognize the importance of the things you mention for the usefulness of the site, but increasing that isn't necessarily the sole or primary reason for my participation here.

Qedetc 16:04, 2 June 2011 (CDT)

Also! If it's any consolation, I have been watching the edits people do after me and am trying to be more preemptive to save them some of the trouble (mostly so far that's been you and Alecscooper).

Qedetc 16:08, 2 June 2011 (CDT)

Whoops, I had asked about a page name that was weaker than the theorem it pointed to, but realized you were redirecting it to a stronger theorem anyway and had changed the name of that page as well. I guess my remaining question at the moment is whether changing $\kappa$ to $K$ increases the searchability, or should I try to avoid variable names in titles all together, (or at least make sure their role is clear in the title). Also, are really long titles looked down on? Qedetc 11:37, 3 June 2011 (CDT)

Somehow I had missed a message you left. In response to "I notice that there is significant crossover of terminology between this   area of formal language theory / model theory which you're in the   process of working on, and the point-set topology that I'm also working   on." I'm curious; do you have a few examples of particular shared terms or concepts that made you notice some connection (however slight that connection might be)? Qedetc 16:55, 4 June 2011 (CDT)

You don't need to apologize. I was mostly worried that somehow something I said came off offensively. (Which, if it did in any way, feel free to let me know, even if it was because of just what you happened to be thinking about at the time or some weird particularity of how I phrased things. It's not really in my interest to offend people.)

Re: other stuff. It's probably good if someone yells at me occasionally, otherwise I'd probably get lazy and not do things very thoroughly here as far as the site is concerned. I'm secretly lazy.

Qedetc 11:30, 9 June 2011 (CDT)

Thank you for welcome: 日本への栄光
日本への栄光!! Prime.mover,Thank you for welcome May I ask you 3 questions: Again,Thank you for welcome --Yohji kinomoto 16:20, 8 June 2011 (CDT)
 * How old is this nice Project?
 * Is there any Japanese version ?
 * I have some proofs, correction and enhancement, should I do it directly or after permission?

Thank you for the message
Thank you for the note Sir.

It is a little fuzzy for me, but it seem to be simple for you; may you or any of your behalf do this (dividing or cutting or so?)

thank you in advance. --Yohji kinomoto 10:13, 10 June 2011 (CDT)

Correction
I think there is one missing i in the word Polynomials (written Polynomals) in some recent edits. As it was in title, it was difficult to correct.
 * Regards and congratulations for the great job!--Integer 17:18, 10 June 2011 (CDT)

Tidy up
My talk page was getting a bit long so I've purged it back - removed a lot of old stuff which is no longer relevant, and some phatic talk. Don't be offended if I've deleted your comments. --prime mover 00:26, 13 June 2011 (CDT)