Philosophy 327 - Advanced Logic

Fall
2019
01
4.00
Samuel Mitchell
MW 01:30PM-02:45PM
Mount Holyoke College
108504
Clapp Laboratory 402
smitchel@mtholyoke.edu
This course uses the predicate calculus to present a careful development of formal elementary number theory, and elementary recursion theory, culminating in a proof of Gödel's incompleteness results. It includes some discussion of the philosophical significance of these results for the foundations of mathematics.
Prereq: PHIL-225.
Permission is required for interchange registration during the add/drop period only.