Topics in Philosophy of Mathematics

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
1 of 1
Overall Rating N/A
Easiness N/A/ 5
Clarity N/A/ 5
Workload N/A/ 5
Helpfulness N/A/ 5
1 of 1

Adblock Detected

Bruinwalk is an entirely Daily Bruin-run service brought to you for free. We hate annoying ads just as much as you do, but they help keep our lights on. We promise to keep our ads as relevant for you as possible, so please consider disabling your ad-blocking software while using this site.

Thank you for supporting us!