Welcome to Pieces of Mathematics!

Exploring mathematics through deep, independent study and rigorous formalization.

About This Site

Welcome to Pieces of Mathematics, my personal study journal dedicated to independent exploration, research, and inquiry in mathematics.

About Me

I am Francesco Macrì, a lifelong learner with an academic background outside of mathematics, yet driven by a profound passion for the discipline. My interests span computer science, philosophy, and social sciences. These diverse passions enrich my perspective and fuel my curiosity.

My Learning Journey

My mathematical development is largely self-directed, grounded in extensive study of foundational texts and contemporary research. This approach allows me to learn at my own pace, reflect deeply, and develop a rigorous understanding. To enhance rigor, I employ the Lean theorem prover for formal verification of proofs. All formal work is accessible via my GitHub repository: Lean Pieces of Mathematics.

Contact

I’d love to hear from fellow learners, mathematicians, or anyone curious—feel free to drop me a line at piecesofmathematics [at] gmail [dot] com.