Platonism versus nominalism, the relation between logic and mathematics, implications of Gödel's theorem, formalism and intuitionism.
Platonism versus nominalism, the relation between logic and mathematics, implications of Gödel's theorem, formalism and intuitionism.