User talk:Lord Farin

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.

Well-Ordering Minimal Elements are Unique
Good call. I looked myself, but couldn't find it. Good call. --prime mover 00:23, 11 October 2011 (CDT)

Euler-Binet
Superb job on Euler-Binet Formula (that induction step eluded me for years - I'm a mediocre mathematician). I have a minor worry concerning the Binet Form which I originally got wrong $\Delta = \sqrt{m^2 + 1}$ but I'm now looking at MathWorld and it has $\Delta = \sqrt{m^2 + 4}$. What's your source for $\Delta = \sqrt{4 m^2 + 1}$? --prime mover 12:03, 14 October 2011 (CDT)
 * I will conform to MathWorld. I just attempted to think of a formula that appeared plausible, and came up with this; probably one of my bad habits. Glad the issue is resolved anyway. --Lord Farin 12:09, 14 October 2011 (CDT)

Foldable editor
Hey, that rocks. --prime mover 14:18, 19 October 2011 (CDT)

Extension
If you're interested, maybe we could turn the foldable template into a extension, so we could have something like: some lemma

If it works out well maybe even extend it to a general proofs. This should allow for a more customized environment. Let me know if your're interested / think it's a good idea. --Joe (talk) 06:37, 21 October 2011 (CDT)