Where 1 represents Monday, 2 Tuesday, 3 Wednesday, … :

**Math Studying **

- Category Theory as a foundation for mathematics
- Elementary Number Theory
- Geometry and Transformation Groups
- Logic
- Abstract Algebra
- Category Theory and Computing
- Analysis

** Programming**

1,2 ,3. Game Project

4,5. Logic, Mathematical visualization

6,7. Coq proof assistant** **

**Writing/Extra Reading
**

1,2. Exposition

3,5. Analogy Theory – Mine or Nonstandard Analysis

4,7. Metamath

6. Education or Nonstandard Analysis

Advertisements

DAVID(06:26:30) :wat is metamath