Theme 01
Axioms as beginnings
How a mathematical world is opened by what it chooses to assume.
Essay placeholderNotes · Questions · Philosophy
Mathematical Thinking
A place for questions that do not end when a proof is complete: what axioms permit, what formalization clarifies, what intuition contributes, and what mathematical truth might mean.
Themes
An evolving index
Theme 02
Formalization and its limits
What precision gives us, what it leaves outside, and how language shapes reasoning.
Essay placeholderTheme 03
Proof and intuition
Whether understanding is identical to verification, and why some arguments feel explanatory.
Note placeholderTheme 04
What kind of truth?
Questions in the philosophy of mathematics, held open for future writing.
Reading path placeholderStructure
Built to grow one note at a time
Each future title can open as its own reading page, with citations, margin notes, diagrams, and related books.
Return to overview
Related writing
Axioms
A separate essay series follows the history and philosophy of mathematical foundations, beginning with infinity.
Read the series ↗