|146||Philosophy of Mathematics||Mancosu||TuTh 9:30-11||200 Wheeler|
This is an introduction to the classics of philosophy of mathematics with emphasis on the debates on the foundations of mathematics. Topics to be covered: infinitist theorems in seventeenth century mathematics; the foundations of the Leibnizian differential calculus and Berkeley’s ‘Analyst’; Kant on pure intuition in arithmetic and geometry; the arithmetization of analysis (Bolzano, Dedekind); Frege’s logicism; the emergence of Cantorian set theory; Zermelo’s axiomatization of set theory; Hilbert’s program; Russell’s logicism; Brouwer’s intuitionism; Gödel’s incompleteness theorems.
Prerequisites: Phil 12A or equivalent.
Previously taught: FL03.