# Philosophy 146

## Spring 2013

Number | Title | Instructor | Days/time | Room |
---|---|---|---|---|

146 | Philosophy of Mathematics | Mancosu | MWF 11-12 | 110 Wheeler |

The course 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) and another course in philosophy