# Series

A series is a sequence of multiple posts on the same topic. Most of my posts are unrelated to each other (although math is a common theme), but I’ve written a few series of posts that cover a single topic, or related topics, in more depth. Here they are:

### Favorites

A list of my personal favorites.

- The Distribution Monad
- Noisy Elo
- Understanding eigenvectors with Fibonacci
- Fractional Derivatives
- Will the cosmic microwave background ever disappear?

### Godel

A series explaining Godel’s First Incompleteness Theorem (how to understand what it’s saying, not how to prove it).

- G0. Understanding Godel's First Incompleteness Theorem - A Roadmap
- G1. What is a formal system?
- G2. Meaning in a formal system
- G3. Why do we care about formal systems?
- G4. Propositional Logic
- G5. Soundness, Consistency, and Completeness
- G6. Inconsistent systems can prove anything
- G7. Can insufficiently strong formal systems be both consistent and complete?
- G8. Relations (in Logic, not in Love)
- G9. First vs. Second Order Logic
- G10. Expressibility and Capturability
- G11. Primitive Recursive Functions
- G12. Understanding Godel's First Incompleteness Theorem - A Summary
- G13. Godel's Proof (sketch)

### Eigenvectors

A few posts that (try to) demonstrate the utility, power, and beauty of eigenvectors.

### Stats

A series to build a strong foundation for understanding some very basic statistical methods and tests (e.g. linear regression, t-test, etc.).

### IRAs

A series thinking through how much IRAs save and whether a Roth or Traditional IRA is best.