User talk:Lord Farin

Template for Gentzen proofs?
Since we have a template for non-Gentzen tableau proofs, it might be worth constructing one for the new Gentzen ones you're constructing at the moment. It should save some considerable effort and page space. What say? --prime mover (talk) 15:05, 2 April 2014 (UTC)


 * I don't expect many proofs in this style, since even Ben-Ari tries to move on to different proof systems quickly. It is not a proof system that is very common or popular (other Gentzen systems are, however). I deem it wise to not create a template specifically for this proof style.


 * Nonetheless, given that we can expect more and more proof systems in the future, it might be a good idea to generalise Template:BeginTableau to arbitrary proof systems, and provide a generic template which can act as a semantic hull around the MediaWiki syntax, just like Template:Eqn and Template:Axiom do. This will make it easier to adapt to future needs. &mdash; Lord_Farin (talk) 17:36, 2 April 2014 (UTC)


 * More challenging ... I'm not immediately planning on doing all that much more in this area (I only raised it in the first place so as to have something to plant ZFC in back in 2008 and it all got a bit unwieldy) so for the moment I'll leave this until I have another manic episode. --prime mover (talk) 19:28, 2 April 2014 (UTC)

Boolean Algebra
I have been investigating the "Wanted Pages" list and clearing out dead links to superseded pages. One such is Category:Boolean Algebra, where there is still a link from the Definition:Algebra page. Is it appropriate to replace this with Definition:Boolean Algebra in your opinion, or to remove it from that particular list in which it appears? --prime mover (talk) 08:23, 2 May 2014 (UTC)
 * ... or indeed replace with Category:Boolean Algebras? --prime mover (talk) 08:27, 2 May 2014 (UTC)


 * I think it'd be best to remove it. A link to Definition:Boolean Algebra could be added to the "Algebra (Abstract Algebra)" subpage. &mdash; Lord_Farin (talk) 21:11, 2 May 2014 (UTC)

Big refactoring job on Warner thread
I see the good work you're doing on the refactoring the Naturally Ordered Semigroup stuff I did way back when (some of the earliest stuff I posted up). It's going to be a while before I get to reviewing the citation flow (and I don't really want to make a start until I'm fairly sure you're finished) so request the pages flagged up for deletion be retained till after that's been done.

I want to get as much of this tedious Euclid topped off before I go any further with anything else, so bear with me for the moment. In the meantime, good work! --prime mover (talk) 22:38, 19 January 2015 (UTC)


 * Thanks. It's satisfactory to put everything I have prepared into place, and it's going much smoother than I anticipated. I'll give you a note when I think I'm finished. I'll write up new proofs in the process so as to connect with the other axiomatisations, but that shouldn't hurt Warner too much. Don't expect things to be perfect the first time around, but I should be able to put up a correct architecture that we can build upon. &mdash; Lord_Farin (talk) 22:44, 19 January 2015 (UTC)

Templates
I would rather that you hadn't deleted all those templates. I know they were sitting around not doing much, but I had plans for some of them -- particularly "Authorship" and the various "Syllogism" templates. Not sure where I was going with BookRef but I know it started as a good idea. Could we have these back, or do you have good reasons for keeping them deleted? --prime mover (talk) 21:13, 1 March 2015 (UTC)


 * You can have them back, but since some of them had been sitting idle for more than a year, I figured any plan for using them would amount to starting from scratch anyway, so a round of cleaning wouldn't be bad. But sure, restore what you'd like. Perhaps a good idea, though, to keep this kind of early-stage idea in your sandbox &mdash; makes it that much clearer that it's something you plan working on some day, or at least the call to drop it is all yours. &mdash; Lord_Farin (talk) 21:57, 1 March 2015 (UTC)


 * Okay good call, I'll get on with doing that. Be aware though, a year is a short time in ProofWikiLand ... --prime mover (talk) 22:15, 1 March 2015 (UTC)

Lots of source reviews
Yes, as you see I am splitting down composite pages into their simple component parts -- which leaves a considerable amount of redirecting the source flow.

If you find you no longer have the patience for this minute level of detail, then as far as I'm concerned it's no problem to leave the source flow merely landing on the parent page (particularly in the case of De Morgan).

Have fun. --prime mover (talk) 23:10, 24 March 2015 (UTC)


 * I've taken out most, but the last few require me to dig up five sources. This is beyond my patience now. I will get to it eventually. &mdash; Lord_Farin (talk) 18:30, 25 March 2015 (UTC)


 * All is done. &mdash; Lord_Farin (talk) 22:40, 26 March 2015 (UTC)


 * Good job. I am myself working methodically through Warner. I should reach the Natural Numbers in a week or so -- if I don't get sidetracked by something that needs fixing or that got missed and needs elaboration. --prime mover (talk) 22:56, 26 March 2015 (UTC)