Pieces of Mathematics offers presentations of key mathematical concepts, often enriched with historical context. The blog features several series:

  • 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 proofs accompany many posts, written in $\text{L}\exists \forall \text{N}$, 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 blog posts 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.

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

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