Description Platonism versus nominalism, the relation between logic and mathematics, implications of Godel's and Church's theorems, formalism and intuitionism. Prerequisites PHL103H5 and PHL245H5 and (0.5 credit in PHL or CSC or MAT) Exclusions PHL344H5 and PHL354H1 Recommended Preparation PHL255H5 Distribution Requirement Humanities Total Instructional Hours 36L Mode of Delivery In Class Program Area Philosophy
