Welcome to Pieces of Mathematics!

This site offers presentations of key mathematical concepts, often enriched with historical context. It features several type of texts:

• Concepts: Key ideas explained in manageable segments with historical notes.
• Definitions: Precise definitions broken down for easy understanding.
• Axioms: Fundamental axioms and properties explored across mathematical fields.
• Dialogues: Dialogues between two characters representing intuition and rigor, providing diverse perspectives on math topics.

Formal verification in Lean

Formal proofs accompany many texts, written in Lean, the interactive theorem prover and programming language. These code snippets provide rigorous verification of the concepts discussed, bridging intuitive understanding with formal mathematical reasoning. Within the site I include links to the relevant .lean-file on my GitHub repository called Lean Pieces of Mathematics where the Lean code can be explored in detail.

Contact

I’m Francesco Macrì, a self-learner and math enthusiast sharing my studies through this site.

For suggestions or feedback, feel free to drop me a line at piecesofmathematics [at] gmail [dot] com.