U s e r : L o r d F a r i n F r o m P r o o f W i k i
J u m p t o n a v i g a t i o n J u m p t o s e a r c h
3 Map of LF-Realm
4 Landmarks
5 Postponed
6 Too lazy / Loose ends
About me
Just a mathematics graduate with a broad interest, trying to make mathematics more accessible.
For you, reader
Ever wondered how all those nice diagrams made it to your book? Check out the xymatrix
$\mathsf{Pr} \infty \mathsf{fWiki}$ comprises 40,671 proofs among 108,894 total pages, created by 727,011 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.
Logic/Propositional Tableaus
Natural Numbers
Revisit:
Natural Numbers are Comparable
Natural Number Ordering is Transitive
Natural Number Addition is Closed
Properties of Natural Numbers
Natural Numbers as Cardinals
Product of Finite Sets is Finite/Proof 2
Proper Subset of Finite Ordinal is Equivalent to Smaller Ordinal
Equivalence of definitions of Natural Number Addition
Definition for 1-based: Definition:Addition on 1-Based Natural Numbers
Equivalence of definitions of ordering on $\N$
Follow-up projects
Everything in Category:Natural Numbers needs a thorough review and possibly rewriting according to the new paradigm.
Clear up Category:Natural Numbers/1-Based to a new, better category
Relation Theory
Category Theory
N a v i g a t i o n m e n u ● L o g i n ● R e q u e s t a c c o u n t ● U s e r p a g e ● D i s c u s s i o n
● R e a d ● V i e w s o u r c e ● V i e w h i s t o r y
S e a r c h
● M a i n P a g e ● C o m m u n i t y d i s c u s s i o n ● C o m m u n i t y p o r t a l ● R e c e n t c h a n g e s ● R a n d o m p r o o f ● H e l p ● F A Q ● $ \ m a t h s f { P r } \ i n f t y \ m a t h s f { f W i k i } $ $ \ L a T e X $ c o m m a n d s ● P r o o f I n d e x ● D e f i n i t i o n I n d e x ● S y m b o l I n d e x ● A x i o m I n d e x ● M a t h e m a t i c i a n s ● B o o k s ● S a n d b o x ● A l l C a t e g o r i e s ● G l o s s a r y ● J o k e s ● P r o o f r e a d A r t i c l e s ● W a n t e d P r o o f s ● M o r e W a n t e d P r o o f s ● H e l p N e e d e d ● R e s e a r c h R e q u i r e d ● S t u b A r t i c l e s ● T i d y A r t i c l e s ● I m p r o v e m e n t s I n v i t e d ● R e f a c t o r i n g ● M i s s i n g L i n k s ● M a i n t e n a n c e ● W h a t l i n k s h e r e ● R e l a t e d c h a n g e s ● U s e r c o n t r i b u t i o n s ● L o g s ● V i e w u s e r g r o u p s ● S p e c i a l p a g e s ● P r i n t a b l e v e r s i o n ● P e r m a n e n t l i n k ● P a g e i n f o r m a t i o n ● T h i s p a g e w a s l a s t m o d i f i e d o n 1 7 J u n e 2 0 2 2 , a t 0 9 : 0 1 a n d i s 0 b y t e s ● C o n t e n t i s a v a i l a b l e u n d e r C r e a t i v e C o m m o n s A t t r i b u t i o n - S h a r e A l i k e L i c e n s e u n l e s s o t h e r w i s e n o t e d . ● P r i v a c y p o l i c y ● A b o u t P r o o f W i k i ● D i s c l a i m e r s
