PHL346H1: Philosophy of Mathematics

Hours: 
36L

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

Prerequisite: 

PHL245H1/​MAT157Y1 and a full course in PHL/CSC/MAT

Distribution Requirements: 
Humanities
Breadth Requirements: 
Thought, Belief and Behaviour (2)