Description: Lecture, four hours. Requisites: courses 31, 132, and preferably one additional logic course. Introduction to philosophy of mathematics. Survey of philosophy of mathematics from Kant to Hilbert. Study of content and development of three main schools of logicism, formalism, and intuitionism in their historical context. Study of original texts of philosophy such as Kant, Frege, and Russell, and how their philosophy interacted with contemporary developments in mathematics and logic. May be repeated for credit with consent of instructor. May be concurrently scheduled with course C223. P/NP or letter grading.

Units: 4.0