User talk:Jshflynn

Welcome
Welcome to ProofWiki! Since you're new, you may want to check out the general help page. It's the best first stop to see how things are done (next to reading proofs, of course!). Please feel free to contribute to whichever area of mathematics interests you, either by adding new proofs, or fixing up existing ones. If you have any questions please feel free to contact one of the administrators, or post your question on the questions page.

Here are some useful pages to help get you started:
 * Community Portal - To see what needs to be done, and keep up to date with the community.
 * Recent Changes - To keep up with what's new, and what's being added.
 * Check out our house style if you are keen on contributing.
 * Main Page talk - This is where most of the main discussions regarding the direction of the site take place. If you have any ideas, please share them!

Cheers!


 * --Your friendly ProofWiki WelcomeBot 10:10, 2 May 2012 (EDT)

Title style
Note the house style when it comes to titles: important words are capitalised. What will happen is that someone will go through and change the titles of some of your recent pages as appropriate. Getting a good title for a page is an art so you may find the pages you've written may get namechanged.

Please keep up the good work - you are filling gaps we did not know we had. --prime mover 23:57, 19 July 2012 (UTC)

Thanks prime.mover. It is indeed difficult especially for something as unnameable as a B-Algebra identity. The true credit goes to others though. Someday I hope to publish my own paper so that I can see my own ideas on relation theory on this wiki. For now though I will continue research as too often I have found that any original idea of mine has been analysed to death in an obscure research paper. --Jshflynn 00:23, 20 July 2012 (UTC)

Editing section-wise
Although convenient, the section-wise editing feature destroys the carefully set up large whitespace separating sections. This then requires a subsequent edit to recover the desired amount of white. It is therefore generally preferable (except on talk/user pages, where house style is not enforced) to edit the page as a whole using the link at the top. --Lord_Farin 21:48, 21 July 2012 (UTC)

I see. Will do so for my next edit. --Jshflynn 21:53, 21 July 2012 (UTC)

Nudge
To avoid reinventing the wheel, consider Category:Definitions/Formal Systems. --Lord_Farin 23:48, 9 August 2012 (UTC)

That's alright. If I make something worthwhile then I will. --Jshflynn 23:49, 9 August 2012 (UTC)

Motivation?
"I honestly wish I had never discovered mathematics."

I'm glad I did, because I'm even more incompetent at everything else. --prime mover 06:40, 10 August 2012 (UTC)

Rework?
Not meaning to pour cold wet water-based liquid on your flames, but a lot of the stuff you're adding to your "Definitions" section has already been documented in the Category:Definitions/Formal Systems category (admittedly not that well structured at the moment). I'm not sure whether you're trying deliberately to reinvent this area of mathematics from a different viewpoint (full respect due) or whether you're not familiar with this area yet. Just sayin' ... --prime mover 11:53, 10 August 2012 (UTC)


 * Sorry - I see L_F has already been here. No worries. --prime mover 11:54, 10 August 2012 (UTC)


 * I am reading a book on Formal languages and computation at the moment. It says that a lot of concepts are clear/obvious. I also noticed you, L_F and a few others seem to process your books by putting them on a completely rigorous basis on this site. As you are so successful at doing so and I am so unsuccessful at finishing books I decided to adopt the same approach.


 * The definitions on the section of this site clashed with a lot of the things I was reading (most likely because the field in question isn't that standardised). So, I decided to create my own user-based section in order to not mess up the work someone else did. Right now, it's really just the theory of finite sequences. But in due time it might look better. --Jshflynn 12:24, 10 August 2012 (UTC)


 * It is often the case that different books do things in different ways, partirulcarly in evolving fields like mathematical logic and formal systems. What the approach is that we want on this site is to gather the various different approaches into one by using the "also known as" and "also defined as" technique: the first if the same concept is called by something different, and the second if either (a) the same name is used for two different things, and (b) (more tricky to do rigorously) if it's the same concept but defined with a subtle difference in the conditions (something in topology comes to mind where certain objects are defined on "open sets" by one source and "not necessarily open sets" in another).


 * The problem of course lies in the fact that proofs based on the definition in format A may well not work using the definition in the format B. Then we get angry emails from people who assume (without checking) that the proof assumes format B. The only way round this is to ensure rigorous proofwriting so that when an ambiguous property of an object is used, it is stated as well as being linked to. --prime mover 07:38, 16 August 2012 (UTC)


 * Oh yes, and it's also got to be pointed out that some books are not very good (in terms of rigor), if they are designed as a basic introduction for popular consumption. IMO this over-simplification approach might not be appropriate for ProofWiki. But as the book you are quoting from hasn't been specified, it is not possible to say whether this applies in this particular circumstance. --prime mover 07:42, 16 August 2012 (UTC)

Broken link
The link you put on the community portal does not work. --Lord_Farin 06:33, 16 August 2012 (UTC)


 * Fixed it, moved it into the appropriate place. --prime mover 07:38, 16 August 2012 (UTC)