
The Language of Mathematics


Metamathematics


Zeno's Paradoxes and Infinity


Binary


Aristotle on Infinity, and
Galileo on Infinity


Finite Games, and
Functions


Induction and Finite Games
and Geometry


Bayes's Law and
Constructivism


Defining Numbers,
Decidable sets and
Nice sets


Ordinal Numbers,
Proof by Contradiction and
Commensurability


Ordinal Arithmetic and
Infinite Nice Sets?


Ordinal Multiplication,
The Hydra,
Set Theory and
Undecidable Sets
