3 lives in this collection worked in philosophy of mathematics, from 428 BC to today. Each has a full course on their life and the mathematics and physics they made.
Often together with: foundations of mathematics. All fields
Athenian philosopher who founded the Academy, the centre of Greek mathematics in the fourth century BC, and whose Timaeus built a cosmos from ratios and the five regular solids.
philosophy, philosophy of mathematics, cosmology
Founder of modern topology through the fixed point theorem and invariance of dimension, and creator of intuitionistic mathematics.
topology, intuitionism, foundations of mathematics
Logician who proved the completeness of first-order logic, the incompleteness of arithmetic, and the consistency of the axiom of choice and the continuum hypothesis.
mathematical logic, set theory, foundations of mathematics