Hours 36L Previous Course Number PHL346H1 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 Exclusion PHL346H1, PHL346H5, PHL344H5, PHL354H5 Breadth Requirements Thought, Belief and Behaviour (2)
