User:Lord Farin/Long-Term Projects
From ProofWiki
This page contains a list of things I have encountered and take considerable time.
- Processing of Conway's 'A Course in Functional Analysis'.
- Progress kept at User:Lord_Farin/Long-Term Projects/Conway Course
- Processing of Schilling's 'Measures, Integrals and Martingales'
- Progress at User:Lord_Farin/Long-Term Projects/Schilling
- Develop the rigid foundations for Category:Complex Analysis.
- Properly use the about template on every page linked to a disambiguation/combined (definition) page.
- Establish connections between the results on matrices and those on operators on Hilbert/Banach space (the former are the finite-dimensional versions of the latter).
- Introduce and properly use 'Example' namespace.
- Develop the rigid foundations of logic and axiomatic set theory further (zeroth, first order logic).
- Creating a MediaWiki extension tailored to ProofWiki
- Progress kept at User:Lord_Farin/Long-Term Projects/Extension
- Establish the relations between all the kinds of set systems, similar to Sequence of Implications of Separation Axioms.
- Various sources suggest that there is a viable approach possible granting Hilbert spaces over the quaternions. Vector spaces over the quaternions could constitute the first proper example of a vsp. over a division ring that is truly not commutative on PW.
- Employ category theory to help cutting down tedious forests of similar theorems.
Be invited if you know how/want to tackle something mentioned here.
You can help ProofWiki by adding this information.
To discuss it in more detail, feel free to use the talk page.
If you are able to do this, then when you have done so you can remove this instance of {{Expand}} from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page (see the proofread template for usage).
