User:Lord Farin

Just a mathematics graduate with a broad interest, trying to make mathematics more accessible.

• Ever wondered how all those nice diagrams made it to your book? Check out the xymatrix package documentation.
• $\mathsf{Pr} \infty \mathsf{fWiki}$ comprises 24,672 proofs among 60,474 total pages, created by 403,532 edits in total.

Map of LF-Realm

My personal templates, sandboxes and the like:

User:Lord_Farin/Sandbox is my sandbox, which is used to test functionality, and prepare/attempt pages and structures. May have subpages attached.

User:Lord_Farin/SandboxTemplate is my sandbox template, in which I experiment with templates.

User:Lord Farin/Proof Structures is the place for proof templates I (and hopefully more people) tend to use.

User:Lord Farin/Tableau Proof Rules is where I keep templates for all allowed inferences in tableau proofs. This may appear as a bona fide page in the future.

User:Lord_Farin/Archive is a mixture between a graveyard and a safe haven for stuff which has nowhere else to go.

User:Lord_Farin/Backup documents old versions of pages I rebuilt from scratch.

User:Lord_Farin/Long-Term Projects is the place for things that are on even longer tracks than those in above Category; these are often meta-structural.

User:Lord_Farin/Books lists the books I have started to cover on PW.

Landmarks

I am particularly fond of the following contributions (all of which hence are my own work; i.e., I didn't copy the proof from some source):

Postponed

I promised (to myself or others) to get back at these points but the moment I do is so far in the future I would forget if they weren't here:

Too lazy / Loose ends

These results are mostly trivial and I can't be bothered putting them up right now; please, feel free.

Natural Numbers

1. Revisit:
2. Equivalence of definitions of Natural Number Addition
1. Definition for 1-based: Definition:Addition on 1-Based Natural Numbers
3. Equivalence of definitions of ordering on $\N$

Follow-up projects

1. Everything in Category:Natural Numbers needs a thorough review and possibly rewriting according to the new paradigm.
1. Clear up Category:Natural Numbers/1-Based to a new, better category