Lectures on the Philosophy of Mathematics

by Joel David Hamkins

I shall mention “elementary” mathematics, by which I mean simply a mathematical theory capable of formalizing finite combinatorial reasoning, such as arithmetic or the operation of Turing machines.