# Philosophy 146

## Fall 2019

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

146 | Philosophy of Mathematics | Mancosu | MWF 11-12 | Dwinelle 88 |

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.