Description: Lecture, four hours. Requisites: courses 31, 132, and preferably one additional logic course. Study of selected topics in philosophy of mathematics. May include logicism of Frege and Russell, arithmetic reduced to logic; ramified type theory and impredicative definition (Russell, Poincaré, early Weyl); intuitionism of Brouwer, Heyting, and later Weyl; proof theory of Hilbert. May be repeated for credit with consent of instructor. P/NP or letter grading.

Units: 4.0