Hello, this is Yongxi (Aaron) Lin. I am a second-year PhD student in mathematics at Carnegie Mellon University. My main interests are harmonic analysis, PDEs, and the formalization of mathematics in Lean 4, and I am a reviewer for mathlib. I share my experiences of learning math here.
I firmly believe Federico Ardila's basic axioms:
- Axiom 1. Mathematical potential is distributed equally among different groups, irrespective of geographic, demographic, and economic boundaries.
- Axiom 2. Everyone can have joyful, meaningful, and empowering mathematical experiences.
- Axiom 3. Mathematics is a powerful, malleable tool that can be shaped and used differently by various communities to serve their needs.
- Axiom 4. Every student deserves to be treated with dignity and respect.